Tổng quan về luận án

Sự phát triển mạnh mẽ của Chính phủ điện tử, thương mại điện tử và cuộc Cách mạng công nghiệp lần thứ tư đặt ra yêu cầu cấp thiết về việc bảo đảm an ninh, chủ quyền dữ liệu và an toàn thông tin quốc gia. Theo thống kê của Liên hợp Quốc được trích dẫn trong công trình, "năm 2020 Việt Nam xếp hạng 86/193" về chỉ số phát triển Chính phủ điện tử (EGDI), đòi hỏi hạ tầng công nghệ thông tin và cơ chế bảo mật giao dịch số phải được hiện đại hóa sâu rộng. Phần lớn các hệ thống xác thực hiện đại đều vận hành dựa trên chữ ký số khóa công khai (Public Key Cryptography - PKC). Tuy nhiên, phần lớn các chuẩn quốc tế như DSS (FIPS PUB 186-4) hay GOST (GOST R 34.10-2012) chỉ dựa trên tính khó của một bài toán số học đơn lẻ, đối mặt với nguy cơ bị thám mã trước sự gia tăng vượt bậc của năng lực siêu máy tính và thuật toán lượng tử.

Luận án tiến sĩ toán học với đề tài "Đề xuất xây dựng lược đồ chữ ký số dựa trên bài toán khai căn và logarit rời rạc", chuyên ngành Cơ sở toán học cho tin học (Mã số: 9 46 01 10) do Nghiên cứu sinh Lưu Xuân Văn thực hiện dưới sự hướng dẫn khoa học của TS. Lưu Hồng Dũng và TS. Đoàn Văn Hòa tại Viện Khoa học và Công nghệ quân sự (Hà Nội, 2023), đã tập trung giải quyết khoảng trống nghiên cứu (research gap) cốt lõi: Khắc phục triệt để điểm yếu của các lược đồ chữ ký số kết hợp đa bài toán khó theo phương thức tuần tự truyền thống vốn dễ bị bẻ gãy khi từng thành phần bài toán bị phân rã độc lập.

Mục tiêu nghiên cứu và hệ thống giả thuyết được xác định rõ ràng:

  1. Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập một cấu trúc toán học kết hợp đồng thời (simultaneous combination) giữa bài toán khai căn (Root Problem - RP) và bài toán logarit rời rạc (Discrete Logarithm Problem - DLP) trên trường hữu hạn $\mathbb{Z}_p$ nhằm triệt tiêu các kỹ thuật phân tích thấu xạ khóa?
  2. Câu hỏi nghiên cứu 2 (RQ2): Phương thức xây dựng một lớp các lược đồ chữ ký số tổng quát (Generalized Signature Schemes) và lược đồ chữ ký số mù (Blind Signature Schemes) từ nền tảng toán học này có đạt được tính đúng đắn và kháng lại tấn công văn bản được lựa chọn thích ứng (Adaptive Chosen Message Attacks - ACMA) hay không?
  3. Giả thuyết 1 (H1): Bài toán giải hệ phương trình phi tuyến trên $\mathbb{Z}_p$ và bài toán khai căn kết hợp logarit rời rạc có độ phức tạp tính toán phi đa thức, không thể phân tách thành hai bài toán con độc lập.
  4. Giả thuyết 2 (H2): Lược đồ chữ ký số xây dựng trên bài toán kết hợp mới cho phép giảm kích thước khóa mật nhưng vẫn bảo toàn mức an toàn bảo mật tương đương hoặc vượt trội so với các chuẩn chữ ký số đơn bài toán (DSS, GOST).

Phạm vi nghiên cứu bao trùm lý thuyết số trên trường hữu hạn $\mathbb{Z}_p$, cấu trúc nhóm cyclic nhân $\mathbb{G}_p^*$, nhóm con cấp nguyên tố $q$, cùng các tham số an toàn từ 80-bit, 128-bit đến 256-bit (tương ứng với chiều dài modulo $p$ từ 512, 1024 đến 2048, 3072 bits). Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở việc kiến tạo một khung lý thuyết mật mã tự chủ, góp phần đảm bảo an ninh thông tin trong lĩnh vực quốc phòng an ninh và các giao dịch kinh tế số.

Literature Review và Positioning

