RSA (mã hóa)

Trong mật mã học, RSA là một thuật toán mật mã hóa khóa công khai. Đây là thuật toán đầu tiên phù hợp với việc tạo ra chữ ký điện tử đồng thời với việc mã hóa. Nó đánh dấu một sự tiến bộ vượt bậc của lĩnh vực mật mã học trong việc sử dụng khóa công cộng. RSA đang được sử dụng phổ biến trong thương mại điện tử và được cho là đảm bảo an toàn với điều kiện độ dài khóa đủ lớn.

Lịch sử

Thuật toán được Ron Rivest, Adi ShamirLen Adleman mô tả lần đầu tiên vào năm 1977 tại Học viện Công nghệ Massachusetts (MIT). Tên của thuật toán lấy từ 3 chữ cái đầu của tên 3 tác giả.

Trước đó, vào năm 1973, Clifford Cocks, một nhà toán học người Anh làm việc tại GCHQ, đã mô tả một thuật toán tương tự. Với khả năng tính toán tại thời điểm đó thì thuật toán này không khả thi và chưa bao giờ được thực nghiệm. Tuy nhiên, phát minh này chỉ được công bố vào năm 1997 vì được xếp vào loại tuyệt mật.

Thuật toán RSA được MIT đăng ký bằng sáng chế tại Hoa Kỳ vào năm 1983 (Số đăng ký 4.405.829). Bằng sáng chế này hết hạn vào ngày 21 tháng 9 năm 2000. Tuy nhiên, do thuật toán đã được công bố trước khi có đăng ký bảo hộ nên sự bảo hộ hầu như không có giá trị bên ngoài Hoa Kỳ. Ngoài ra, nếu như công trình của Clifford Cocks đã được công bố trước đó thì bằng sáng chế RSA đã không thể được đăng ký.

Hoạt động

Mô tả sơ lược

Thuật toán RSA có hai khóa: khóa công khai (hay khóa công cộng) và khóa bí mật (hay khóa cá nhân). Mỗi khóa là những số cố định sử dụng trong quá trình mã hóa và giải mã. Khóa công khai được công bố rộng rãi cho mọi người và được dùng để mã hóa. Những thông tin được mã hóa bằng khóa công khai chỉ có thể được giải mã bằng khóa bí mật tương ứng. Nói cách khác, mọi người đều có thể mã hóa nhưng chỉ có người biết khóa cá nhân (bí mật) mới có thể giải mã được.

Ta có thể mô phỏng trực quan một hệ mật mã khoá công khai như sau: Bình muốn gửi cho An một thông tin mật mà Bình muốn duy nhất An có thể đọc được. Để làm được điều này, An gửi cho Bình một chiếc hộp có khóa đã mở sẵn và giữ lại chìa khóa. Bình nhận chiếc hộp, cho vào đó một tờ giấy viết thư bình thường và khóa lại (như loại khoá thông thường chỉ cần sập chốt lại, sau khi sập chốt khóa ngay cả Bình cũng không thể mở lại được-không đọc lại hay sửa thông tin trong thư được nữa). Sau đó Bình gửi chiếc hộp lại cho An. An mở hộp với chìa khóa của mình và đọc thông tin trong thư. Trong ví dụ này, chiếc hộp với khóa mở đóng vai trò khóa công khai, chiếc chìa khóa chính là khóa bí mật.

Tạo khóa

Giả sử An và Bình cần trao đổi thông tin bí mật thông qua một kênh không an toàn (ví dụ như Internet). Với thuật toán RSA, An đầu tiên cần tạo ra cho mình cặp khóa gồm khóa công khai và khóa bí mật theo các bước sau:

  1. Chọn 2 số nguyên tố lớn với , lựa chọn ngẫu nhiên và độc lập.
  2. Tính: .
  3. Tính: giá trị hàm số Euler .
  4. Chọn một số tự nhiên sao cho và là số nguyên tố cùng nhau với .
  5. Tính: sao cho . (xem Đồng dư để hiểu rõ hơn)

Một số lưu ý:

  • Các số nguyên tố thường được chọn bằng phương pháp thử xác suất.
  • Các bước 4 và 5 có thể được thực hiện bằng giải thuật Euclid mở rộng (xem thêm: số học môđun).
  • Bước 5 có thể viết cách khác: Tìm số tự nhiên sao cho cũng là số tự nhiên. Khi đó sử dụng giá trị .
  • Từ bước 3, PKCS#1 v2.1 sử dụng thay cho ).

