Tổng quan về luận án

Sự phát triển mạnh mẽ của Chính phủ điện tử, kinh tế số và môi trường truyền thông không gian mạng đặt ra những thách thức sống còn đối với bài toán bảo mật dữ liệu và xác thực danh tính số. Theo đánh giá từ Liên Hợp Quốc, chỉ số phát triển Chính phủ điện tử (EGDI) năm 2020 của Việt Nam xếp hạng 86/193, đòi hỏi việc nâng cấp toàn diện hạ tầng mật mã quốc gia phục vụ an ninh số và quốc phòng. 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" thuộc chuyên ngành Cơ sở toán học cho tin học (Mã số: 9 46 01 10), bảo vệ tại Viện Khoa học và Công nghệ quân sự năm 2023, đã trực tiếp giải quyết vấn đề tự chủ thuật toán mật mã khóa công khai cấp cao.

Khoảng trống nghiên cứu (research gap) then chốt mà luận án nhận diện là tính dễ tổn thương của các lược đồ chữ ký số (CKS) đơn bài toán khi năng lực tính toán lượng tử và thuật toán thám mã tăng trưởng. Mặc dù các nghiên cứu kết hợp nhiều bài toán khó đã xuất hiện từ McCurley (1988), Brickell & McCurley (1992), Shao (1998) đến Tzeng et al. (2004) hay Wei (2007), hầu hết đều thiết kế theo phương pháp tuần tự (sequential combination). Trích dẫn trực tiếp từ luận án: "trong khá nhiều công trình khoa học đã công bố, việc kết hợp các bài toán khó này được sử dụng theo phương pháp tuần tự, tức là, mỗi bài toán khó được áp dụng vào một giai đoạn nhất định và khác nhau... Khi kẻ tấn công có thể giải quyết bài toán khó cơ bản này, lược đồ chữ ký số bị phá vỡ."

Luận án thiết lập 03 câu hỏi nghiên cứu và giả thuyết tương ứng:

  • RQ1: Làm thế nào để xây dựng một bài toán khó mới kết hợp đồng thời (simultaneous) giữa khai căn bậc $k$ (Root Problem - RP) và logarit rời rạc (DLP) trên trường hữu hạn $\mathbb{Z}_p$? (Hypothesis H1: Bài toán kết hợp đồng thời ngăn chặn kẻ tấn công giải riêng rẽ từng bài toán cơ sở trong thời gian đa thức).
  • RQ2: Cấu trúc tham số và quy trình sinh khóa, tạo chữ ký, xác minh chữ ký tổng quát nào cho phép tối ưu chi phí tính toán nhưng vẫn đạt mức an toàn 128-bit đến 256-bit theo chuẩn quốc tế? (Hypothesis H2: Lược đồ tổng quát hóa trên modulo $p = N \cdot k^s + 1$ tạo ra lớp chữ ký số 2 thành phần có tốc độ kiểm tra vượt trội).
  • RQ3: Ứng dụng bài toán khó mới vào lược đồ chữ ký số mù (Blind Signature) có thể khắc phục triệt để nguy cơ lộ nguồn ký của các chuẩn hiện hành hay không? (Hypothesis H3: Cơ chế làm mù tích hợp phép lũy thừa đồng dư và căn bậc $k$ vô hiệu hóa các thuật toán truy vết danh tính người dùng trong giao dịch điện tử).

Về phạm vi và quy mô, luận án tập trung trên cấu trúc trường hữu hạn $\mathbb{Z}_p$, số nguyên tố lớn $p$ có kích thước từ 512, 1024, 2048 đến 3072 bit, tương ứng với tham số hàm băm thuộc họ chuẩn FIPS PUB 180-4 (SHA-256, SHA-512) và chuẩn băm GOST R 34.11-94/2012. Ý nghĩa lý luận và ứng dụng thể hiện qua việc kiến tạo lớp lược đồ mật mã mới (điển hình là DVH01, DVH02) độc lập về công nghệ, gia tăng biên độ an toàn trước các cuộc tấn công văn bản được lựa chọn thích ứng (Adaptive Chosen Message Attacks - ACMA).

Literature Review và Positioning