Nghiên cứu mật mã học khóa công khai khởi nguồn từ công trình mang tính cách mạng của Whitfield Diffie và Martin Hellman (1976), đặt nền móng cho các hệ mật kinh điển dựa trên tính khó của các bài toán số học đơn lẻ: Hệ mật RSA của Ronald Rivest, Adi Shamir và Leonard Adleman (1978) dựa trên bài toán phân tích số nguyên (Integer Factorization Problem - IFP); Hệ mật Rabin (1979) dựa trên bài toán khai căn bậc hai modulo hợp số; Hệ mật ElGamal của Taher ElGamal (1985) và lược đồ Schnorr của Claus-Peter Schnorr (1991) dựa trên bài toán logarit rời rạc (DLP). Chuẩn chữ ký số Hoa Kỳ DSS (NIST FIPS PUB 186-4) và chuẩn chữ ký số Liên bang Nga GOST (GOST P34.10-94, GOST P34.10-2001) lần lượt khai thác các cấu trúc nhóm con và trường số hữu hạn với các cặp tham số độ dài $(L, N)$ như $(1024, 160)$ và $(2048, 256)$ bits.

Tuy nhiên, sự tiến bộ của các thuật toán thám mã như Thuật toán Sàng trường số tổng quát (General Number Field Sieve - GNFS) với độ phức tạp: $$L_n\left[1/3, \sqrt[3]{64/9}\right] = \exp\left(\left(\sqrt[3]{64/9}+o(1)\right)(\ln n)^{1/3}(\ln\ln n)^{2/3}\right)$$ và Thuật toán tính chỉ số (Index Calculus - IC) giải DLP với độ phức tạp $L_n[1/2, \sqrt{2}+o(1)]$ đã đặt ra thách thức lớn. Nhằm gia tăng độ an toàn, hướng nghiên cứu kết hợp nhiều bài toán khó được khởi xướng từ công trình phân phối khóa của Kevin S. McCurley (1988) và sơ đồ nhận dạng của Ernest F. Brickell & Kevin S. McCurley (1992). Tiếp đó, C. S. Laih & W. C. Kuo (1997) cùng Z. Shao (1998) đề xuất các lược đồ chữ ký số kết hợp IFP và DLP.

Thế nhưng, các cuộc tranh luận học thuật sâu sắc đã nổ ra khi giới nghiên cứu quốc tế liên tục phát hiện các lỗ hổng chí mạng trong các mô hình lai ghép này:

  • Tranh luận 1 (Tính độc lập của các bài toán con): Y. M. Li và D. Xiao (1998) cùng N. Y. Lee (1999) chứng minh lược đồ của Shao (1998) không an toàn; kẻ tấn công có thể khôi phục khóa bí mật nếu IFP bị bẻ gãy. Dù W. H. He (2001) đề xuất phương án khắc phục, H. M. Sun (2001) và Y. C. Ding & C. S. Laih (2001) lập tức phản biện rằng mô hình của He thực chất chỉ thoái hóa về tính khó của một bài toán DLP duy nhất.
  • Tranh luận 2 (Lỗ hổng cấu trúc biểu thức xác minh): W. G. Tzeng cùng cộng sự (2004) công bố lược đồ mới nhằm kháng lại các dạng tấn công giả mạo, nhưng Shao (2004) chứng minh lược đồ của Tzeng vẫn bị phá vỡ bởi thuật toán xác suất Pollard-Schnorr (1981) nếu DLP có lời giải. Tương tự, cấu trúc lũy thừa phần dư bậc hai của F. Wei (2007) đã bị X. Zheng cùng cộng sự (2008) và I. C. Lin cùng cộng sự (2011) bẻ gãy hoàn toàn mà không cần biết khóa bí mật.

Bản chất của các thất bại trên nằm ở chỗ: các tác giả quốc tế tiếp cận bài toán theo cấu trúc tuần tự (sequential composition), biến chữ ký thành hai thành phần độc lập khiến kẻ thám mã chỉ cần triệt tiêu bài toán yếu hơn. Luận án của NCS. Lưu Xuân Văn định vị một bước chuyển dịch đột phá (breakthrough positioning): Thay vì kết hợp tuần tự IFP và DLP, tác giả xây dựng mối quan hệ toán học đồng thời giữa bài toán khai căn (Root Problem - RP) trên trường $\mathbb{Z}_p$ dạng đặc biệt $p = N k^s + 1$ với bài toán logarit rời rạc (DLP), tạo nên một hệ ràng buộc phi tuyến bất khả phân rã.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án đã mở rộng nền tảng lý thuyết số học mật mã thông qua ba đóng góp then chốt:

  1. Mở rộng lý thuyết phần dư bậc cao trên trường hữu hạn: Luận án thiết lập và chứng minh cấu trúc nghiệm của phương trình đồng dư $x^k \equiv 1 \pmod{p^{k'}}$ với $p \in \mathbb{P} \setminus {2}$ và $\gcd(k, \varphi(p^{k'})) = d$, chứng minh sự tồn tại chính xác của $d$ nghiệm dưới dạng $x_t = g^{\frac{t\varphi(p^{k'})}{d}}$ với $t = 1, \dots, d$.
  2. Mô hình toán học bài toán kết hợp Root-DLP: Thiết lập cơ chế liên kết hàm mũ và căn số trong cấu trúc nhóm nhân $\mathbb{G}_p^*$, trong đó phương trình khóa công khai đòi hỏi đối phương phải giải đồng thời biến mũ (DLP) ẩn dưới căn số bậc $k$ (RP), triệt tiêu hoàn toàn khả năng sử dụng các thuật toán giải đơn lẻ như Baby-step Giant-step $\mathcal{O}(\sqrt{n})$ hay Pohlig-Hellman.
  3. Chứng minh tính an toàn trong mô hình Oracle ngẫu nhiên (Random Oracle Model - ROM): Xác lập mệnh đề bảo mật khẳng định rằng lược đồ đạt tính không thể giả mạo không thể phủ nhận dưới tấn công văn bản được lựa chọn thích ứng (EUF-ACMA).
graph TD
    A["Bài toán Khai căn (RP) trên Zp"] --> C["Hệ Ràng Buộc Phi Tuyến Đồng Thời"]
    B["Bài toán Logarit Rời rạc (DLP)"] --> C
    C --> D["Lược đồ Chữ ký Số Tổng quát (DVH01, DVH02)"]
    C --> E["Lược đồ Chữ ký Số Mù Kháng Lộ Nguồn (Blind Signature)"]
    D --> F["Kháng Tấn công ACMA & Khôi phục Khóa"]
    E --> G["Bảo toàn Tính Ẩn danh & Tính Không liên kết (Unlinkability)"]

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp sâu ba lý thuyết nền tảng: Lý thuyết nhóm cyclic hữu hạn, Định lý thặng dư Trung Hoa (Chinese Remainder Theorem - CRT), và Lý thuyết hàm băm mật mã an toàn một chiều (Secure Hash Standard FIPS 180-4).

Cách tiếp cận phân tích mới được triển khai bằng việc cấu trúc số nguyên tố $p$ có dạng đặc biệt: $$p = N \cdot k^s + 1$$ trong đó $k, s, N$ là các số nguyên dương được kiểm soát chặt chẽ. Khung phân tích áp dụng biến đổi phi tuyến hai thành phần $(r, s)$, liên kết chặt chẽ thông điệp $M$ qua hàm băm $H(M)$ và các khóa bí mật ngẫu nhiên. Điều kiện biên (boundary conditions) được xác định rõ: thuật toán duy trì độ an toàn tối đa khi bậc khai căn $k \ge 2$, số nguyên tố $p$ có độ dài tối thiểu 1024 bits, và cấp của phần tử sinh $q | (p-1)$ đạt kích thước từ 160 đến 256 bits nhằm loại bỏ các tấn công phân tích thặng dư nhỏ.

Phương pháp nghiên cứu tiên tiến

Thiết kế nghiên cứu

Luận án vận hành theo quan điểm nhận thức luận thực chứng diễn dịch (deductive positivism) kết hợp chặt chẽ với phương pháp hình thức hóa toán học thuần túy (rigorous mathematical formalization). Thiết kế nghiên cứu đa tầng (multi-level research design) bao gồm:

  • Tầng 1 (Toán học thuần túy): Thiết lập các định lý, hệ quả và bổ đề về cấu trúc nghiệm của phương trình đồng dư phi tuyến bậc cao trên vành $\mathbb{Z}_n$ và trường hữu hạn $\mathbb{Z}_p$.
  • Tầng 2 (Thiết kế thuật toán mật mã): Xây dựng bộ ba thuật toán chuẩn: Thuật toán sinh tham số và khóa ($\text{KeyGen}$), Thuật toán sinh chữ ký ($\text{Sign}$), và Thuật toán kiểm tra chữ ký ($\text{Verify}$).
  • Tầng 3 (Mô phỏng và kiểm chứng thực nghiệm): Cài đặt phần mềm thử nghiệm, đo đạc độ phức tạp tính toán và thời gian thực thi thuật toán.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ các chuẩn mực mật mã học quốc tế với các bước độc lập:

  1. Thiết lập tham số an toàn: Lựa chọn các số nguyên tố lớn $p, q$ thông qua các phép kiểm tra tính nguyên tố tiền định và xác suất (Miller-Rabin với độ tin cậy vượt $1 - 2^{-100}$).
  2. Giao thức thu thập và phân tích dữ liệu thử nghiệm: Tạo lập mẫu thử gồm các bộ dữ liệu ngẫu nhiên với kích thước khóa khác nhau (512, 1024, 2048 bits) để đánh giá chi phí tính toán của các phép toán nhân modulo, lũy thừa modulo, và khai căn modulo.
  3. Tam giác đạc phương pháp luận (Methodological Triangulation): Kết hợp giữa phép chứng minh quy nạp giải tích toán học, phân tích độ an toàn thám mã lý thuyết (Cryptanalysis against existential forgery), và kiểm thử thuật toán thực tế trên máy tính chuyên dụng.
  4. Độ tin cậy và tính hợp lệ: Đảm bảo tính đúng đắn tuyệt đối ($\text{Completeness} = 100%$), nghĩa là mọi chữ ký hợp lệ được sinh ra bởi khóa bí mật luôn thỏa mãn phương trình xác minh kiểm tra.

Data và phân tích

Dữ liệu nghiên cứu bao gồm các ma trận tính toán số học trên trường số hữu hạn. Bảng tổng hợp cấu trúc các chuẩn hàm băm và tham số mật mã được sử dụng làm cơ sở đối chuẩn (benchmarking):

Đặc tính các hàm băm trong chuẩn băm an toàn FIPS PUB 180-4:

  • SHA-1: Kích thước thông điệp $< 2^{64}$ bit, Kích thước khối 512 bit, Kích thước từ 32 bit, Bản băm thu gọn 160 bit, Mức an toàn 80 bit.
  • SHA-224: Kích thước thông điệp $< 2^{64}$ bit, Kích thước khối 512 bit, Kích thước từ 32 bit, Bản băm thu gọn 224 bit, Mức an toàn 112 bit.
  • SHA-256: Kích thước thông điệp $< 2^{64}$ bit, Kích thước khối 512 bit, Kích thước từ 32 bit, Bản băm thu gọn 256 bit, Mức an toàn 128 bit.
  • SHA-384: Kích thước thông điệp $< 2^{128}$ bit, Kích thước khối 1024 bit, Kích thước từ 64 bit, Bản băm thu gọn 384 bit, Mức an toàn 192 bit.
  • SHA-512: Kích thước thông điệp $< 2^{128}$ bit, Kích thước khối 1024 bit, Kích thước từ 64 bit, Bản băm thu gọn 512 bit, Mức an toàn 256 bit.

So sánh chuẩn GOST P34.10-2001 và DSS FIPS 186:

  • DSS: Hàm băm 160 bits; Tham số $p = 512-1024$ bits, $q = 160$ bits; Ưu điểm linh động; Nhược điểm tiềm ẩn rủi ro tấn công khi độ dài khóa nhỏ.
  • GOST P34.10-2001: Hàm băm 256 bits; Tham số $2^{509} < p < 2^{512}$, $2^{1020} < p < 2^{1024}$, $2^{254} < q < 2^{256}$; Ưu điểm an toàn cao; Nhược điểm chi phí lưu trữ và thời gian tính toán lớn hơn.

Luận án triển khai các thuật toán kiểm tra tính đúng đắn trên ngôn ngữ lập trình chuyên dụng (C/C++ kết hợp thư viện đa độ dài số học lớn GMP / OpenSSL) để thực hiện các kiểm tra độ bền vững (robustness checks), phân tích độ phức tạp thời gian thực thi (time execution complexity) của thuật toán ký và xác minh qua hàng triệu vòng lặp kiểm thử độc lập.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án công bố năm phát hiện đột phá có ý nghĩa nền tảng:

  1. Thiết lập thành công Lược đồ chữ ký số trên hệ phương trình phi tuyến (Chương 2): Chứng minh rằng việc giải hệ phương trình phi tuyến đồng dư trên $\mathbb{Z}_p$ là một bài toán khó NP-hard trong trường hợp tổng quát, không thể giải quyết trong thời gian đa thức.
  2. Phát triển hai Lược đồ chữ ký số cụ thể DVH01 và DVH02 từ Lược đồ tổng quát (Chương 3): Dựa trên modulo $p = N k^s + 1$, thuật toán sinh khóa thiết lập khóa công khai $y \equiv g^x \pmod p$ kết hợp với căn bậc $k$. Thuật toán ký sinh ra cặp chữ ký $(r, s)$ ràng buộc chặt chẽ với hàm băm $H(M)$.
  3. Khắc phục điểm yếu lộ nguồn gốc trong các chuẩn chữ ký mù quốc tế (Chương 4): Luận án chứng minh các lược đồ chữ ký số mù cải tiến từ DSA, Nyberg-Rueppel và Moldovyan đều tồn tại lỗ hổng toán học cho phép kẻ tấn công (hoặc chính người ký) thiết lập thuật toán xác định danh tính và nguồn gốc bản tin ký thông qua quan hệ tương quan tham số.
  4. Thiết kế Lược đồ chữ ký số mù mới dựa trên Root-DLP: Đảm bảo tuyệt đối hai thuộc tính mật mã then chốt: Tính mù (Blindness) – người ký hoàn toàn không biết nội dung bản tin gốc khi thực hiện ký; và Tính không thể truy vết (Unlinkability) – khi chữ ký mù được công bố, không một thực thể nào có thể liên kết văn bản đã ký với phiên ký ban đầu.
  5. Tối ưu hóa chi phí tính toán thực thi: Kết quả đo lường thực nghiệm cho thấy chi phí thuật toán tạo chữ ký và kiểm tra chữ ký của lược đồ đề xuất có hiệu năng xấp xỉ các lược đồ đơn bài toán nhưng độ an toàn trước các cuộc tấn công giả mạo tăng lên bậc hàm mũ.

Implications đa chiều

  • Về mặt lý thuyết mật mã: Mở ra trường phái thiết kế các nguyên ngữ mật mã (cryptographic primitives) lai ghép đồng thời, thay thế dứt điểm trường phái kết hợp tuần tự vốn đã lỗi thời và dễ tổn thương.
  • Về đổi mới phương pháp luận: Cung cấp quy trình kiểm chứng toán học chặt chẽ để đánh giá lỗ hổng lộ nguồn tin trong các giao thức chữ ký mù, có thể áp dụng trực tiếp cho các hệ thống mật mã nâng cao như chữ ký nhóm (Group Signatures), chữ ký bội (Multi-Signatures), và chữ ký ngưỡng (Threshold Signatures $(t, n)$).
  • Về ứng dụng thực tiễn: Cung cấp giải pháp phần mềm độc lập tự chủ để tích hợp trực tiếp vào hạ tầng khóa công khai (PKI) phục vụ Chính phủ số, các cổng dịch vụ công trực tuyến, và các hệ thống thương mại điện tử ngân hàng.
  • Về chính sách an ninh quốc gia: Đóng góp cơ sở khoa học để các cơ quan chuyên trách như Ban Cơ yếu Chính phủ, Bộ Quốc phòng và Bộ Công an xây dựng chuẩn chữ ký số quốc gia riêng biệt của Việt Nam, thoát khỏi sự phụ thuộc vào các chuẩn thương mại ngoại nhập có thể tiềm ẩn cửa sau (backdoors).

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn nghiên cứu mang tính khách quan:

  1. Giới hạn cấu trúc modulo: Việc sinh số nguyên tố an toàn $p$ có cấu trúc đặc biệt $p = N k^s + 1$ đòi hỏi chi phí thuật toán khởi tạo tham số hệ thống ban đầu cao hơn so với việc sinh số nguyên tố ngẫu nhiên thông thường.
  2. Ràng buộc phần cứng hạn chế: Các lược đồ đề xuất được kiểm thử tối ưu trên môi trường máy chủ và máy tính cá nhân tiêu chuẩn; hiệu năng trên các thiết bị siêu nhẹ, vi điều khiển IoT (Internet of Things) và thẻ thông minh (Smart Card) bị hạn chế dung lượng RAM vẫn cần tiếp tục được tối ưu hóa sâu hơn.
  3. Giới hạn kháng lượng tử dài hạn: Dù việc kết hợp RP và DLP nâng cao độ an toàn đáng kể trước các thuật toán máy tính cổ điển, nhưng cả hai bài toán này về mặt lý thuyết thuần túy vẫn chịu sự đe dọa của thuật toán lượng tử Shor nếu máy tính lượng tử quy mô lớn xuất hiện trong tương lai xa.

Chương trình nghiên cứu tiếp nối (Future Research Agenda):

  • Mở rộng việc kết hợp bài toán khai căn và logarit rời rạc trên cấu trúc nhóm các điểm của Đường cong Elliptic (Elliptic Curve Cryptography - ECC / ECDSA), nhằm rút ngắn chiều dài khóa xuống 256-bit mà vẫn duy trì mức an toàn tương đương khóa RSA 3072-bit.
  • Phát triển các biến thể chữ ký số tập thể, chữ ký mù bội (Blind Multi-Signature) và chữ ký mù nhóm (Blind Group Signature) phục vụ hệ thống bầu cử điện tử (E-voting) và tiền mã hóa ngân hàng trung ương (CBDC).
  • Khảo sát khả năng chuyển dịch mô hình kết hợp sang mật mã hậu lượng tử (Post-Quantum Cryptography), tích hợp với các bài toán trên lưới (Lattice-based cryptography như LWE, SIS) và mã sửa sai (Code-based cryptography như McEliece).

Tác động và ảnh hưởng

Công trình của NCS. Lưu Xuân Văn tạo ra những tác động học thuật và thực tiễn sâu rộng:

  • Ảnh hưởng học thuật: Đóng góp một hướng tiếp cận toán học mới cho cộng đồng mật mã học trong và ngoài nước; các bài báo công bố từ luận án đã khẳng định tính đúng đắn và tính mới trên các tạp chí và kỷ yếu hội thảo chuyên ngành uy tín.
  • Chuyển đổi công nghiệp và công nghệ: Cung cấp thuật toán lõi có khả năng tích hợp trực tiếp vào các thiết bị bảo mật phần cứng (Hardware Security Module - HSM), USB Token, và các cổng thanh toán số của hệ thống ngân hàng thương mại, đảm bảo tính toàn vẹn và chống chối bỏ tuyệt đối.
  • Tác động chính sách: Đóng góp trực tiếp vào mục tiêu hiện đại hóa cơ sở hạ tầng CNTT quốc gia theo Đề án phát triển Chính phủ điện tử hướng tới Chính phủ số giai đoạn 2021-2025, định hướng đến năm 2030 của Chính phủ Việt Nam.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và học viên cao học: Tiếp cận tài liệu tham khảo mẫu mực về phương pháp kết hợp các bài toán khó trong lý thuyết số để phát triển các cấu trúc mật mã mới.
  • Nhà khoa học và chuyên gia mật mã: Khai thác khung lý thuyết mở rộng về bài toán khai căn modulo $p = N k^s + 1$ và kỹ thuật phá vỡ các sơ đồ chữ ký mù lộ nguồn.
  • Kỹ sư R&D trong doanh nghiệp công nghệ thông tin: Sử dụng trực tiếp các thuật toán $\text{KeyGen}$, $\text{Sign}$, $\text{Verify}$ của lược đồ DVH01, DVH02 để xây dựng các module xác thực an toàn.
  • Cơ quan hoạch định chính sách an ninh mạng: Có thêm căn cứ khoa học vững chắc để thẩm định, ban hành các tiêu chuẩn kỹ thuật quốc gia về mật mã và chữ ký số dùng trong cơ quan nhà nước.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? Đóng góp lý thuyết độc đáo nhất là việc thiết lập bài toán khó kết hợp đồng thời giữa bài toán khai căn (RP) và bài toán logarit rời rạc (DLP) trên trường $\mathbb{Z}_p$ với cấu trúc nguyên tố $p = N k^s + 1$. Khác với các mô hình tuần tự trước đây của Z. Shao (1998) hay F. Wei (2007), cấu trúc liên kết phi tuyến này buộc đối phương phải giải đồng thời cả hai bài toán khó cơ sở trong cùng một biểu thức đại số, triệt tiêu khả năng bẻ gãy từng phần.

2. Đổi mới phương pháp luận của luận án so với các nghiên cứu quốc tế tiền nhiệm? So với các nghiên cứu của W. G. Tzeng cùng cộng sự (2004) và I. C. Lin cùng cộng sự (2007, 2011), luận án đã đổi mới phương pháp luận khi chuyển từ việc giải quyết bài toán trên vành hợp số $\mathbb{Z}_n$ (phụ thuộc phân tích thừa số IFP) sang cấu trúc trường nguyên tố lớn $\mathbb{Z}_p$ có nhóm con cyclic được kiểm soát nghiêm ngặt. Điều này giúp loại bỏ hoàn toàn các dạng tấn công giả mạo dựa trên thuật toán xác suất Pollard-Schnorr và tấn công phân tích thặng dư bình phương.

3. Phát hiện thực nghiệm đáng ngạc nhiên nhất là gì? Phát hiện thực nghiệm nổi bật nhất tại Chương 4 là việc chỉ ra và chứng minh toán học chi tiết lỗ hổng làm lộ danh tính nguồn ký trong hàng loạt lược đồ chữ ký số mù danh tiếng quốc tế (gồm biến thể mù của DSA, Nyberg-Rueppel và Moldovyan). Kẻ tấn công có thể xây dựng thuật toán đa thức để khôi phục mối liên kết giữa bản tin gốc và bản tin mù, trực tiếp phá hủy tính không thể truy vết (unlinkability) của chữ ký mù.

4. Luận án có cung cấp đầy đủ giao thức tái lập (Replication Protocol) không? Có. Luận án mô tả chi tiết, tường minh từng bước toán học của tất cả các thuật toán: từ thuật toán sinh tham số, sinh khóa, thuật toán ký số, thuật toán kiểm tra chữ ký (Thuật toán 2.1 đến 4.15), kèm theo các ví dụ số học cụ thể với các giá trị tham số mẫu được tính toán chính xác ở phần phụ lục.

5. Lộ trình nghiên cứu 10 năm được phác thảo như thế nào? Lộ trình nghiên cứu 10 năm tập trung vào ba giai đoạn: (1) Chuẩn hóa và tối ưu hóa thư viện mã nguồn mở cho các lược đồ DVH01, DVH02; (2) Chuyển dịch toàn bộ cấu trúc bài toán khó Root-DLP lên hệ tọa độ đường cong Elliptic (ECC) và đường cong Hyperelliptic; (3) Nghiên cứu cơ chế tích hợp với hệ mật mã kháng lượng tử (Post-Quantum Cryptography) để bảo vệ hạ tầng dữ liệu quốc gia trước kỷ nguyên tính toán lượng tử.

Kết luận

  1. Luận án đã giải quyết trọn vẹn mục tiêu nghiên cứu: Đề xuất một dạng bài toán khó mới dựa trên sự kết hợp đồng thời giữa bài toán khai căn và bài toán logarit rời rạc trên trường số hữu hạn $\mathbb{Z}_p$.
  2. Xây dựng thành công hệ phương pháp luận toán học vững chắc, thiết lập lớp các lược đồ chữ ký số tổng quát cùng hai lược đồ cụ thể DVH01 và DVH02 đạt chuẩn an toàn cao trước tấn công văn bản lựa chọn thích ứng (ACMA).
  3. Phát hiện và chứng minh thành công các lỗ hổng lộ nguồn gốc bản tin trong các chuẩn chữ ký mù DSA cải tiến, Nyberg-Rueppel và Moldovyan; từ đó đề xuất thành công lược đồ chữ ký số mù mới bảo đảm tuyệt đối tính ẩn danh và tính không liên kết.
  4. Kiểm chứng thực nghiệm tính đúng đắn và hiệu năng thuật toán, chứng minh tính khả thi vượt trội trong việc triển khai trên các hệ thống tính toán thực tế.
  5. Mở ra ít nhất ba nhánh nghiên cứu học thuật mới: Chữ ký số trên đường cong Elliptic kết hợp khai căn, Chữ ký mù đa thành phần kháng lộ vết, và Giao thức xác thực bảo mật cho Chính phủ điện tử và Quốc phòng an ninh.
  6. Khẳng định giá trị kế thừa và tính tự chủ công nghệ mật mã, đóng góp trực tiếp vào công cuộc bảo vệ chủ quyền không gian mạng và phát triển nền kinh tế số an toàn, bền vững của Việt Nam.