Khóa công khai bao gồm:

  • n, môđun, và
  • e, số mũ công khai (cũng gọi là số mũ mã hóa).

Khóa bí mật bao gồm:

  • n, môđun, xuất hiện cả trong khóa công khai và khóa bí mật, và
  • d, số mũ bí mật (cũng gọi là số mũ giải mã).

Một dạng khác của khóa bí mật bao gồm:

  • pq, hai số nguyên tố chọn ban đầu,
  • d mod (p-1)d mod (q-1) (thường được gọi là dmp1dmq1),
  • (1/q) mod p (thường được gọi là iqmp)

Dạng này cho phép thực hiện giải mã và ký nhanh hơn với việc sử dụng định lý số dư Trung Quốc (tiếng Anh: Chinese Remainder Theorem - CRT). Ở dạng này, tất cả thành phần của khóa bí mật phải được giữ bí mật.

An gửi khóa công khai cho Bình, và giữ bí mật khóa cá nhân của mình. Ở đây, pq giữ vai trò rất quan trọng. Chúng là các phân tố của n và cho phép tính d khi biết e. Nếu không sử dụng dạng sau của khóa bí mật (dạng CRT) thì pq sẽ được xóa ngay sau khi thực hiện xong quá trình tạo khóa.

Mã hóa

Giả sử Bình muốn gửi đoạn thông tin M cho An. Đầu tiên Bình chuyển M thành một số m < n theo một hàm có thể đảo ngược (từ m có thể xác định lại M) được thỏa thuận trước. Quá trình này được mô tả ở phần #Chuyển đổi văn bản rõ.

Lúc này Bình có m và biết n cũng như e do An gửi. Bình sẽ tính c là bản mã hóa của m theo công thức:

Hàm trên có thể tính dễ dàng sử dụng phương pháp tính hàm mũ (theo môđun) bằng (thuật toán bình phương và nhân) Cuối cùng Bình gửi c cho An.

Giải mã

An nhận c từ Bình và biết khóa bí mật d. An có thể tìm được m từ c theo công thức sau:

Biết m, An tìm lại M theo phương pháp đã thỏa thuận trước. Quá trình giải mã hoạt động vì ta có

.

Do ed ≡ 1 (mod p-1) và ed ≡ 1 (mod q-1), (theo Định lý Fermat nhỏ) nên:

Do pq là hai số nguyên tố cùng nhau, áp dụng định lý số dư Trung Quốc, ta có:

.

hay:

.

Ví dụ

Sau đây là một ví dụ với những số cụ thể. Ở đây chúng ta sử dụng những số nhỏ để tiện tính toán còn trong thực tế phải dùng các số có giá trị đủ lớn.

Lấy:

p = 61 — số nguyên tố thứ nhất (giữ bí mật hoặc hủy sau khi tạo khóa)
q = 53 — số nguyên tố thứ hai (giữ bí mật hoặc hủy sau khi tạo khóa)
n = pq = 3233 — môđun (công bố công khai)
e = 17 — số mũ công khai
d = 2753 — số mũ bí mật

Khóa công khai là cặp (e, n). Khóa bí mật là d. Hàm mã hóa là:

encrypt(m) = me mod n = m17 mod 3233

với mvăn bản rõ. Hàm giải mã là:

decrypt(c) = cd mod n = c2753 mod 3233

với cvăn bản mã.

Để mã hóa văn bản có giá trị 123, ta thực hiện phép tính:

encrypt(123) = 12317 mod 3233 = 855

Để giải mã văn bản có giá trị 992, ta thực hiện phép tính:

decrypt(992) = 8552753 mod 3233 = 123

Cả hai phép tính trên đều có thể được thực hiện hiệu quả nhờ thuật toán bình phương và nhân.

Chuyển đổi văn bản rõ

Trước khi thực hiện mã hóa, ta phải thực hiện việc chuyển đổi văn bản rõ (chuyển đổi từ M sang m) sao cho không có giá trị nào của M tạo ra văn bản mã không an toàn. Nếu không có quá trình này, RSA sẽ gặp phải một số vấn đề sau:

  • Nếu m = 0 hoặc m = 1 sẽ tạo ra các bản mã có giá trị là 0 và 1 tương ứng
  • Khi mã hóa với số mũ nhỏ (chẳng hạn e = 3) và m cũng có giá trị nhỏ, giá trị cũng nhận giá trị nhỏ (so với n). Như vậy phép môđun không có tác dụng và có thể dễ dàng tìm được m bằng cách khai căn bậc e của c (bỏ qua môđun).
  • RSA là phương pháp mã hóa xác định (không có thành phần ngẫu nhiên) nên kẻ tấn công có thể thực hiện tấn công lựa chọn bản rõ bằng cách tạo ra một bảng tra giữa bản rõ và bản mã. Khi gặp một bản mã, kẻ tấn công sử dụng bảng tra để tìm ra bản rõ tương ứng.

Trên thực tế, ta thường gặp 2 vấn đề đầu khi gửi các bản tin ASCII ngắn với m là nhóm vài ký tự ASCII. Một đoạn tin chỉ có 1 ký tự NUL sẽ được gán giá trị m = 0 và cho ra bản mã là 0 bất kể giá trị của eN. Tương tự, một ký tự ASCII khác, SOH, có giá trị 1 sẽ luôn cho ra bản mã là 1. Với các hệ thống dùng giá trị e nhỏ thì tất cả ký tự ASCII đều cho kết quả mã hóa không an toàn vì giá trị lớn nhất của m chỉ là 255 và 2553 nhỏ hơn giá trị n chấp nhận được. Những bản mã này sẽ dễ dàng bị phá mã.

Để tránh gặp phải những vấn đề trên, RSA trên thực tế thường bao gồm một hình thức chuyển đổi ngẫu nhiên hóa m trước khi mã hóa. Quá trình chuyển đổi này phải đảm bảo rằng m không rơi vào các giá trị không an toàn. Sau khi chuyển đổi, mỗi bản rõ khi mã hóa sẽ cho ra một trong số khả năng trong tập hợp bản mã. Điều này làm giảm tính khả thi của phương pháp tấn công lựa chọn bản rõ (một bản rõ sẽ có thể tương ứng với nhiều bản mã tuỳ thuộc vào cách chuyển đổi).

Một số tiêu chuẩn, chẳng hạn như PKCS, đã được thiết kế để chuyển đổi bản rõ trước khi mã hóa bằng RSA. Các phương pháp chuyển đổi này bổ sung thêm bít vào M. Các phương pháp chuyển đổi cần được thiết kế cẩn thận để tránh những dạng tấn công phức tạp tận dụng khả năng biết trước được cấu trúc của bản rõ. Phiên bản ban đầu của PKCS dùng một phương pháp đặc ứng (ad-hoc) mà về sau được biết là không an toàn trước tấn công lựa chọn bản rõ thích ứng (adaptive chosen ciphertext attack). Các phương pháp chuyển đổi hiện đại sử dụng các kỹ thuật như chuyển đổi mã hóa bất đối xứng tối ưu (Optimal Asymmetric Encryption Padding - OAEP) để chống lại tấn công dạng này. Tiêu chuẩn PKCS còn được bổ sung các tính năng khác để đảm bảo an toàn cho chữ ký RSA (Probabilistic Signature Scheme for RSA - RSA-PSS).

Tạo chữ ký số cho văn bản

Thuật toán RSA còn được dùng để tạo chữ ký số cho văn bản. Giả sử An muốn gửi cho Bình một văn bản có chữ ký của mình. Để làm việc này, An tạo ra một giá trị băm (hash value) của văn bản cần ký và tính giá trị mũ d mod n của nó (giống như khi An thực hiện giải mã). Giá trị cuối cùng chính là chữ ký điện tử của văn bản đang xét. Khi Bình nhận được văn bản cùng với chữ ký điện tử, anh ta tính giá trị mũ e mod n của chữ ký đồng thời với việc tính giá trị băm của văn bản. Nếu 2 giá trị này như nhau thì Bình biết rằng người tạo ra chữ ký biết khóa bí mật của An và văn bản đã không bị thay đổi sau khi ký.

Cần chú ý rằng các phương pháp chuyển đổi bản rõ (như RSA-PSS) giữ vai trò quan trọng đối với quá trình mã hóa cũng như chữ ký điện tử và không được dùng khóa chung cho đồng thời cho cả hai mục đích trên.

An ninh

Độ an toàn của hệ thống RSA dựa trên 2 vấn đề của toán học: bài toán phân tích ra thừa số nguyên tố các số nguyên lớnbài toán RSA. Nếu 2 bài toán trên là khó (không tìm được thuật toán hiệu quả để giải chúng) thì không thể thực hiện được việc phá mã toàn bộ đối với RSA. Phá mã một phần phải được ngăn chặn bằng các phương pháp chuyển đổi bản rõ an toàn.

Bài toán RSA là bài toán tính căn bậc e môđun n (với n là hợp số): tìm số m sao cho me=c mod n, trong đó (e, n) chính là khóa công khai và c là bản mã. Hiện nay phương pháp triển vọng nhất giải bài toán này là phân tích n ra thừa số nguyên tố. Khi thực hiện được điều này, kẻ tấn công sẽ tìm ra số mũ bí mật d từ khóa công khai và có thể giải mã theo đúng quy trình của thuật toán. Nếu kẻ tấn công tìm được 2 số nguyên tố pq sao cho: n = pq thì có thể dễ dàng tìm được giá trị (p-1)(q-1) và qua đó xác định d từ e. Chưa có một phương pháp nào được tìm ra trên máy tính để giải bài toán này trong thời gian đa thức (polynomial-time). Tuy nhiên người ta cũng chưa chứng minh được điều ngược lại (sự không tồn tại của thuật toán). Xem thêm phân tích ra thừa số nguyên tố về vấn đề này.

Tại thời điểm năm 2005, số lớn nhất có thể được phân tích ra thừa số nguyên tố có độ dài 663 bít với phương pháp phân tán trong khi khóa của RSA có độ dài từ 1024 tới 2048 bít. Một số chuyên gia cho rằng khóa 1024 bít có thể sớm bị phá vỡ (cũng có nhiều người phản đối việc này). Với khóa 4096 bít thì hầu như không có khả năng bị phá vỡ trong tương lai gần. Do đó, người ta thường cho rằng RSA đảm bảo an toàn với điều kiện n được chọn đủ lớn. Nếu n có độ dài 256 bít hoặc ngắn hơn, nó có thể bị phân tích trong vài giờ với máy tính cá nhân dùng các phần mềm có sẵn. Nếu n có độ dài 512 bít, nó có thể bị phân tích bởi vài trăm máy tính tại thời điểm năm 1999. Một thiết bị lý thuyết có tên là TWIRL do Shamir và Tromer mô tả năm 2003 đã đặt ra câu hỏi về độ an toàn của khóa 1024 bít. Vì vậy hiện nay người ta khuyến cáo sử dụng khóa có độ dài tối thiểu 2048 bít.

Năm 1993, Peter Shor công bố thuật toán Shor chỉ ra rằng: máy tính lượng tử (trên lý thuyết) có thể giải bài toán phân tích ra thừa số trong thời gian đa thức. Tuy nhiên, máy tính lượng tử vẫn chưa thể phát triển được tới mức độ này trong nhiều năm nữa.

Năm 2010, các nhà khoa học thuộc Đại học Michigan đã công bố phát hiện một kẽ hở trong hệ thống mật mã hoá RSA. Cách phá vỡ hệ thống, lấy khoá bí mật RSA 1024 bit chỉ trong vài ngày thay vì vài năm nếu tấn công theo cách thông thường - tấn công bằng brute force (dò tìm lần lượt). Các nhà khoa học tạo một điện thế lớn để gây lỗi hệ thống, từ đó giúp tìm ra khoá bí mật. Việc tấn công được thực hiện trên một FPGA. Báo cáo được trình bày tại hội nghị DATE 2010 diễn ra tại Dresden, Đức tháng 3 năm 2010.

Xem thêm: Bài toán phân tích RSA

Các vấn đề đặt ra trong thực tế

Quá trình tạo khóa

Việc tìm ra 2 số nguyên tố đủ lớn pq thường được thực hiện bằng cách thử xác suất các số ngẫu nhiên có độ lớn phù hợp (dùng phép kiểm tra nguyên tố cho phép loại bỏ hầu hết các hợp số).

pq còn cần được chọn không quá gần nhau để phòng trường hợp phân tích n bằng phương pháp phân tích Fermat. Ngoài ra, nếu p-1 hoặc q-1 có thừa số nguyên tố nhỏ thì n cũng có thể dễ dàng bị phân tích và vì thế pq cũng cần được thử để tránh khả năng này.

Bên cạnh đó, cần tránh sử dụng các phương pháp tìm số ngẫu nhiên mà kẻ tấn công có thể lợi dụng để biết thêm thông tin về việc lựa chọn (cần dùng các bộ tạo số ngẫu nhiên tốt). Yêu cầu ở đây là các số được lựa chọn cần đồng thời ngẫu nhiên và không dự đoán được. Đây là các yêu cầu khác nhau: một số có thể được lựa chọn ngẫu nhiên (không có kiểu mẫu trong kết quả) nhưng nếu có thể dự đoán được dù chỉ một phần thì an ninh của thuật toán cũng không được đảm bảo. Một ví dụ là bảng các số ngẫu nhiên do tập đoàn Rand xuất bản vào những năm 1950 có thể rất thực sự ngẫu nhiên nhưng kẻ tấn công cũng có bảng này. Nếu kẻ tấn công đoán được một nửa chữ số của p hay q thì chúng có thể dễ dàng tìm ra nửa còn lại (theo nghiên cứu của Donald Coppersmith vào năm 1997)

Một điểm nữa cần nhấn mạnh là khóa bí mật d phải đủ lớn. Năm 1990, Wiener chỉ ra rằng nếu giá trị của p nằm trong khoảng q và 2q (khá phổ biến) và d < n1/4/3 thì có thể tìm ra được d từ ne.

Mặc dù e đã từng có giá trị là 3 nhưng hiện nay các số mũ nhỏ không còn được sử dụng do có thể tạo nên những lỗ hổng (đã đề cập ở phần chuyển đổi văn bản rõ). Giá trị thường dùng hiện nay là 65537 vì được xem là đủ lớn và cũng không quá lớn ảnh hưởng tới việc thực hiện hàm mũ.

Tốc độ

RSA có tốc độ thực hiện chậm hơn đáng kể so với DES và các thuật toán mã hóa đối xứng khác. Trên thực tế, Bình sử dụng một thuật toán mã hóa đối xứng nào đó để mã hóa văn bản cần gửi và chỉ sử dụng RSA để mã hóa khóa để giải mã (thông thường khóa ngắn hơn nhiều so với văn bản).

Phương thức này cũng tạo ra những vấn đề an ninh mới. Một ví dụ là cần phải tạo ra khóa đối xứng thật sự ngẫu nhiên. Nếu không, kẻ tấn công (thường ký hiệu là Hắc) sẽ bỏ qua RSA và tập trung vào việc đoán khóa đối xứng.

Phân phối khóa

Cũng giống như các thuật toán mã hóa khác, cách thức phân phối khóa công khai là một trong những yếu tố quyết định đối với độ an toàn của RSA. Quá trình phân phối khóa cần chống lại được tấn công đứng giữa (man-in-the-middle attack). Giả sử Hắc có thể gửi cho Bình một khóa bất kỳ và khiến Bình tin rằng đó là khóa (công khai) của An. Đồng thời Hắc có khả năng đọc được thông tin trao đổi giữa Bình và An. Khi đó, Hắc sẽ gửi cho Bình khóa công khai của chính mình (mà Bình nghĩ rằng đó là khóa của An). Sau đó, Hắc đọc tất cả văn bản mã hóa do Bình gửi, giải mã với khóa bí mật của mình, giữ một bản copy đồng thời mã hóa bằng khóa công khai của An và gửi cho An. Về nguyên tắc, cả Bình và An đều không phát hiện ra sự can thiệp của người thứ ba. Các phương pháp chống lại dạng tấn công này thường dựa trên các chứng thực khóa công khai (digital certificate) hoặc các thành phần của hạ tầng khóa công khai (public key infrastructure - PKI).

Tấn công dựa trên thời gian

Vào năm 1995, Paul Kocher mô tả một dạng tấn công mới lên RSA: nếu kẻ tấn công nắm đủ thông tin về phần cứng thực hiện mã hóa và xác định được thời gian giải mã đối với một số bản mã lựa chọn thì có thể nhanh chóng tìm ra khóa d. Dạng tấn công này có thể áp dụng đối với hệ thống chữ ký điện tử sử dụng RSA. Năm 2003, Dan BonehDavid Brumley chứng minh một dạng tấn công thực tế hơn: phân tích thừa số RSA dùng mạng máy tính (Máy chủ web dùng SSL). Tấn công đã khai thác thông tin rò rỉ của việc tối ưu hóa định lý số dư Trung quốc mà nhiều ứng dụng đã thực hiện.