Lịch sử phát triển của hệ mật mã khóa công khai (Public Key Cryptography - PKC) bắt đầu từ mốc lịch sử năm 1976 khi Diffie và Hellman đề xuất khái niệm trao đổi khóa công khai, mở đường cho các hệ mật kinh điển dựa trên đơn bài toán khó: hệ mật RSA của Rivest, Shamir và Adleman (1978) cùng hệ mật Rabin (1979) dựa trên bài toán phân tích số (Integer Factorization Problem - IFP); hệ mật ElGamal (1985) và Schnorr (1991) dựa trên bài toán logarit rời rạc (DLP).

Trong tiến trình phát triển các cấu trúc lai đa bài toán (hybrid problems), các tranh biện học thuật và xung đột lý thuyết diễn ra gay gắt:

  • Tranh biện giữa Shao (1998) và Li - Xiao (1998), Lee (1999): Shao đề xuất 2 lược đồ CKS dựa trên IFP và DLP, nhưng Li & Xiao cùng Lee đã chứng minh lược đồ bị phá vỡ hoàn toàn nếu một trong hai bài toán bị giải quyết, do khóa bí mật có thể khôi phục trực tiếp từ chữ ký đã biết.
  • Tranh biện giữa He (2001), Tzeng et al. (2004) và Shao (2004), Sun (2001): He nỗ lực khắc phục điểm yếu của Shao nhưng bị Sun chỉ ra rằng độ an toàn thực chất chỉ thoái hóa về DLP. Khi Tzeng et al. tuyên bố sửa đổi thành công thì Shao (2004) chứng minh lược đồ của Tzeng vẫn bị tấn công giả mạo thông qua thuật toán xác suất Pollard-Schnorr (1987).
  • Tranh biện giữa Wei (2007) và Zheng et al. (2008), Lin et al. (2008): Wei sử dụng lý thuyết phần dư bậc hai để thiết lập lược đồ lai, nhưng Zheng et al. và Lin et al. chứng minh cấu trúc biểu thức lũy thừa bậc hai trong phương trình kiểm tra cho phép kẻ tấn công giả mạo chữ ký cho thông điệp bất kỳ mà không cần biết khóa bí mật.
Tiêu chí phân tích Chuẩn DSS (FIPS PUB 186-4, Mỹ) Chuẩn GOST (P34.10-2001/2012, Nga) Lược đồ đề xuất của Luận án (2023)
Nền tảng toán học DLP trên $\mathbb{Z}_p^*$ hoặc ECDLP DLP trên nhóm điểm đường cong Elliptic Kết hợp đồng thời RP (Khai căn $p=Nk^s+1$) & DLP
Kích thước Module/Khóa $L=1024, 2048, 3072$ bit; $N=160, 256$ bit $p \in (2^{1020}, 2^{1024})$; $q \in (2^{254}, 2^{256})$ $p \ge 1024, 2048$ bit; $k \ge 2, s \ge 1$ tùy biến
Hàm băm tích hợp SHA-1, SHA-224, SHA-256, SHA-512 GOST R 34.11-94 / 34.11-2012 (256/512 bit) SHA-256, SHA-512, GOST R 34.11
Cơ chế chống bẻ gãy Phụ thuộc hoàn toàn vào độ khó đơn bài toán Phụ thuộc vào cấu trúc nhóm elliptic điểm Buộc thám mã giải đồng thời 2 bài toán trong 1 bước
Tính năng chống lộ nguồn Không hỗ trợ trong cấu trúc ký mù gốc Chữ ký mù cổ điển có nguy cơ lộ nguồn ký Kháng toàn diện các thuật toán bóc tách danh tính

Luận án định vị chính xác điểm nghẽn của lịch sử mật mã: chuyển dịch từ kết hợp tuần tự sang kết hợp đồng thời ràng buộc chặt. Điều này đảm bảo rằng ngay cả khi kẻ tấn công giải được DLP bằng phương pháp Index Calculus ($L_p[1/2, \sqrt{2}]$) hay giải IFP bằng thuật toán Sàng trường số tổng quát GNFS ($L_n[1/3, (64/9)^{1/3}]$), họ vẫn không thể tính toán được nghiệm của bài toán khai căn kết hợp logarit rời rạc.

Đó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 và thách thức các giới hạn lý thuyết thiết kế chữ ký số truyền thống thông qua việc phát triển mô hình toán học giải phương trình đồng dư phi tuyến bậc cao trên trường hữu hạn $\mathbb{Z}_p$:

  1. Proposition P1 (Tính phi tuyến của không gian khóa): Cặp khóa bí mật $(x_1, x_2)$ và khóa công khai $y$ được liên kết qua hàm đồng dư phi tuyến $y = g^{x_1^k \cdot x_2} \bmod p$. Kẻ tấn công không thể tách biệt $x_1$ hoặc $x_2$ bằng phép biến đổi logarit thông thường nếu không xác định đồng thời căn bậc $k$ của số mũ bí mật.
  2. Proposition P2 (Mở rộng trường modulo đặc biệt): Thiết lập cấu trúc số nguyên tố $p = N \cdot k^s + 1$ (với $k$ là số nguyên tố lẻ, $\gcd(N, k) = 1$). Khi đó, bài toán khai căn bậc $k$ mở rộng trên $\mathbb{Z}_p$ đạt độ phức tạp tối đa do nhóm con cyclic bậc $k^s$ chứa cấu trúc nghiệm phân nhánh phức tạp.
  3. Proposition P3 (Kháng tấn công giả mạo tồn tại - Existential Forgery): Trong mô hình Random Oracle Model (ROM), xác suất một đối thủ $\mathcal{A}$ bẻ gãy lược đồ tổng quát trong thời gian $t$ với $q_H$ truy vấn băm và $q_S$ truy vấn ký bị chặn trên bởi: $$\text{Adv}{\mathcal{A}}(t) \le \mathcal{O}\left( \frac{q_H \cdot q_S}{2^{\ell_H}} \right) + \text{Succ}{\text{RP-DLP}}(t)$$ trong đó $\ell_H$ là độ dài bit của hàm băm (256/512 bit), chứng minh tính vững chắc về mặt lý thuyết thông tin.

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

Khung phân tích của luận án tích hợp sâu sắc 3 lý thuyết toán học nền tảng:

  • Lý thuyết số đại số và trường hữu hạn (Galois Field Arithmetic): Khai thác cấu trúc nhóm nhân cyclic $G_p^*$ và lý thuyết thặng dư bậc cao.
  • Lý thuyết độ phức tạp tính toán (Computational Complexity Theory): Phân tích giới hạn dưới của các thuật toán thời gian bán đa thức (sub-exponential time) và hàm mũ (exponential time).
  • Mô hình an toàn mật mã học hình thức (Provable Security & Random Oracle Model): Định nghĩa chặt chẽ không gian trạng thái của kẻ thám mã dưới điều kiện tấn công ACMA.

Khái niệm cốt lõi được định nghĩa: Bài toán khai căn kết hợp logarit rời rạc (RP-DLP) là bài toán tìm đồng thời bộ giá trị bí mật $(x_1, x_2) \in \mathbb{Z}p^* \times \mathbb{Z}{p-1}^*$ thỏa mãn phương trình đồng dư $A \equiv g^{x_1^k \cdot x_2} \pmod p$ và $B \equiv h^{x_1} \pmod p$ với các tham số công khai $(p, g, h, k, A, B)$. Điều kiện biên (boundary conditions) được xác định rõ: $p$ là số nguyên tố an toàn ($p = 2p' + 1$), $k$ nguyên tố cùng nhau với $(p-1)/k^s$, và độ dài bit của $p$ không nhỏ hơn 1024 bit trong môi trường tính toán cổ điển.

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

Thiết kế nghiên cứu

Luận án tuân thủ triết học nghiên cứu thực chứng toán học (Mathematical Positivism) kết hợp phương pháp diễn dịch hình thức và thực nghiệm thuật toán (Experimental Algorithmics). Thiết kế nghiên cứu đa tầng bao gồm:

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được chuẩn hóa qua 4 bước kiểm chứng nghiêm ngặt:

  1. Giao thức sinh mẫu tham số: Sinh ngẫu nhiên các số nguyên tố $p$ có kích cỡ 512-bit, 1024-bit, 2048-bit thỏa mãn cấu trúc $p = N \cdot k^s + 1$ bằng thuật toán Miller-Rabin với độ tin cậy xác suất $1 - 2^{-80}$ (với số vòng lặp kiểm tra $t \ge 40$).
  2. Triangulation phương pháp luận: Đối chiếu chéo giữa 3 nguồn dữ liệu kiểm chứng: (a) Chứng minh toán học thuần túy; (b) Tính toán đại số biểu tượng trên phần mềm SageMath; (c) Thực thi mã nguồn nhị phân tối ưu hóa đa độ chính xác bằng C/C++ kết hợp thư viện GNU Multiple Precision Arithmetic Library (GMP).
  3. Tiêu chuẩn tính hợp lệ và độ tin cậy: Độ tin cậy thuật toán đạt tuyệt đối ($\alpha = 1.0$), sai số xác suất bằng 0 đối với các điều kiện nghiệm đồng dư. Tính hợp lệ nội tại (internal validity) được kiểm soát qua việc loại bỏ các khóa yếu (weak keys) thỏa mãn $\gcd(x, p-1) \ne 1$.

Data và phân tích

Dữ liệu thực nghiệm của luận án là tập hợp các bộ dữ liệu tham số mật mã được sinh tự động trên hệ thống phần cứng chuẩn (Intel Core i7, 3.4 GHz, RAM 16GB, môi trường Linux/Ubuntu 20.04 LTS).

Luận án thực hiện kiểm tra độ bền vững (robustness checks) bằng cách quét toàn bộ không gian khóa nhỏ để chứng minh không tồn tại cửa hậu (backdoors) và thử nghiệm với các giá trị hàm băm chuẩn hóa: SHA-1 (160-bit), SHA-256 (256-bit), SHA-512 (512-bit). Kết quả cho thấy tỷ lệ va chạm hàm băm và lỗi ký số tiệm cận mức $0%$ trong toàn bộ $10.000$ phiên thử nghiệm độc lập.

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

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

  1. Khám phá cấu trúc nghiệm phân nhánh trong bài toán khai căn modulo đặc biệt: Luận án chỉ ra rằng với $p = N \cdot k^s + 1$, phương trình $x^k \equiv 1 \pmod{p^{k'}}$ có đúng $d = \gcd(k, \varphi(p^{k'}))$ nghiệm phân biệt dạng $x_t = g^{t\varphi(p^{k'})/d}$. Điều này triệt tiêu hoàn toàn khả năng sử dụng các thuật toán khai căn bậc hai đơn giản (như Tonelli-Shanks hay Cipolla) để giải mã.
  2. Khắc phục lỗi bảo mật kinh điển của các lược đồ lai tuần tự: Khác với lược đồ của Shao (1998) và Wei (2007) vốn để lộ khóa riêng khi bài toán phân tích số bị giải, cấu trúc của lược đồ DVH01 và DVH02 bảo toàn tính bí mật của khóa riêng ngay cả khi kẻ tấn công sở hữu năng lực giải quyết đơn bài toán DLP hoặc RP.
  3. Phát hiện lỗ hổng lộ nguồn ký trong 03 lược đồ chữ ký số mù quốc tế: Phân tích giải thuật chỉ ra rằng lược đồ chữ ký mù DSA cải tiến, Nyberg-Rueppel và Moldovyan đều tồn tại mối liên hệ đại số giữa thông điệp làm mù và bản mã công khai. Luận án đã xây dựng thành công 06 thuật toán tấn công bóc tách danh tính (Thuật toán 4.10 đến 4.15 trong văn bản) để chứng minh các lược đồ này không thỏa mãn thuộc tính "tính không liên kết" (unlinkability).
  4. Tối ưu hóa hiệu năng tính toán chữ ký số 2 thành phần: Lược đồ DVH01 và DVH02 đạt được độ dài chữ ký tối ưu $(r, s)$ tương đương chuẩn DSA và GOST nhưng nâng mức độ phức tạp phá vỡ lên $2^{128}$ phép toán đồng dư đối với khóa 2048-bit.

Implications đa chiều

  • Đóng góp lý luận: Bổ sung một nhánh nghiên cứu mới vào lý thuyết mật mã bất đối xứng: thiết kế hệ mật dựa trên hệ phương trình phi tuyến và bài toán lai đồng thời.
  • Đổi mới phương pháp luận: Cung cấp khung đánh giá an toàn chữ ký mù thông qua việc mô hình hóa các thuật toán trích xuất danh tính nguồn ký.
  • Ứng dụng thực tiễn: Cung cấp đặc tả kỹ thuật thuật toán sẵn sàng tích hợp vào thẻ chip căn cước, hạ tầng khóa công khai quốc gia (PKI), hệ thống hóa đơn điện tử và cổng dịch vụ công trực tuyến.
  • Chính sách an toàn thông tin: Hỗ trợ Ban Cơ yếu Chính phủ và Bộ Quốc phòng trong việc xây dựng các bộ tiêu chuẩn chữ ký số quốc gia độc lập, giảm thiểu rủi ro bị động về công nghệ và nguy cơ tồn tại cửa hậu từ các chuẩn ngoại nhập.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn thừa nhận các giới hạn kỹ thuật:

  1. Chi phí tính toán trong pha sinh tham số: Việc sinh số nguyên tố an toàn có cấu trúc đặc thù $p = N \cdot k^s + 1$ với $k$ lớn đòi hỏi thời gian chạy thuật toán sàng lọc nguyên tố lâu hơn khoảng 15-20% so với sinh số nguyên tố ngẫu nhiên thông thường của RSA hoặc DSA.
  2. Giới hạn môi trường trường hữu hạn: Nghiên cứu hiện tại mới triển khai trên trường số hữu hạn $\mathbb{Z}_p$, chưa mở rộng đầy đủ sang nhóm điểm của đường cong Elliptic (Elliptic Curve Cryptography - ECC) hoặc đường cong Hyperelliptic.
  3. Thách thức điện toán lượng tử dài hạn: Mặc dù tăng độ khó trước máy tính cổ điển, cả DLP và RP về mặt lý thuyết vẫn có thể bị đe dọa bởi thuật toán Shor nếu máy tính lượng tử quy mô hàng triệu qubit vật lý trở thành hiện thực trong tương lai.

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

  • Tác động học thuật: Đặt nền móng lý thuyết toán học vững chắc cho các nghiên cứu sinh chuyên ngành Cơ sở toán học cho tin học và An toàn thông tin; dự kiến đóng góp vào hệ thống tài liệu tham khảo giảng dạy sau đại học tại Viện Khoa học và Công nghệ quân sự, Học viện Kỹ thuật quân sự, Học viện Kỹ thuật mật mã và Học viện An ninh nhân dân.
  • Chuyển đổi công nghiệp & An ninh quốc phòng: Các thuật toán ký số DVH01, DVH02 và lược đồ ký mù đề xuất có thể trực tiếp chuyển giao công nghệ cho các nhà cung cấp dịch vụ chứng thực chữ ký số công cộng (CA), các tổ chức tài chính - ngân hàng và hệ thống truyền tin chỉ huy quân sự cơ mật.
  • Lợi ích xã hội định lượng: Giảm thiểu triệt để nguy cơ gian lận trong giao dịch điện tử và bầu cử số; loại bỏ chi phí bản quyền công nghệ mật mã nước ngoài, ước tính tiết kiệm hàng triệu USD chi phí bản quyền phần mềm bảo mật chuyên dụng cho các cơ quan nhà nước.

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

  • Nghiên cứu sinh tiến sĩ & Giới học thuật: Tiếp cận phương pháp luận thiết kế hệ mật đa bài toán khó và kỹ thuật chứng minh an toàn trong mô hình ROM.
  • Kỹ sư phát triển hệ thống (R&D Engineers): Sở hữu các mã giả thuật toán hoàn chỉnh (sinh khóa, ký, xác minh, làm mù) với chi phí tính toán được tối ưu hóa.
  • Nhà hoạch định chính sách an ninh mạng: Có căn cứ khoa học chuẩn xác để xây dựng các rào dậu kỹ thuật bảo vệ không gian mạng quốc gia trong bối cảnh địa chính trị phức tạp.

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ì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập mô hình bài toán khó lai kết hợp đồng thời (Simultaneous RP-DLP) và hệ phương trình phi tuyến trên trường $\mathbb{Z}_p$, mở rộng lý thuyết hệ mật khóa công khai Diffie-Hellman (1976) và ElGamal (1985). Thay vì áp dụng tuần tự các bài toán khó riêng biệt như McCurley (1988) hay Shao (1998), luận án đã buộc khóa công khai và chữ ký số phải là nghiệm ràng buộc chặt của cả phương trình khai căn bậc $k$ và phương trình mũ logarit rời rạc.

2. Đổi mới phương pháp luận của luận án khi so sánh với các công trình quốc tế tiền nhiệm?

So sánh với công trình của He (2001) và Wei (2007), luận án tạo ra bước đột phá về thiết kế:

  • Lược đồ của Wei (2007) sử dụng phương trình xác minh dạng lũy thừa bậc hai dẫn đến lỗ hổng bị tấn công bằng thuật toán Pollard-Schnorr (Zheng et al., 2008). Luận án khắc phục triệt để bằng cách nâng bậc lũy thừa lên số nguyên tố lẻ $k$ trên modulo cấu trúc $p = N \cdot k^s + 1$.
  • So với chuẩn GOST R 34.10-2001 (Nga) và DSS FIPS 186-4 (Mỹ), phương pháp của luận án bổ sung cơ chế xác thực kép 2 thành phần $(r, s)$ không thể phân tách đại số, triệt tiêu nguy cơ suy diễn khóa riêng từ một chữ ký hợp lệ.

3. Phát hiện bất ngờ nhất trong quá trình thực nghiệm dữ liệu là gì?

Phát hiện bất ngờ nhất là việc chỉ ra lỗ hổng làm lộ nguồn gốc bản tin ký trong 03 lược đồ chữ ký mù quốc tế (DSA cải tiến, Nyberg-Rueppel và Moldovyan). Bằng việc xây dựng 06 thuật toán trích xuất nguồn tin cụ thể (Thuật toán 4.10 - 4.15), tác giả đã chứng minh toán học rằng người ký hoàn toàn có thể lập bảng tra cứu tương quan để nhận dạng chính xác người yêu cầu ký, vô hiệu hóa hoàn toàn tính năng ẩn danh trong các giao dịch tài chính điện tử.

4. Luận án có cung cấp đầy đủ giao thức để tái lập nghiên cứu (Replication Protocol) không?

Có. Toàn bộ 15 thuật toán từ sinh tham số hệ thống, sinh khóa bí mật/công khai, thuật toán ký số, kiểm tra chữ ký đến các quy trình làm mù và mở mù đều được mô tả chi tiết từng bước (step-by-step pseudo-code) trong văn bản, kèm theo các ví dụ số học thực tế với dữ liệu kiểm thử cụ thể (Phụ lục P1 - P7).

5. Chương trình nghiên cứu 10 năm tới được phác thảo ra sao?

Lộ trình 10 năm tập trung vào 3 giai đoạn: (1) Chuẩn hóa các thư viện mã nguồn mở và vi mạch tích hợp cho lược đồ DVH01/DVH02; (2) Chuyển đổi mô hình toán học sang hệ mật trên đường cong Elliptic siêu kỳ dị (Supersingular Isogeny / ECC); (3) Tích hợp cấu trúc kháng lượng tử dạng lưới (Lattice-based cryptography) nhằm đảm bảo an toàn tuyệt đối trước siêu máy tính lượng tử.

Kết luận

  1. Xây dựng thành công dạng bài toán khó mới: Đề xuất và chứng minh toán học độ phức tạp của bài toán kết hợp đồng thời giữa khai căn bậc $k$ và logarit rời rạc trên trường hữu hạn $\mathbb{Z}_p$, loại bỏ hoàn toàn các điểm yếu của phương pháp kết hợp tuần tự trước đây.
  2. Thiết lập lớp lược đồ chữ ký số tổng quát DVH01 và DVH02: Cung cấp cấu trúc chữ ký 2 thành phần tối ưu về mặt lưu trữ và tính toán, đạt mức an toàn cao trước các hình thức tấn công văn bản được lựa chọn thích ứng (ACMA) trong mô hình Random Oracle Model.
  3. Giải quyết triệt để lỗ hổng của chữ ký số mù: Phát hiện nguy cơ lộ nguồn ký của các chuẩn quốc tế (DSA cải tiến, Nyberg-Rueppel, Moldovyan) và đề xuất lược đồ chữ ký mù mới bảo toàn tuyệt đối hai đặc tính: tính mù (blindness) và tính không thể liên kết (unlinkability).
  4. Hệ thống hóa 15 thuật toán mật mã chuẩn xác: Đóng góp bộ công cụ thuật toán hoàn chỉnh từ sinh khóa, ký số đến xác minh, được kiểm chứng qua thực nghiệm máy tính và chứng minh hình thức.
  5. Mở ra các hướng nghiên cứu mật mã tiên tiến: Tạo tiền đề vững chắc cho việc phát triển chữ ký số tập thể, chữ ký số nhóm mù, chữ ký ngưỡng và các hệ mật mã lai trên đường cong Elliptic.
  6. Giá trị tự chủ công nghệ quốc gia: Cung cấp nền tảng khoa học cốt lõi phục vụ xây dựng chuẩn mật mã độc lập của Việt Nam, đáp ứng trực tiếp các yêu cầu bảo vệ an ninh thông tin, chính phủ số và an ninh quốc phòng trong kỷ nguyên số hóa toàn cầu.