Tổng quan luận án
Luận án tiến sĩ kỹ thuật với đề tài "Phát triển và xây dựng tham số an toàn cho hệ chữ ký số trên bài toán logarit rời rạc theo modul hợp số" do nghiên cứu sinh Lê Văn Tuấn thực hiện dưới sự hướng dẫn khoa học của TS. Lều Đức Tân và TS. Bùi Thế Truyền tại Học viện Kỹ thuật Quân sự và Học viện Khoa học Quân sự. Công trình thuộc chuyên ngành Công nghệ thông tin / An toàn thông tin, tập trung vào lĩnh vực mật mã học khóa công khai (Public Key Cryptography), lý thuyết số tính toán và kỹ thuật thiết kế hệ chữ ký số an toàn.
Bối cảnh nghiên cứu của luận án xuất phát từ sự phát triển của cuộc cách mạng công nghiệp lần thứ tư và sự gia tăng của các nguy cơ mất an toàn thông tin trên không gian mạng. Văn bản dẫn chứng các sự cố an ninh mạng nghiêm trọng như mã độc NotPetya tấn công diện rộng vào ngày 27/6/2017, các cuộc tấn công vào hệ thống website của các tập đoàn kinh tế tại Mỹ năm 2018, vụ tấn công vào hệ thống của Hãng Hàng không Quốc gia Việt Nam ngày 29/7/2016, và thiệt hại do virus máy tính gây ra tại Việt Nam năm 2018 lên tới 14.900 tỷ đồng (tương đương 642 triệu USD, tăng 21% so với năm 2017). Trong hệ thống bảo mật thông tin, chữ ký số là công cụ cốt lõi bảo đảm tính xác thực, tính toàn vẹn và tính không thể chối bỏ.
Khoảng trống nghiên cứu được tác giả xác định qua việc phân tích hạn chế cố hữu của các lược đồ chữ ký số xây dựng trên trường hữu hạn $\mathbb{Z}_p$ (như ElGamal, Schnorr, DSA). Cấu trúc trường $\mathbb{Z}_p$ không thể che giấu cấp của phần tử sinh $g$ ($t = \text{Ordp } g = p - 1$ hoặc ước nguyên tố lớn của $p - 1$), dẫn đến nguy cơ lộ khóa bí mật khi trùng hoặc lộ khóa phiên $k$, đồng thời dễ bị tấn công bởi các thuật toán giải bài toán logarit rời rạc dựa vào cấp phần tử sinh như Pohlig-Hellman, Pollard rho và Index Calculus. Trong khi đó, các nghiên cứu phát triển lược đồ chữ ký số trên vành hữu hạn $\mathbb{Z}_n$ ($n = p \cdot q$) đã công bố trước đây mới dừng lại ở việc đề xuất lược đồ, chưa xây dựng cơ sở toán học đầy đủ cho các tham số, chưa có hệ tiêu chuẩn tham số an toàn định lượng, định lượng cấp phần tử sinh 256-bit chưa có căn cứ khoa học (gây hạn chế khi kết hợp hàm băm SHA-512), hoặc sử dụng số nguyên tố siêu mạnh làm giảm tính khả thi thực tế khi mỗi người dùng cần một modulo riêng biệt.
Mục tiêu nghiên cứu:
- Nghiên cứu, phát triển lược đồ chữ ký số mới có độ an toàn dựa trên tính khó giải của bài toán logarit rời rạc trên vành hữu hạn $\mathbb{Z}_n$, đảm bảo an toàn và hiệu quả tính toán hơn một số lược đồ chữ ký số cùng loại đã công bố trước đó.
- Nghiên cứu xây dựng công thức tính ngưỡng an toàn, hệ tiêu chuẩn tham số an toàn và đề xuất môi trường ứng dụng cụ thể cho các lược đồ chữ ký số đề xuất.
- Xây dựng công cụ thử nghiệm sinh tham số, sinh chữ ký và xác nhận chữ ký cho các lược đồ đề xuất thỏa mãn hệ tiêu chuẩn đã đưa ra.
Đối tượng nghiên cứu:
- Lược đồ chữ ký số khóa công khai.
- Tham số của lược đồ chữ ký số.
- Ngưỡng an toàn ($\text{Security_strength}$) và hệ tiêu chuẩn tham số an toàn cho lược đồ chữ ký số.
Phạm vi nghiên cứu:
- Về lý thuyết: Nghiên cứu kỹ thuật thiết kế lược đồ chữ ký số trên trường hữu hạn $\mathbb{Z}_p$ (ElGamal, DSA) và trên vành hữu hạn $\mathbb{Z}_n$ với $n$ là tích của hai số nguyên tố phân biệt ($n = p \cdot q$); xây dựng lược đồ cơ sở và các lược đồ chữ ký số trên $\mathbb{Z}_n$ có khả năng che giấu cấp phần tử sinh; xây dựng công thức tính ngưỡng an toàn, hệ tiêu chuẩn tham số an toàn và thuật toán sinh tham số.
- Về thực nghiệm: Cài đặt kiểm chứng tính đúng đắn, tính đầy đủ, tính hiệu quả và so sánh chi phí tính toán của các lược đồ đề xuất với ElGamal và DSA; kiểm tra tính đúng đắn của công thức tính ngưỡng an toàn và kiểm tra các bộ tham số được sinh tự động theo từng tiêu chuẩn bằng phần mềm chạy trên hệ điều hành Windows với cấu hình máy tính thông dụng.
Tổng quan tài liệu và vị trí của luận án
Luận án đã tổng quan hệ thống các công trình nghiên cứu trong nước và quốc tế theo hai nhánh cấu trúc đại số chính:
1. Các hướng nghiên cứu chữ ký số trên trường hữu hạn $\mathbb{Z}_p$:
- Lược đồ nguyên thủy ElGamal (1985) dựa trên bài toán logarit rời rạc trên trường $\mathbb{Z}_p$ ($\text{DLP}_p$).
- Các biến thể tiêu biểu: lược đồ Schnorr (1990), lược đồ DSA (1994) thuộc chuẩn DSS/FIPS 186-3 của Hoa Kỳ, chuẩn GOST R34.10-94 của Liên bang Nga.
- Các nghiên cứu cải tiến tốc độ và độ an toàn: Dong (2015) đề xuất cải tiến tốc độ cho DSA; H. Iwata (2015) cải tiến DSA và Schnorr nhằm chống mất an toàn khi trùng khóa phiên; Li Xiao-fei, Shen Xuan-jing và Chen Hai-peng (2010) đề xuất bổ sung thành phần ngẫu nhiên vào lược đồ ElGamal; B. Yang đề xuất giải pháp chống tấn công "IP Prefix Hijacking" liên quan đến lộ hoặc trùng khóa phiên; Z. Keke (2012) và Z. Hao (2015) phân tích lỗ hổng của DSA trước tấn công kênh kề "L3 cache time attack".
Tác giả chỉ ra rằng các cải tiến trên $\mathbb{Z}_p$ vẫn chưa thể khắc phục triệt để nhược điểm không thể che giấu cấp của phần tử sinh $g$, dẫn đến việc không thể loại bỏ nguy cơ giải logarit rời rạc bằng các thuật toán dựa vào cấp như Pohlig-Hellman, Pollard rho và Index Calculus nếu hệ tham số không đạt chuẩn.
2. Các hướng nghiên cứu chữ ký số trên vành hữu hạn $\mathbb{Z}_n$:
- Các công trình quốc tế: Lược đồ xác lập khóa Okamoto E. Girault (1991), lược đồ Chik How Tan (2003), lược đồ PDSS của Shailendra Kumar Tripathi (2017) phát triển từ lược đồ Saryazdi, lược đồ S. Gupta (2017).
- Các công trình trong nước: Nguyễn Xuân Quỳnh (2002), Hồ Ngọc Duy (2017), Phạm Văn Hiệp (2018).
3. Khoảng trống luận án lựa chọn giải quyết:
Qua khảo sát, tác giả chỉ ra các khoảng trống học thuật cụ thể:
- Lược đồ PDSS của Tripathi sử dụng số nguyên tố siêu mạnh ($p = 2p' + 1, q = 2q' + 1$), có mật độ phân bố rất thưa trong tập số tự nhiên, không thực tế khi mỗi người dùng trên $\mathbb{Z}_n$ bắt buộc phải dùng số modulo riêng để chống tấn công modulo chung.
- Lược đồ của Hồ Ngọc Duy cố định độ dài cấp phần tử sinh $t = p_1 q_1$ là 256-bit nhưng không có chứng minh toán học về sự tồn tại và cấp của phần tử sinh, đồng thời giới hạn này không tương thích tối ưu khi tích hợp hàm băm an toàn cao như SHA-512.
- Lược đồ của Phạm Văn Hiệp công bố dựa trên hai bài toán khó đồng thời là phân tích số (FP) và logarit rời rạc trên vành ($\text{DLP}_n$), nhưng tác giả luận án chứng minh rằng kẻ tấn công chỉ cần giải phương trình $y = g^{-x_1} \pmod n$ để tìm $x_1$, sau đó dùng thuật toán Euclid $\text{GCD}(y - g^{-x_1}, n)$ là có thể phân tích được $n$ mà không cần giải đồng thời hai bài toán.
- Chưa có công trình nào xây dựng hoàn chỉnh cơ sở toán học sinh tham số, hệ tiêu chuẩn tham số an toàn định lượng và công cụ sinh tham số tự động phân theo môi trường ứng dụng thực tế. Luận án định vị việc giải quyết toàn diện các khoảng trống này.
Cơ sở lý thuyết và phương pháp nghiên cứu
Cơ sở lý thuyết và các khái niệm toán học
- Cấu trúc vành $\mathbb{Z}_n$: Cho $n = p \cdot q$ với $p, q$ là hai số nguyên tố phân biệt. Vành hữu hạn $\mathbb{Z}_n$ đi kèm nhóm nhân $\mathbb{Z}_n^$. Bài toán $\text{DLP}_n$ là tìm $x$ sao cho $y = g^x \pmod n$. Việc tìm cấp của phần tử sinh $g \in \mathbb{Z}_n^$ ($\text{Ordn}(g)$) có độ khó tương đương bài toán phân tích số $n$ ra thừa số nguyên tố.
- Định lý số dư Trung Hoa (CRT): Cho phép thực hiện các phép tính lũy thừa và nghịch đảo trên $\mathbb{Z}_n$ thông qua hai trường thành phần $\mathbb{Z}_p$ và $\mathbb{Z}_q$, giúp giảm chi phí tính toán của phép sinh chữ ký xuống chỉ còn xấp xỉ 1/3 so với trên trường $\mathbb{Z}_p$ cùng độ dài bit ($L(p) = L(n)$).
- Định lý Pocklington: Được sử dụng để chứng minh tính nguyên tố của các số nguyên tố lớn $p, q$ và các số nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ trong thuật toán sinh tham số an toàn.
- Độ phức tạp tính toán và chi phí thuật toán: Định lượng chi phí phép nhân $m(l)$ theo thuật toán Karatsuba ($O(l^{\ln 3 / \ln 2})$), phép rút gọn mô-đun theo thuật toán Barrett ($Red(m, l) = t \cdot m(l)$ với $t = \lceil m/l \rceil - 1$), phép lũy thừa $\text{Pow}(a, e, n)$ theo thuật toán bình phương và nhân ($\text{CostPow}(a, e, n) = (L(e) + Wt(e)) \cdot Red(2l, l) + \dots$).
| Bài toán $F$ |
Thuật toán $A$ |
Độ phức tạp $F-A$ |
Đơn vị |
| $a + b$ |
Cộng phổ thông |
$O(l)$ |
Thao tác bit (BO) |
| $a \cdot b$ |
Nhân phổ thông / Karatsuba |
$O(l^2)$ / $O(l^{\ln 3 / \ln 2})$ |
BO |
| $\text{GCD}(a, b)$ |
Binary Algorithm |
$O(l^2)$ |
BO |
| $a^{-1} \pmod n$ |
Binary Algorithm |
$O(l^2)$ |
BO |
| Phân tích $n$ |
Sàng trường số (NFS) |
$L_n[1/3, 1.923]$ |
BO |
| $\log_g b \pmod n$ |
Sàng trường số (NFS) |
$L_n[1/3, 1.923]$ |
BO |
| Tìm logarit rời rạc |
Rho Pollard ($\rho$-P) |
$O(\sqrt{t})$ |
Phép nhân mô-đun |
| Tìm logarit rời rạc |
Pohlig-Hellman (P-H) |
$O(r)$ ($r$ là ước nguyên tố lớn nhất của $t$) |
Phép nhân mô-đun |
| Tìm logarit rời rạc |
Kết hợp $\rho$-P và P-H |
$O(\sqrt{r})$ |
Phép nhân mô-đun |
- Mô hình chữ ký số khóa công khai: Bộ 5 tập hợp $(M, S, K_s, K_b, K)$ và các thuật toán $(\text{KeyGen}, \text{Sig}, \text{Ver})$. Tích hợp hàm băm mật mã $\text{Hash}: {0, 1}^\infty \rightarrow {0, 1}^H$ thỏa mãn điều kiện $H \ge 2 \cdot \text{Security_strength}$ (cụ thể sử dụng hàm băm chuẩn SHA-512).
- Mô hình an toàn và phân loại tấn công: Đáp ứng chuẩn an toàn "Existentially unforgeable under adaptively chosen-message attacks" (chống giả mạo tồn tại dưới điều kiện tấn công chọn thông báo thích nghi).
Các hệ chuẩn tham chiếu
Luận án kế thừa và đối chiếu trực tiếp với các tiêu chuẩn an toàn quốc tế và Việt Nam:
- NIST 800-57 (2007): Quy định mối quan hệ giữa ngưỡng an toàn ($\text{Security_strength}$), độ dài modulo $L(n), L(p)$ và độ dài cấp phần tử sinh $L(\text{Ordp } g)$.
| Ngưỡng an toàn ($\text{Security_strength}$) |
$L(n), L(p)$ |
$L(\text{Ordp } g)$ |
Thời hạn an toàn tối thiểu |
| 80 |
1024 |
160 |
Tới năm 2010 |
| 112 |
2048 |
224 |
Tới năm 2030 |
| 128 |
3072 |
256 |
Sau năm 2030 |
- FIPS 186-3 (2009): Quy định các điều kiện ràng buộc đối với các ước nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ của $p \pm 1$ và $q \pm 1$, điều kiện số mũ công khai $e$ ($2^{16} < e < 2^{256}$) và số mũ bí mật $d > 2^{L(n)/2}$.
| $L(n)$ |
$L(p_1), L(p_2), L(q_1), L(q_2)$ |
$L(p_1)+L(p_2)$ và $L(q_1)+L(q_2)$ (Xác suất) |
$L(p_1)+L(p_2)$ và $L(q_1)+L(q_2)$ (Chứng minh) |
| 1024 |
$> 100$ bit |
$< 496$ bit |
$< 239$ bit |
| 2048 |
$> 140$ bit |
$< 1007$ bit |
$< 494$ bit |
| 3072 |
$> 170$ bit |
$< 1518$ bit |
$< 750$ bit |
- TCVN 7635-2007: Tiêu chuẩn Việt Nam quy định ngưỡng an toàn và độ dài khóa cho hệ mật mã (80-bit cho modulo 1024-bit đến năm 2010; 112-bit cho modulo 2048-bit đến năm 2020; 128-bit cho modulo 3072-bit sau năm 2030; các số nguyên tố bổ trợ thỏa mãn $p_1, p_2, q_1, q_2 > 2^{\text{Security_strength} + 20}$).
Phương pháp nghiên cứu
- Phương pháp nghiên cứu lý thuyết: Khảo sát, phân tích toán học, tổng hợp và chứng minh các định lý, bổ đề; xây dựng công thức tính ngưỡng an toàn dựa trên mô hình toán học của Lenstra - Verheul và các nhà khoa học Việt Nam.
- Phương pháp chuyên gia: Tham vấn ý kiến các chuyên gia đầu ngành trong lĩnh vực toán học và an toàn thông tin tại Học viện Kỹ thuật Quân sự và Học viện Khoa học Quân sự.
- Phương pháp thực nghiệm: Lập trình công cụ phần mềm trên ngôn ngữ bậc cao, chạy trên môi trường Windows để thử nghiệm sinh khóa, sinh tham số, ký và xác thực chữ ký; đo đạc thời gian tính toán thực tế và đối chiếu với ước lượng lý thuyết.
Nội dung chính theo từng chương
Chương 1. Tổng quan về vấn đề nghiên cứu và cơ sở lý thuyết của luận án
Chương 1 thiết lập nền tảng toàn diện cho luận án:
- Tổng quan các bài toán cơ sở khó trong mật mã học: Phân tích số ($\text{FP}$), Logarit rời rạc trên trường hữu hạn ($\text{DLP}_p$), Logarit rời rạc trên vành hữu hạn ($\text{DLP}_n$).
- Phân tích chi tiết thuật toán sinh chữ ký và kiểm tra chữ ký của lược đồ ElGamal và chuẩn DSA. Chứng minh bằng công thức toán học nguy cơ mất khóa bí mật $x$ khi lộ hoặc dùng trùng khóa phiên $k$ trong ElGamal:
- Nếu lộ $k$: tính trực tiếp $x = (m - k \cdot s) \cdot r^{-1} \pmod{p-1}$.
- Nếu trùng $k$ trên hai thông báo $m_1, m_2$ với chữ ký $(r, s_1)$ và $(r, s_2)$: tính $k = (m_1 - m_2) \cdot (s_1 - s_2)^{-1} \pmod{p-1}$, từ đó suy ra $x$.
- Phân tích chi phí tính toán lý thuyết: Hàm $\text{Sig}$ của ElGamal tiêu tốn $C_{\text{Sig}} = 1.5 \cdot M(L(p)) + \dots$; hàm $\text{Ver}$ tiêu tốn $C_{\text{Ver}} = 4.5 \cdot M(L(p))$; trong khi DSA có $C_{\text{Sig}} = 1.5 \cdot M(L(t))$ và $C_{\text{Ver}} = 3 \cdot M(L(t))$.
- Khảo sát các lược đồ trên vành $\mathbb{Z}_n$ của Tripathi (PDSS) và Hồ Ngọc Duy; chỉ rõ các thiếu sót về mặt chứng minh toán học của phần tử sinh, việc áp đặt độ dài cấp $t$ 256-bit và tính phi thực tế khi sử dụng số nguyên tố siêu mạnh.
- Trình bày hệ thống định nghĩa, bổ đề toán học về cấu trúc vành $\mathbb{Z}_n$, độ phức tạp thuật toán, khái niệm bài toán khó ($\text{HP}$), vấn đề khó ($\text{DP}$) và các chuẩn tham số quốc tế (NIST 800-57, FIPS 186-3, TCVN 7635-2007).
Chương 2. Phát triển lược đồ chữ ký số trên vành
Chương 2 trình bày các đóng góp trọng tâm về mặt thuật toán mật mã:
- Xây dựng hai lược đồ chữ ký số cơ sở và công thức tổng quát: Thiết lập cấu trúc chữ ký số trên vành $\mathbb{Z}_n$ với $n = p \cdot q$, tận dụng cơ chế giấu cấp phần tử sinh $t = \text{Ordn}(g)$.
- Đề xuất 4 lược đồ chữ ký số cụ thể trên vành $\mathbb{Z}_n$: Được phân thành hai nhóm cấu trúc chính:
- Lược đồ chữ ký số Dạng 1: Tối ưu hóa quy trình tính toán thành phần chữ ký dựa trên cấu trúc mô-đun kết hợp phép nghịch đảo bí mật.
- Lược đồ chữ ký số Dạng 2: Thiết kế dạng chữ ký rút gọn, kết hợp hàm băm SHA-512 nhằm tăng cường độ an toàn trước các kiểu tấn công chọn thông báo.
- Phân tích tính đúng đắn và tính đầy đủ: Chứng minh bằng toán học rằng với mọi thông báo $m \in {0, 1}^\infty$ và khóa bí mật hợp lệ, phương trình xác minh $\text{Ver}(m, s, k_b)$ luôn trả về "Accept".
- Chứng minh tính hiệu quả tính toán (Bổ đề 2.3): Khi $L(p) = L(q) = L(n)/2$, việc áp dụng định lý số dư Trung Hoa (CRT) giúp đưa các phép tính lũy thừa và tính phần tử nghịch đảo từ vành $\mathbb{Z}_n$ về hai trường thành phần $\mathbb{Z}_p$ và $\mathbb{Z}_q$. Do độ phức tạp của phép nhân là bậc hai (hoặc $O(l^{1.58})$ theo Karatsuba), chi phí sinh chữ ký trên vành $\mathbb{Z}_n$ chỉ bằng khoảng $1/3$ chi phí của các lược đồ cùng loại trên trường $\mathbb{Z}_p$ có cùng kích thước modulo ($L(p) = L(n)$).
- Phân tích điều kiện an toàn và cơ chế che giấu cấp phần tử sinh: Tác giả chứng minh việc tìm cấp $t = \text{Ordn}(g)$ trên vành $\mathbb{Z}_n$ tương đương với bài toán phân tích thừa số nguyên tố $n = p \cdot q$. Do $t$ được giữ bí mật hoàn toàn, các lược đồ đề xuất miễn nhiễm với tấn công lộ/trùng khóa phiên và vô hiệu hóa các thuật toán Pohlig-Hellman, Pollard rho và Index Calculus.
- Xác định hệ tham số và quy trình sinh phần tử sinh $g$: Xây dựng điều kiện toán học chặt chẽ để chọn $g \in \mathbb{Z}_n^*$ đảm bảo cấp $t$ đủ lớn và không rơi vào các nhóm con tầm thường.
- Thực nghiệm và đánh giá: Cài đặt 4 lược đồ đề xuất, tiến hành đo đạc thời gian sinh chữ ký và thời gian xác nhận chữ ký với các kích thước khóa khác nhau, khẳng định tính khả thi và hiệu năng vượt trội so với các lược đồ trên trường $\mathbb{Z}_p$.
Chương 3. Xây dựng tham số an toàn cho các lược đồ chữ ký số đề xuất
Chương 3 giải quyết bài toán định lượng tham số và hiện thực hóa ứng dụng:
- Nghiên cứu ngưỡng an toàn theo mô hình Lenstra và Verheul: Phân tích mô hình dự báo năng lực tính toán của các đối tượng tấn công ($\text{Attack Class} - AL$) dựa trên thực lực kinh tế của tổ chức tình báo ($\text{TLKTTB}$) và thực lực tính toán của siêu máy tính ($\text{TLTTSMT}$).
- Xây dựng công thức tính ngưỡng an toàn riêng cho các lược đồ đề xuất: Thiết lập hàm toán học xác định ngưỡng an toàn $\text{Security_strength}$ phụ thuộc vào thời gian sống an toàn $T$ của dữ liệu và năng lực của lớp đối tượng tấn công $AL$.
- Xây dựng hệ tiêu chuẩn tham số an toàn đa tầng: Kế thừa các tiêu chuẩn NIST 800-57, FIPS 186-3, TCVN 7635-2007, đồng thời bổ sung các tiêu chuẩn riêng cho bài toán $\text{DLP}_n$:
- Tiêu chuẩn kích thước modulo $n$ và các số nguyên tố $p, q$.
- Tiêu chuẩn cho các số nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ (với $p_1 | (p-1), p_2 | (p+1), q_1 | (q-1), q_2 | (q+1)$) nhằm chống thuật toán phân tích số $p-1$ của Pollard và $p+1$ của Williams.
- Tiêu chuẩn độ lớn cấp phần tử sinh $t = \text{Ordn}(g)$ tương thích với kích thước đầu ra của hàm băm SHA-512 ($H = 512$ bit).
- Phân định hai môi trường ứng dụng thực tế:
- Môi trường Kinh tế - Xã hội (KT-XH): Đối tượng tấn công là tội phạm mạng thông thường hoặc các tổ chức thương mại; áp dụng bộ tham số tiêu chuẩn tương ứng với mức an toàn 112-bit đến 128-bit.
- Lĩnh vực An ninh - Quốc phòng (AN-QP): Đối tượng tấn công là các cơ quan tình báo nước ngoài hoặc các tổ chức có tiềm lực siêu máy tính; áp dụng bộ tham số tăng cường với ngưỡng an toàn cao hơn và thời gian sống dài hơn.
- Xây dựng chương trình sinh tham số tự động và thực nghiệm: Thiết kế thuật toán và lập trình phần mềm tự động sinh các bộ tham số $(n, p, q, p_1, p_2, q_1, q_2, g, t, e, d)$. Mọi bộ tham số sinh ra đều được kiểm tra tự động qua từng tiêu chuẩn trong hệ tiêu chuẩn đề xuất và đạt tỷ lệ thỏa mãn 100%. Đo đạc thống kê thời gian sinh tham số trên máy tính thực nghiệm, xác nhận tính thực tiễn của thuật toán.
Kết quả và những đóng góp mới
Đóng góp mới về mặt lý luận khoa học
- Phát triển thành công 4 lược đồ chữ ký số mới trên vành hữu hạn $\mathbb{Z}_n$: Các lược đồ có độ an toàn dựa trên bài toán logarit rời rạc trên vành hợp số, giải quyết triệt để nhược điểm cố hữu của các hệ thống trên trường $\mathbb{Z}_p$ nhờ cơ chế che giấu cấp phần tử sinh $g$, đồng thời tối ưu hóa tốc độ sinh chữ ký nhờ áp dụng định lý số dư Trung Hoa (CRT).
- Xây dựng cơ sở toán học và công thức tính ngưỡng an toàn cho bài toán $\text{DLP}_n$: Mở rộng mô hình Lenstra - Verheul để định lượng chính xác độ an toàn của hệ chữ ký số trên vành theo thời gian sống và lớp đối tượng tấn công.
- Thiết lập hệ tiêu chuẩn tham số an toàn toàn diện: Xây dựng bộ điều kiện ràng buộc toán học chặt chẽ cho modulo $n$, các số nguyên tố thành phần $p, q$, các ước nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ và cấp phần tử sinh $t$, khắc phục tình trạng chọn tham số tùy tiện hoặc thiếu căn cứ trong các công trình trước.
Đóng góp mới về mặt thực tiễn
- Cài đặt và thực nghiệm thành công bộ công cụ phần mềm: Đã lập trình hoàn chỉnh phần mềm chạy trên hệ điều hành Windows với ngôn ngữ bậc cao; thử nghiệm thành công quy trình sinh tham số an toàn tự động, sinh chữ ký và kiểm tra chữ ký với kích thước tham số thực tế.
- Tích hợp hàm băm an toàn cao SHA-512: Thiết kế hệ tham số hỗ trợ đầy đủ độ dài đầu ra của SHA-512, nâng cao khả năng kháng va chạm và tính toàn vẹn cho thông điệp ký.
- Đề xuất hai môi trường ứng dụng chuyên biệt: Phân định rõ tiêu chuẩn tham số cho môi trường Kinh tế - Xã hội (KT-XH) và lĩnh vực Quốc phòng - An ninh (AN-QP), tạo cơ sở khoa học thực chứng để các tổ chức, doanh nghiệp và cơ quan nhà nước tham chiếu khi triển khai ứng dụng.
Kiến nghị và giải pháp đề xuất
- Đề xuất áp dụng 4 lược đồ chữ ký số trên vành $\mathbb{Z}_n$ vào các hệ thống xác thực điện tử, Chính phủ điện tử và Thương mại điện tử thay thế hoặc bổ trợ cho các hệ thống RSA và DSA truyền thống.
- Khuyến nghị các đơn vị chuyên trách về an toàn thông tin áp dụng hệ tiêu chuẩn tham số đã được định lượng cho hai môi trường KT-XH và AN-QP nhằm đảm bảo an toàn dài hạn trước sự gia tăng năng lực tính toán của các hệ thống máy tính.
Hạn chế và hướng nghiên cứu tiếp
Dựa trên các nội dung được đề cập trong văn bản luận án, các hạn chế và hướng nghiên cứu tiếp theo bao gồm:
- Về thuật toán sinh tham số: Cần tiếp tục nghiên cứu tối ưu hóa tốc độ của các thuật toán kiểm tra số nguyên tố lớn và thuật toán tìm phần tử sinh thỏa mãn đồng thời toàn bộ hệ điều kiện ràng buộc của các số nguyên tố bổ trợ để rút ngắn hơn nữa thời gian sinh tham số cho các khóa có kích thước rất lớn ($L(n) \ge 3072$ bit).
- Về môi trường thực nghiệm và nền tảng triển khai: Mở rộng cài đặt thử nghiệm các lược đồ đề xuất trên nhiều nền tảng phần cứng chuyên dụng, các thiết bị nhúng và các hệ điều hành khác nhau ngoài môi trường Windows.
- Về an toàn trước máy tính lượng tử: Tiếp tục theo dõi, đánh giá mức độ an toàn của bài toán $\text{DLP}_n$ và bài toán phân tích số khi công nghệ máy tính lượng tử phát triển mạnh trong tương lai, từ đó nghiên cứu các cơ chế chuyển tiếp hoặc kết hợp với mật mã hậu lượng tử.
Giá trị tham khảo
Luận án là tài liệu chuyên khảo có giá trị học thuật và ứng dụng thực tiễn cao:
- Đối với nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Mật mã học / An toàn thông tin: Luận án cung cấp bức tranh tổng quan sâu sắc về kỹ thuật thiết kế chữ ký số trên cấu trúc đại số vành $\mathbb{Z}_n$, phương pháp phân tích độ phức tạp thuật toán (Karatsuba, Barrett, CRT) và phương pháp chứng minh an toàn mật mã. Chương 1 và Chương 2 là tài liệu tham khảo giá trị về cơ sở lý thuyết số tính toán.
- Đối với các kỹ sư an toàn thông tin và nhà phát triển hệ thống: Cung cấp thuật toán chi tiết, quy trình sinh tham số an toàn tự động và mã nguồn thử nghiệm có thể trực tiếp tham khảo để cài đặt các mô-đun ký số, xác thực dữ liệu trong các phần mềm ứng dụng thực tế.
- Đối với các nhà quản lý và cơ quan hoạch định chính sách an toàn thông tin (đặc biệt trong khối KT-XH và AN-QP): Cung cấp cơ sở khoa học định lượng (Chương 3) để xây dựng các bộ tiêu chuẩn kỹ thuật quốc gia, quy chuẩn đánh giá độ an toàn khóa mật mã cho các hệ thống thông tin trọng yếu.
Câu hỏi thường gặp
1. Vì sao lược đồ chữ ký số trên vành $\mathbb{Z}_n$ lại có tốc độ sinh chữ ký nhanh hơn các lược đồ cùng loại trên trường $\mathbb{Z}_p$?
Trả lời: Khi modulo $n = p \cdot q$ có kích thước bằng số nguyên tố $p_{\text{field}}$ trên trường ($L(n) = L(p_{\text{field}})$), nhờ áp dụng định lý số dư Trung Hoa (CRT), các phép toán lũy thừa và tính phần tử nghịch đảo mô-đun trong quá trình sinh chữ ký trên vành $\mathbb{Z}_n$ được phân rã và thực hiện độc lập trên hai trường nhỏ hơn là $\mathbb{Z}_p$ và $\mathbb{Z}_q$ (với $L(p) = L(q) = L(n)/2$). Do chi phí phép nhân tăng theo hàm bậc hai của kích thước bit, tổng chi phí tính toán trên $\mathbb{Z}_n$ chỉ bằng khoảng $1/3$ chi phí thực hiện trực tiếp trên trường $\mathbb{Z}_p$.
2. Lược đồ chữ ký số trên trường $\mathbb{Z}_p$ gặp phải những nguy cơ an toàn cụ thể nào từ việc không thể che giấu cấp phần tử sinh?
Trả lời: Do cấp của phần tử sinh $g$ trên trường $\mathbb{Z}_p$ là công khai, lược đồ phải đối mặt với hai nguy cơ lớn: (1) Bị lộ khóa bí mật $x$ ngay lập tức nếu kẻ tấn công thu thập được thông tin khi xảy ra hiện tượng lộ khóa phiên hoặc dùng trùng khóa phiên $k$ giữa các phiên ký khác nhau; (2) Nguy cơ bị tấn công giải mã bằng các thuật toán logarit rời rạc chuyên dụng khai thác cấp của nhóm như Pohlig-Hellman, Pollard rho và Index Calculus nếu các tham số không được chọn lựa cực kỳ nghiêm ngặt.
3. Luận án đã khắc phục các nhược điểm trong nghiên cứu của Hồ Ngọc Duy và Tripathi như thế nào?
Trả lời: Luận án đã chứng minh chặt chẽ cơ sở toán học về sự tồn tại và cách xác định phần tử sinh $g$ cùng cấp $t = \text{Ordn}(g)$ thay vì chỉ đưa ra giả định; loại bỏ việc áp đặt cố định cấp 256-bit để cho phép tích hợp linh hoạt hàm băm SHA-512; đồng thời không sử dụng các số nguyên tố siêu mạnh (vốn có mật độ cực kỳ thưa, khó sinh tham số riêng cho từng người dùng) mà xây dựng hệ điều kiện dựa trên các số nguyên tố an toàn bổ trợ sinh từ định lý Pocklington.
4. Hệ tiêu chuẩn tham số an toàn do luận án đề xuất được phân chia cho các môi trường ứng dụng nào?
Trả lời: Luận án đề xuất hệ tiêu chuẩn phân định cho hai môi trường cụ thể: Môi trường Kinh tế - Xã hội (KT-XH) phục vụ các dịch vụ công, thương mại điện tử với mức ngưỡng an toàn thông dụng (112-bit đến 128-bit); và Lĩnh vực An ninh - Quốc phòng (AN-QP) phục vụ các hệ thống bảo mật đặc biệt, đối phó với các đối tượng tấn công có tiềm lực tài chính lớn và siêu máy tính, đòi hỏi ngưỡng an toàn cao hơn và thời gian sống của dữ liệu dài hơn.
5. Luận án đã sử dụng hàm băm nào trong các lược đồ đề xuất và điều kiện độ dài ra sao?
Trả lời: Luận án sử dụng hàm băm mật mã chuẩn SHA-512 với độ dài đầu ra $H = 512$ bit. Độ dài đầu ra này thỏa mãn điều kiện an toàn tổng quát $H \ge 2 \cdot \text{Security_strength}$, tương thích với các ngưỡng an toàn cao trong hệ tiêu chuẩn tham số đề xuất.
Kết luận
Luận án tiến sĩ của tác giả Lê Văn Tuấn đã giải quyết trọn vẹn vấn đề phát triển các lược đồ chữ ký số mới trên vành hữu hạn $\mathbb{Z}_n$ dựa trên bài toán logarit rời rạc theo modul hợp số. Bằng việc kết hợp chặt chẽ giữa lý thuyết số, giải thuật mật mã và thực nghiệm phần mềm, tác giả đã chứng minh tính ưu việt của cấu trúc vành trong việc che giấu cấp phần tử sinh và tối ưu hóa hiệu năng tính toán thông qua định lý CRT. Đồng thời, công trình đã đóng góp một hệ tiêu chuẩn tham số an toàn định lượng và công cụ sinh tham số tự động có khả năng ứng dụng thực chất trong hai môi trường Kinh tế - Xã hội và An ninh - Quốc phòng.