Để chống lại tấn công dựa trên thời gian là đảm bảo quá trình giải mã luôn diễn ra trong thời gian không đổi bất kể văn bản mã. Tuy nhiên, cách này có thể làm giảm hiệu suất tính toán. Thay vào đó, hầu hết các ứng dụng RSA sử dụng một kỹ thuật gọi là che mắt. Kỹ thuật này dựa trên tính nhân của RSA: thay vì tính cd mod n, An đầu tiên chọn một số ngẫu nhiên r và tính (rec)d mod n. Kết quả của phép tính này là rm mod n và tác động của r sẽ được loại bỏ bằng cách nhân kết quả với nghịch đảo của r. Đối với mỗi văn bản mã, người ta chọn một giá trị của r. Vì vậy, thời gian giải mã sẽ không còn phụ thuộc vào giá trị của văn bản mã.

Tấn công lựa chọn thích nghi bản mã

Năm 1981, Daniel Bleichenbacher mô tả dạng tấn công lựa chọn thích nghi bản mã (adaptive chosen ciphertext attack) đầu tiên có thể thực hiện trên thực tế đối với một văn bản mã hóa bằng RSA. Văn bản này được mã hóa dựa trên tiêu chuẩn PKCS #1 v1, một tiêu chuẩn chuyển đổi bản rõ có khả năng kiểm tra tính hợp lệ của văn bản sau khi giải mã. Do những khiếm khuyết của PKCS #1, Bleichenbacher có thể thực hiện một tấn công lên bản RSA dùng cho giao thức SSL (tìm được khóa phiên). Do phát hiện này, các mô hình chuyển đổi an toàn hơn như chuyển đổi mã hóa bất đối xứng tối ưu (Optimal Asymmetric Encryption Padding) được khuyến cáo sử dụng. Đồng thời phòng nghiên cứu của RSA cũng đưa ra phiên bản mới của PKCS #1 có khả năng chống lại dạng tấn công nói trên.

Xem thêm

Tham khảo

Liên kết ngoài


Mật mã hóa khóa công khai sửa
Thuật toán: Cramer-Shoup | DH | DSA | ECDH | ECDSA | EKE | ElGamal | GMR | MQV | NTRUEncrypt | NTRUSign | Paillier | Rabin | Rabin-Williams | RSA | Schnorr | SPEKE | SRP | XTR
Lý thuyết: Logarithm rời rạc | Mật mã đường cong elíp | Bài toán RSA
Tiêu chuẩn: ANS X9F1 | CRYPTREC | IEEE P1363 | NESSIE | NSA Suite B   Vấn đề khác: Chữ ký điện tử | PKI | Mạng lưới tín nhiệm | Độ lớn khóa

Read other articles:

Salah satu peta Piri Reis menggambarkan Samudra Atlantik dan Benua Amerika Latin Peta Piri Reis adalah peta dunia pra-modern yang disusun pada tahun 1513 dari intelijen militer oleh laksamana Turki-Utsmani dan kartografer Piri Reis. Setengah dari peta yang bertahan menunjukkan pantai barat Eropa dan Afrika Utara dan pantai Brasil dengan akurasi yang wajar. Berbagai pulau-pulau Atlantik termasuk Azores dan Kepulauan Canary digambarkan, seperti pulau mitos Antillia dan mungkin Jepang. Pentingny...

 

Dafnah Daun dan kuncup bunga Laurus nobilis Klasifikasi ilmiah Kerajaan: Plantae (tanpa takson): Tracheophyta (tanpa takson): Angiospermae (tanpa takson): Magnoliid Ordo: Laurales Famili: Lauraceae Genus: Laurus Spesies: L. nobilis Nama binomial Laurus nobilisL. Dafnah atau salam sebrang adalah sebuah pohon hijau abadi aromatik atau perdu besar berdaun hijau yang berasal dari kawasan Mediterania. Tumbuhan tersebut merupakan salah satu tumbuhan yang digunakan untuk perasa daun salam dala...

 

Mario Ricci Deputato della Repubblica ItalianaLegislaturaI, II GruppoparlamentareComunista CoalizioneFronte Democratico Popolare (1948) CollegioParma Incarichi parlamentariMembro della Commissione Difesa Sito istituzionale Dati generaliPartito politicoPartito Comunista Italiano Professioneboscaiolo, sterratore Mario Ricci (Pavullo nel Frignano, 20 maggio 1908 – Pavullo nel Frignano, 18 agosto 1989) è stato un partigiano e politico italiano noto col nome di battaglia Armando. Medaglia ...

United States historic placeLinthicum WalksU.S. National Register of Historic Places Linthicum Walks, December 2009Show map of MarylandShow map of the United StatesLocation2295 Davidsonville Road Gambrills, Maryland 21054Nearest cityCrofton, MarylandCoordinates38°59′56″N 76°40′15″W / 38.99889°N 76.67083°W / 38.99889; -76.67083Area5.2 acres (2.1 ha)NRHP reference No.84001344[1]Added to NRHPAugust 9, 1984 Linthicum Walks is a historic h...

 

Book by Edmund Burke A Vindication of Natural Society AuthorEdmund BurkeCountryGreat BritainLanguageEnglishSubjectPhilosophical anarchismGenrePolitical satirePublisherM. CooperPublication date1756ISBN0-86597-009-2OCLC1102756444Followed byOn the Sublime and Beautiful TextA Vindication of Natural Society at Wikisource This article is part of a series onConservatismin the United Kingdom Ideologies British nationalism Cameronism Muscular liberalism Civic Compassionate Green Liberal That...

 

此條目没有列出任何参考或来源。 (2021年12月27日)維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 國立仁愛高級農業職業學校國立仁愛高級農業職業學校地址54641 南投縣仁愛鄉山農巷27號经纬度24°01′16″N 121°08′00″E / 24.0211874°N 121.1333733°E / 24.0211874; 121.1333733邮政编码546其它名称N...

Harvard Graduate School of Design Harvard Graduate School of Design (juga dikenal sebagai The GSD) adalah sebuah sekolah kelulusan di Universitas Harvard, yang terletak di Gund Hall, Cambridge, Massachusetts. GSD menawarkan program master dan doktoral dalam bidang arsitektur, arsitektur lanskap, perencanaan perkotaan, perancangan perkotaan, lahan nyata,[1] teknik rancangan, dan kajian rancangan. Referensi ^ About - REAL ESTATE and the BUILT ENVIRONMENT. REAL ESTATE and the BUILT ENVIR...

 

منصور بن سعود بن عبد العزيز آل سعود معلومات شخصية الميلاد 25 يوليو 1941 (83 سنة)  الرياض مواطنة السعودية  الأب سعود بن عبد العزيز آل سعود  عائلة آل سعود  الحياة العملية المهنة عسكري  اللغة الأم العربية  اللغات العربية  تعديل مصدري - تعديل   الأمير منصور بن سعو�...

 

Wrestling competition 2024 EuropeanWrestling ChampionshipsFreestyleGreco-RomanWomen57 kg55 kg50 kg61 kg60 kg53 kg65 kg63 kg55 kg70 kg67 kg57 kg74 kg72 kg59 kg79 kg77 kg62 kg86 kg82 kg65 kg92 kg87 kg68 kg97 kg97 kg72 kg125 kg130 kg76 kgvte Main article: 2024 European Wrestling Championships The women's freestyle 68 kg is a competition featured at the 2024 European Wrestling Championships, and held in Bucharest, Romania on February 14 and 15.[1] Medalists Gold  Buse Tosun Çav...

كنزابورو أوي (باليابانية: 大江 健三郎)‏  معلومات شخصية الميلاد 31 يناير 1935 [1][2][3][4]  أوسيه  [لغات أخرى]‏  تاريخ الوفاة 3 مارس 2023 (88 سنة)   سبب الوفاة شيخوخة  مواطنة اليابان إمبراطورية اليابان (–1947)  عضو في الأكاديمية الأمريكية للفنون والعلو�...

 

الدوري التونسي لكرة اليد للرجال الموسم 2013-2014 البلد تونس  المنظم الجامعة التونسية لكرة اليد  النسخة 59 عدد الفرق 12   الفائز الترجي الرياضي التونسي النادي الإفريقي (الثاني) الدوري التونسي لكرة اليد 2012–13  الدوري التونسي لكرة اليد 2014–15  تعديل مصدري - تعديل   الدو...

 

