2.9K 220 103

Đã đăng vào Thứ Hai, 2:00 SA 8 phút đọc

Mật mã RSA - phần 3

III. Mật mã RSA - thực hiện (tiếp)

4. Sinh số nguyên tố trong Python

Bước đầu tiên để tạo ra một cặp khóa public key và private key là lựa chọn cặp số nguyên tố $(p, q)$ , chúng sẽ đóng vai trò nền tảng cho tất cả các bước tạo khóa phía sau. Vậy thì, làm sao để tạo ra một cặp số nguyên tố $(p, q)$ ?

Ngày trước, khi không có sự hỗ trợ của các công nghệ tiên tiến, người xưa đã "lưu lại" các số nguyên tố bằng cách sử dụng sàng Eratosthenes: lần lượt bỏ đi các hợp số là bội của các số nguyên tố và cuối cùng chỉ giữ lại các số nguyên tố.

Với ngôn ngữ Python, có thể sử dụng hàm getPrime() trong module Crypto.Util.number thuộc thư viện PyCryptodome:

getPrime(N:int, randfunc:callable): long

Hàm sẽ trả về một số nguyên tố ngẫu nhiên có độ dài $N$ bytes.

5. Module trong Python

Như đã tìm hiểu ở bài trước, cách mã hóa và giải mã trong mật mã RSA phần lớn làm việc với các phép tính Module - đồng dư thức. Chẳng hạn những phép tính như tìm số dư của số $A^B$ trong module $C$ :

$A^B \equiv\ ? \pmod {C}$

Trong Python có thể sử dụng hàm pow(base, exponent, modulus) kết hợp tính toán số mũ và đồng dư, tương đương với (base ** exponent) % modulus, trong đó:

base là giá trị cơ số (số $A$ ).
exponent là giá trị số mũ (số $B$ ).
modulus là giá trị module (số $C$ ).

Ví dụ tính kết quả $37^{18} \equiv\ ? \pmod {912}$ , chúng ta có chương trình đơn giản:

ans = pow(37, 18, 912)
print(ans)

Ngoài ra, khi hàm pow() không nhận argument thứ ba modulus sẽ trở thành một hàm tính kết quả lũy thừa. Khi chương trình cần tính toán số lượng phép toán lũy thừa nhiều và dữ liệu lớn, có thể thay thế bằng hàm math.pow() sẽ cải thiện tốc độ đáng kể. Thật vậy, sử dụng module timeit thực hiện kiểm tra thời gian hai hàm:

Có thể thấy ưu điểm vượt trội về thời gian của math.pow(), lý do là bởi vì khi chương trình được xử lý, hàm pow() sẽ tính toán dựa trên toán tử ** của Python, trong khi math.pow() dựa trên ngôn ngữ C cơ bản. Lưu ý rằng một nhược điểm của math.pow() không thể xử lý các số phức nhưng pow() có thể làm được điều đó, nên bạn đọc có thể cân nhắc sử dụng từng hàm trong mỗi trường hợp. Tham khảo thêm về bảng so sánh giá trị độ phức tạp thời gian và không gian:

Method	Time Complexity	Space Complexity
Looping Technique	O(n)	O(1)
``** Operator	O(Log(exponent))	O(1)
`pow()` function	O(Log(exponent))	O(1)
`math.pow()` function	O(1)	O(1)

Quay lại bài tập $1$ ở phần trước: Với khóa công khai $n=943$ và $e=7$ , thông điệp mã hóa $c=545$ , số mũ bí mật $d=503$ hãy tìm ra thông điệp gốc $m$ ? Chúng ta có thể giải quyết dễ dàng bằng chương trình Python:

Bài tập dành cho bạn đọc: Cho cặp số nguyên tố $(p, q) = (53, 71)$ , số mũ công khai $e = 65537$ , hãy mã hóa số $m = 102$ .

6. Số nghịch đảo module - bài toán nghịch đảo module (Modular multiplicative inverse)

Khóa bí mật với số mũ bí mật $d$ cũng cần xác định nhằm giải mã thông điệp RSA.

Như chúng ta đã biết về cách xác định số mũ bí mật $d$ :

$de\equiv 1 \pmod {\phi(n)}$

Việc từ phương trình module này tìm ngược lại số $d$ còn được gọi là bài toán nghịch đảo module:

$d\equiv \frac{1}{e} \pmod {\phi(n)}$

Trước hết chắc hẳn cần trả lời cho câu hỏi: Nếu biết trước cặp khóa công khai $(n, e)$ , tức giá trị $e$ , $\phi(n)$ đã biết thì có tồn tại $d$ thỏa mãn phương trình trên không? Câu trả lời là có, chúng ta có thể dễ dàng chứng minh dựa vào mệnh đề: Nếu $d=\text{ƯCLN}(a, b)$ thì luôn tồn tại các số nguyên $x, y$ sao cho:

$ax+by=d$

Quay lại phương trình module trên, do $\text{ƯCLN}(e, \phi(n))=1$ nên ta luôn tìm được số nguyên $x, y$ (chọn $x$ dương) sao cho:

$ex + \phi(n)y=1\\ \rightarrow ex \equiv 1 \pmod {\phi(n)}$