明治学院大学体育会サッカー部原語表記 明治学院大学体育会サッカー部呼称 明治学院大学愛称 明学クラブカラー     イエロー所属リーグ 関東大学サッカーリーグ戦所属ディビジョン 3部ホームタウン 神奈川県横浜市ホームスタジアム ヘボンフィールド代表者 佐藤努監督 加藤望公式サイト 公式サイト ホームカラー ■テンプレート(■ノート)■サッカー...

Feature of a programming language This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Abstract type – news · newspapers · books · scholar · JSTOR (January 2022) (Learn how and when to remove this message) Not to be confused with Abstract data type. Type systems General concepts Type safety Strong vs. weak typing...

 

Rex HughesHughes in 1975Biographical detailsBorn(1938-09-24)September 24, 1938DiedMay 9, 2016(2016-05-09) (aged 77)Nipomo, California, U.S.Playing career1959–1961Pepperdine Coaching career (HC unless noted)1963–1964North Torrance HS (assistant)1963–1968Redondo HS1968–1969Long Beach CC1969–1973Nebraska (assistant)1973–1974USC (assistant)1974–1978Kent State1978–1979Montana Sky1979–1981UNLV (assistant)1990–1992Sacramento Kings (assistant)1991–1992Sacramento Kings1992�...

 

2023 album by U2 This article is about the U2 album. For the film, see Song of Surrender. Songs of SurrenderStudio album of re-recorded songs by U2Released17 March 2023 (2023-03-17)StudioShangri-La (Los Angeles)The Village (Los Angeles)Metropolis (London)Harbour IslandGenreAcoustic[1][2]Length165:50LabelIsland, InterscopeProducerThe EdgeU2 chronology Songs of Experience(2017) Songs of Surrender(2023) Zoo TV Live in Dublin 1993(2024) Singles from Songs of...

قزانالنوع حلة (آنية) الخصائصالشكل مخروط تعديل - تعديل مصدري - تعديل ويكي بياناتسمنو (أكلة) [الإنجليزية] يصنع في قزان في موقد أرضي. القَزَان[1] هو نوع من أواني الطهو الكبيرة المستخدمة في جميع أنحاء آسية الوسطى وأفغانستان وأذربيجان وتركيا [2] وشبه البلقان وهو ما يعادل تق�...

 

Mathematical model for a mechanical system The JPL mobile robot ATHLETE is a platform with six serial chain legs ending in wheels. The arms, fingers, and head of the JSC Robonaut are modeled as kinematic chains. The movement of the Boulton & Watt steam engine is studied as a system of rigid bodies connected by joints forming a kinematic chain. A model of the human skeleton as a kinematic chain allows positioning using forward and inverse kinematics. In mechanical engineering, a kinematic ...

 

Last Crown Prince of Württemberg AlbrechtCrown Prince of WürttembergDuke Albrecht c. 1905Head of the House of WürttembergTenure2 October 1921 - 31 October 1939PredecessorKing Wilhelm IISuccessorDuke Philipp AlbrechtBorn(1865-12-23)23 December 1865Vienna, Empire of AustriaDied31 October 1939(1939-10-31) (aged 73)Altshausen, State of Württemberg, Nazi GermanySpouse Archduchess Margarete Sophie of Austria ​ ​(m. 1893; died 1902)​Issu...

ماراثون للبترولالشعارمعلومات عامةالبلد  الولايات المتحدة التأسيس 2009 النوع عمل تجاري — شركة عامة — سلسلة محطات الغاز الشكل القانوني شركة ديلاوير[1] المقر الرئيسي فندلي موقع الويب marathonpetroleum.com (الإنجليزية) المنظومة الاقتصاديةالشركات التابعة ARCO (en) Marathon Pipe Line (en) الصنا...

 

Independent city in Virginia, United States Manassas redirects here. For other uses, see Manassas (disambiguation). Independent city in Virginia, United StatesManassas, VirginiaIndependent cityCity of ManassasView of Old Town Manassas looking east on Center Street. FlagSealMotto(s): Historic Heart, Modern BeatLocation of Manassas in VirginiaManassas highlighted in the Commonwealth of VirginiaManassasShow map of Northern VirginiaManassasShow map of VirginiaManassasShow map of the United S...