Chọn $d=x$ chính là giá trị cần tìm, chứng tỏ phương trình nghịch đảo module trên luôn giải được. Tiếp theo chúng ta cần giải quyết bài toán cách thức tìm ra $d$ .

Một cách đơn giản nhất đó là sử dụng vòng lặp thử tất cả trường hợp của $d$ bắt đầu từ $1$ , cho đến khi tìm được giá trị thỏa mãn phương trình module trên.

Xét ví dụ bài tập $2$ ở phần trước: Với khóa công khai $n=943$ và $e=7$ , thông điệp mã hóa $c=545$ , hãy tìm ra thông điệp gốc $m$ ? Chúng ta cần tìm được số mũ bí mật $d$ khi biết $(n, e)$ . Trước hết, có $n = 943 = 23 \times 41 = p \times q$ , nên $\phi(n)=22 \times 40 = 880$ . Chương trình tìm ra $d$ bằng cách thử tất cả trường hợp:

n = 943 # 943 = 23 x 41
p, q = 23, 41
e = 7

phi = (p-1) * (q-1)

# Thử tất cả trường hợp của d
d = 1
while True:
    if (d * e - 1) % phi == 0:
        print(d)
        break
    d = d + 1

Tuy nhiên, việc sử dụng vòng lặp thử dần từng trường hợp của $d$ bắt đầu từ $1$ thực sự gặp khó khăn với số $n$ lớn. Chẳng hạn, với cặp số $(p, q) = (857504083339712752489993810777,1029224947942998075080348647219)$ , chương trình có thể mất lượng thời gian rất lớn cho việc tìm ra $d$ khi mỗi vòng lặp chỉ tăng lên một đơn vị. Thay vào đó, chúng ta có thể tận dụng hàm pow() với exponent=-1 vì $d\equiv e^{-1} \pmod {\phi(n)}$ .

d = pow(e, -1, phi)

Áp dụng với cặp số nguyên tố lớn trên và $e=65537$ , có thể nhanh chóng tính được số mũ bí mật $d$ :

Bên cạnh đó, module Crypto.Util.number cũng chứa hàm inverse() hỗ trợ tìm kiếm số nghịch đảo module $\phi(n)$ của số $e$ .

inverse(u:long, v:long): long

IV. Một số kỹ thuật tấn công n - phân tích số lớn ra tích hai thừa số nguyên tố

Trong mật mã RSA, chỉ có hai yếu tố được công khai là cặp số public key $(n, e)$ . Khi attacker muốn giải mã được thông điệp mã hóa $c$ , họ buộc phải đồng thời có được số mũ bí mật $d$ và $\phi(n)$ . Trong phần này chúng ta sẽ tập trung vào các phương pháp tìm ra $\phi(n)$ , hay nói cách khác, cần tìm ra cặp số nguyên tố $(p, q)$ , tức là giải quyết bài toán phân tích số $n$ ra tích hai thừa số nguyên tố.

1. Vấn đề khi lựa chọn cặp số nguyên tố $(p, q)$ nhỏ

Trước khi nói đến vấn đề an toàn, việc lựa chọn cặp số nguyên tố $(p, q)$ nhỏ sẽ dẫn tới $n$ nhỏ. Mật mã RSA được thực hiện dựa trên các phép toán module, nên chỉ có thể mã hóa thông điệp (sau khi chuyển đổi sang dạng dãy chữ số) nằm trong khoảng từ $0$ tới $n-1$ (Trong trường không gian module của $n$ ). Thật vậy:

Xét trường hợp mật mã RSA có khóa công khai $(n, e) = (187, 3)$ , số mũ bí mật $d=107$ , chúng ta thử mã hóa một thông điệp lớn hơn khoảng module cho phép, $m=255$ . Ciphertext thu được:

$c = m^e\ \ \text{mod}\ n = 255^3\ \ \text{mod}\ 187 =85$

Khi giải mã ngược lại:

$m = c^d\ \ \text{mod}\ n = 85^{107}\ \ \text{mod}\ 187 = 68$

Người nhận sẽ không thể tính ra chính xác thông điệp ban đầu, dẫn tới truyền tin thất bại. Như vậy, tích cặp số nguyên tố chọn ban đầu càng lớn, thì không gian thông điệp có thể mã hóa và truyền tải càng lớn.

Bên cạnh đó còn là vấn đề an toàn của mật mã, khi chọn cặp số nguyên tố sinh khóa nhỏ thì tỉ lệ bị attacker dựa vào khóa công khai tìm ra bộ số nguyên tố ban đầu là rất cao. Tính tới thời điểm $12/10/2009$ , RSA với số $n$ có độ dài $768$ bit đã bị phân tích thành công (bạn đọc có thể tham khảo thêm tại đây).

Trong bối cảnh CTF, khi gặp challenge có số $n$ nhỏ, người chơi có thể dễ dàng phân tích thành tích các thừa số nguyên tố bằng nhiều cách. Chẳng hạn với số $n = 510143758735509025530880200653196460532653147$ dài $150$ bit. Một số nền tảng online hỗ trở phân tích thành thừa số nguyên tố: