Tổng quan về luận án

Trong kỷ nguyên chuyển đổi số và phát triển bùng nổ của hạ tầng mạng diện rộng, nhu cầu thiết lập các kênh truyền thông tin mật mã an toàn, bảo mật và xác thực giữa các thực thể phân tán địa lý là bài toán sống còn của an toàn thông tin hiện đại. Nền tảng cốt lõi giải quyết bài toán này nằm ở hai nguyên thủy mật mã căn bản: lược đồ chữ ký số (Digital Signature Scheme) và giao thức trao đổi khóa có xác thực (Authenticated Key Exchange - AKE). Luận án tiến sĩ toán học với đề tài "Nghiên cứu phát triển một số lược đồ chữ ký số và ứng dụng trong việc thiết kế giao thức trao đổi khóa" của nghiên cứu sinh Triệu Quang Phong (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ự - Bộ Quốc phòng, dưới sự hướng dẫn của TS. Trần Duy Lai và TS. Vũ Quốc Thành) đại diện cho một công trình nghiên cứu hàn lâm xuất sắc, tiên phong giải quyết các bài toán nền tảng về an toàn chứng minh được (Provable Security) trong mật mã học hiện đại tại Việt Nam.

Bối cảnh khoa học của luận án xuất phát từ một khoảng trống nghiên cứu (research gap) cốt lõi mang tính quốc tế: trong khi chuẩn chữ ký số ECDSA của Mỹ đã được chứng minh an toàn trong mô hình nhóm tổng quát (Generic Group Model - GGM) bởi Brown (2000), thì đối với chuẩn chữ ký số quốc gia của Liên bang Nga GOST R 34.10-2012 dựa trên nhóm điểm đường cong elliptic, "độ an toàn chứng minh được đối với GOST R 34.10-2012 vẫn là một vấn đề mở và chưa được chỉ ra trong bất cứ công trình nào". Các nỗ lực quốc tế trước đó như nghiên cứu của N. P. Varnovskii (2015) chỉ chứng minh được cho phiên bản sửa đổi trong mô hình thiết bị bảo vệ vật lý (Tamper-Proof Device Model) dựa trên giả thiết nửa logarit rời rạc (semi-discrete logarithm), đòi hỏi ràng buộc phần cứng khắt khe và không thể triển khai trên diện rộng. Mặt khác, trong lĩnh vực giao thức trao đổi khóa, các họ giao thức kế thừa cơ chế Diffie-Hellman kết hợp chữ ký số như STS (Station-to-Station) và STS-MAC tiềm ẩn lỗ hổng nghiêm trọng trước tấn công chia sẻ khóa không rõ đối tác (Unknown Key-Share - UKS) và tấn công lựa chọn khóa chữ ký kép (Duplicate Signature Key Selection - DSKS).

Để giải quyết triệt để các hạn chế trên, luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • Câu hỏi nghiên cứu 1 (Q1): Bản chất toán học của các điều kiện bước lặp ($r=0, s=0, e=0$) và tính dễ uốn (malleability) trong các lược đồ chữ ký kiểu ElGamal trên đường cong elliptic (ECDSA, GOST R 34.10-2012) là gì?
  • Câu hỏi nghiên cứu 2 (Q2): Có thể xây dựng các biến thể chữ ký số kiểu GOST R 34.10-2012 và chữ ký bó (batch signature) đạt tính không thể giả mạo tồn tại trước tấn công lựa chọn thông điệp thích nghi (EUF-CMA) với an toàn chứng minh được trong mô hình bộ tiên tri ngẫu nhiên (Random Oracle Model - ROM) mà không cần dựa vào thiết bị bảo vệ vật lý hay không?
  • Câu hỏi nghiên cứu 3 (Q3): Việc nhúng định danh thực thể vào chữ ký số trong giao thức STS-MAC có thực sự ngăn chặn được tấn công UKS trực tuyến hay không?
  • Câu hỏi nghiên cứu 4 (Q4): Làm thế nào để thiết kế các giao thức trao đổi khóa dựa trên họ SIGMA (M-SIGMA, M1-SIGMA) tối ưu hóa trên nhóm điểm đường cong elliptic, vừa bảo vệ định danh người dùng vừa đạt chuẩn an toàn trong mô hình Canetti-Krawczyk (CK)?

Tương ứng với đó là các giả thuyết khoa học được kiểm chứng chặt chẽ:

  • Giả thuyết 1 (H1): Việc lược bỏ các kiểm tra bước lặp sẽ dẫn đến nguy cơ phá vỡ hoàn toàn (total break) hoặc giả mạo vạn năng (universal forgery); đồng thời GOST R 34.10-2012 có cấu trúc toán học kháng lỗi DSKS và tính dễ uốn tự nhiên vượt trội hơn ECDSA.
  • Giả thuyết 2 (H2): Bằng việc chuẩn hóa cấu trúc đại số và hiệu chỉnh điều kiện ánh xạ của họ TEGTSS (Pointcheval et al.), hoàn toàn có thể thiết kế các lược đồ GOST-I, GOST-II, SBS-01, SBS-02 đạt độ an toàn EUF-CMA quy về bài toán logarit rời rạc trên đường cong elliptic (ECDLP).
  • Giả thuyết 3 (H3): Cơ chế nhúng định danh vào chữ ký (SIG-inside-MAC) không thể ngăn chặn tấn công UKS đối với lớp chữ ký DSA, ECDSA và TEGTSS-II; do đó kiến trúc SIG-and-MAC độc lập là điều kiện tiên quyết cho an toàn CK.
  • Giả thuyết 4 (H4): Các giao thức M-SIGMA và M1-SIGMA được cài đặt trên đường cong elliptic sẽ giảm thiểu chi phí truyền thông và tính toán, đảm bảo an toàn tuyệt đối về phía trước (PFS) và kháng mạo danh thỏa hiệp khóa (KCI).

Khung lý thuyết của luận án tích hợp chặt chẽ giữa lý thuyết nhóm đại số trừu tượng, hình học đại số (nhóm điểm đường cong elliptic trên trường hữu hạn $\mathbb{F}_p$ với tham số an toàn $p \ge 2^{256}$), lý thuyết độ phức tạp tính toán và các mô hình an toàn hình thức (Game-based Security Reductions, Random Oracle Model, Canetti-Krawczyk Framework). Về phạm vi nghiên cứu, luận án tập trung khảo sát các lược đồ chữ ký chuẩn hóa quốc tế (ECDSA, GOST R 34.10-2012, TEGTSS, ECTEGTSS) và các họ giao thức trao đổi khóa STS, SIGMA, HMQV, Lemograss-3; từ đó đề xuất 2 lược đồ chữ ký đơn (GOST-I, GOST-II), 2 lược đồ chữ ký bó (SBS-01, SBS-02) và 2 giao thức trao đổi khóa cải tiến (M-SIGMA, M1-SIGMA) với hiệu năng tính toán vượt trội và an toàn chứng minh được toàn diện.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết mật mã khóa công khai ghi nhận sự ra đời của giao thức trao đổi khóa Diffie-Hellman (1976) và hệ mật mã RSA (Rivest, Shamir, Adleman, 1978). Tuy nhiên, nền móng cho an toàn chứng minh được của chữ ký số chỉ thực sự được định hình bởi công trình kinh điển của Shafi Goldwasser, Silvio Micali và Ronald L. Rivest (1984) với bài báo "A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks". Trong công trình mang tính bước ngoặt này, các tác giả đã định nghĩa chuẩn an toàn vàng: "Một lược đồ chữ ký số được gọi là an toàn nếu việc giả mạo tồn tại là không thể về mặt tính toán, ngay cả với một tấn công lựa chọn thông điệp thích nghi" (tiêu chuẩn EUF-CMA).

Trong dòng chảy nghiên cứu về chữ ký số kiểu ElGamal dựa trên bài toán logarit rời rạc (DLP) và logarit rời rạc trên đường cong elliptic (ECDLP), tồn tại nhiều cuộc tranh luận học thuật sâu sắc giữa các mô hình an toàn:

  1. Mô hình bộ tiên tri ngẫu nhiên (ROM) do Bellare và Rogaway (1993) đề xuất, được David Pointcheval và Jacques Stern (1996, 2000) áp dụng thành công cho lược đồ Schnorr và họ TEGTSS (Trusted ElGamal Type Signature Scheme). Tuy nhiên, ROM bị chỉ trích là một mô hình lý tưởng hóa không tồn tại trong thực tế khi thay thế hàm băm bằng bộ tiên tri ngẫu nhiên.
  2. Mô hình nhóm tổng quát (Generic Group Model - GGM) được Daniel R. L. Brown (2000) sử dụng để chứng minh an toàn cho ECDSA. Tuy nhiên, Jacques Stern, David Pointcheval, John Malone-Lee và Nigel P. Smart (2002) đã chỉ ra rằng ECDSA trong GGM vẫn mắc phải hai điểm yếu cố hữu: lỗi chữ ký kép (duplicate signature key selection - DSKS) và tính dễ uốn (malleability) do tính chất đối xứng của hàm chuyển tọa độ $x$-coordinate $f(x, y) = x \pmod q$.
  3. Mô hình thiết bị bảo vệ vật lý (Tamper-Proof Device Model) được N. P. Varnovskii và cộng sự (2015) sử dụng để đánh giá chuẩn GOST R 34.10-2012 của Nga. Phương pháp này đòi hỏi giả thiết nửa logarit rời rạc và cơ chế mã hóa đối xứng trong thẻ thông minh, để lại bài toán mở về an toàn chứng minh được thuần túy toán học cho chuẩn GOST nguyên bản.
  4. Mô hình bộ tiên tri ngẫu nhiên song ánh (Bijective ROM) của M. Fersch, E. Kiltz và B. Poettering (2016) mở ra hướng phân tách hàm chuyển thành hàm song ánh, nhưng chưa thể mở rộng trực tiếp cho cấu trúc đại số của chuẩn GOST.

Về phía các giao thức trao đổi khóa có xác thực, định nghĩa chuẩn mực được thiết lập: "Một giao thức thỏa thuận khóa cung cấp tính chất xác thực khóa ẩn cho cả hai thực thể tham gia trao đổi được gọi là một giao thức trao đổi khóa có xác thực (giao thức AK)". Khi bổ sung thêm tính chất chứng thực khóa hiện (explicit key confirmation), giao thức trở thành AKC. Simon Blake-Wilson và Alfred Menezes (1999) đã chỉ ra rằng giao thức STS cơ bản (STS-ENC) và STS-MAC đều dễ bị tổn thương trước tấn công UKS trực tuyến và ngoại tuyến bằng cách khai thác tính chất DSKS. Dù Blake-Wilson và Menezes đề xuất đưa định danh vào chữ ký để phòng chống, J. Kim (2008) đã phản bác rằng giải pháp này vẫn thất bại trên chữ ký ElGamal.

Luận án của NCS. Triệu Quang Phong định vị chính xác vào giao điểm của các tranh luận học thuật trên:

  • So sánh trực tiếp với nghiên cứu của Daniel Brown (2000) và Jacques Stern et al. (2002) về ECDSA (chuẩn Mỹ FIPS 186-4): Luận án chứng minh rằng GOST R 34.10-2012 sở hữu khả năng kháng lỗi DSKS và tính dễ uốn tự nhiên tốt hơn ECDSA nhờ cấu trúc tính toán thành phần $s = (r x + k e) \pmod q$ đối xứng ngược, đồng thời xây dựng thành công 2 biến thể GOST-I và GOST-II đạt an toàn EUF-CMA trong ROM.
  • So sánh trực tiếp với nghiên cứu của N. P. Varnovskii (2015): Luận án vượt qua ranh giới của mô hình thiết bị bảo vệ phần cứng, cung cấp lời giải toán học chặt chẽ dựa trên bài toán ECDLP tiêu chuẩn.
  • So sánh với Hugo Krawczyk (2003) và Ran Canetti & Hugo Krawczyk (2001) trong khung phân tích họ giao thức SIGMA và mô hình an toàn CK: Luận án mở rộng và tổng quát hóa kết quả của J. Kim (2008), chứng minh rằng việc đưa định danh vào chữ ký trong STS-MAC là vô hiệu với toàn bộ lớp chữ ký DSA, ECDSA và TEGTSS-II; từ đó đề xuất họ giao thức M-SIGMA và M1-SIGMA tối ưu hóa hoàn hảo trên đường cong elliptic.

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

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

Luận án đã tạo ra những bước tiến đột phá, mở rộng và hoàn thiện các lý thuyết mật mã nền tảng thông qua các phát biểu và chứng minh toán học chuẩn mực:

  1. Hiệu chỉnh và hoàn thiện lý thuyết chữ ký TEGTSS của Pointcheval et al. (2000): Trong công trình gốc, Pointcheval và các cộng sự khẳng định điều kiện 1-1 chặt chẽ giữa các hàm thành phần: với $u, m$ cho trước, tồn tại duy nhất cặp $(r, s)$ sao cho $F_1(r, s) = u$ và $F_2(r, s) = m$. Luận án chỉ ra rằng phát biểu này không chính xác trong trường hợp tổng quát do sự sai khác lực lượng giữa không gian ảnh và không gian nguồn. Sử dụng nguyên lý Dirichlet (Pigeonhole Principle), tác giả chứng minh tồn tại các giá trị dẫn đến hệ phương trình vô nghiệm hoặc đa nghiệm. Luận án đã tái thiết lập điều kiện này thành điều kiện "gần 1-1" (almost bijective), trong đó xác suất vi phạm là một đại lượng vô cùng bé không đáng kể $\varepsilon \le O(2^{-256})$.

  2. Xây dựng khung chữ ký ECTEGTSS và 2 biến thể GOST-I, GOST-II: Mở rộng lý thuyết TEGTSS sang nhóm điểm đường cong elliptic ECTEGTSS. Thiết lập 2 lược đồ chữ ký mới:

    • Lược đồ GOST-I: Chữ ký gồm bộ ba $(r, s, e)$, trong đó $e = H_1(M, R_x)$, $r = F_1(R_x, e)$, $s = (k \cdot e - x \cdot r) \pmod q$.
    • Lược đồ GOST-II: Tối ưu hóa kích thước chữ ký chỉ còn cặp $(r, s)$ với $s = (k - x \cdot e) \pmod q$, trong đó $e = H_1(M, r)$.

    Định lý an toàn (Theorem 2.1 & 2.2 trong luận án): Nếu bài toán ECDLP là khó về mặt tính toán trên $E(\mathbb{F}_p)$, thì các lược đồ chữ ký GOST-I và GOST-II đạt độ an toàn EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên (ROM).

  3. Tổng quát hóa sự bất lực của kiến trúc SIG-inside-MAC trong STS-MAC: Chứng minh mệnh đề toán học tổng quát (Mệnh đề 1.3 trong luận án): Với mọi lược đồ chữ ký thuộc lớp TEGTSS-II (bao gồm DSA, ECDSA, GOST), kẻ tấn công $\mathcal{E}$ luôn có thể tìm ra cặp khóa công khai giả mạo $\bar{Y} = (\bar{w} \cdot Y^{\bar{u}} \cdot G^{\bar{v}})$ sao cho chữ ký trên thông điệp chứa định danh $(\hat{A}, \hat{B})$ được xác minh hợp lệ dưới danh tính kẻ tấn công, phá vỡ hoàn toàn nỗ lực ngăn chặn tấn công UKS của giao thức STS-MAC sửa đổi.

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

Khung phân tích của luận án tích hợp đồng bộ 3 trụ cột khoa học:

  • Trụ cột 1: Lý thuyết nhóm đại số trừu tượng và Đường cong Elliptic: Mô hình hóa các quan hệ đẳng cấu, đồng cấu nhóm điểm $E(\mathbb{F}_p)$ có cấp nguyên tố lớn $q$ với cofactor $h = #E(\mathbb{F}_p)/q = 1$, loại trừ triệt để các tấn công phân nhóm nhỏ (small subgroup attacks).
  • Trụ cột 2: Kỹ thuật mô phỏng giải quy an toàn (Game-Hopping Security Reduction): Sử dụng các bộ mô phỏng $\mathcal{S}$ (Simulator) can thiệp vào các truy vấn Random Oracle và Signing Oracle để giải bài toán khó nền tảng ECDLP với độ lợi xác suất không tầm thường (non-negligible advantage).
  • Trụ cột 3: Khung đánh giá giao thức AKE Canetti-Krawczyk (CK Model): Đánh giá an toàn thông qua các bộ xác thực truyền thông điệp (Message Transmission Authenticator - MT), chuyển đổi bảo toàn an toàn từ mô hình liên kết xác thực (Authenticated-links Model - AM) sang mô hình liên kết không xác thực (Unauthenticated-links Model - UM).

Boundary Conditions (Điều kiện biên): Các kết quả lý thuyết đảm bảo tính đúng đắn dưới các giả thiết: tham số an toàn $\kappa \ge 256$ bit, hàm băm $H_1$ mô hình hóa như Random Oracle, hàm băm $H_2$ đạt tính kháng va chạm mạnh (Strong Collision Resistance), và bài toán ECDLP không thể giải được trong thời gian đa thức xác suất (Probabilistic Polynomial Time - PPT).

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ủ chặt chẽ lập trường nhận thức luận của Chủ nghĩa thực chứng diễn dịch (Deductive Positivism) kết hợp với phương pháp luận giải tích mật mã hình thức (Formal Cryptographic Reduction). Quy trình nghiên cứu được thiết kế đa tầng với độ phức tạp cao:

Thành phần thiết kế Chi tiết phương pháp luận trong luận án
Triết lý nghiên cứu Thực chứng duy lý (Rationalist Positivism), suy diễn toán học hình thức, phản chứng chặt chẽ
Thiết kế phân tích Multi-level Cryptanalytic Design: Cấp độ nguyên thủy (Primitive Level) $\rightarrow$ Cấp độ cấu trúc (Structural Level) $\rightarrow$ Cấp độ giao thức (Protocol Level)
Không gian tham số Trường hữu hạn $\mathbb{F}_p$ với kích thước nguyên tố $p, q \in [2^{256}, 2^{512}]$, đường cong chuẩn GOST R 34.10-2012 và NIST P-256
Bộ công cụ thực nghiệm Ngôn ngữ C/C++, thư viện mật mã chuyên dụng MIRACL / OpenSSL, hệ thống kiểm thử tự động trên nền tảng phần cứng chuẩn hóa

Quy trình nghiên cứu rigorous

Quy trình chứng minh và thực nghiệm được tiến hành qua 4 giai đoạn nghiêm ngặt:

  1. Giai đoạn giải tích cấu trúc (Structural Cryptanalysis): Khảo sát toàn diện điều kiện biên của thuật toán ký. Phân tích tác động khi $r=0$ (dẫn đến phương trình xác minh suy biến thành $s \cdot G = H(m) \cdot Y$, cho phép kẻ tấn công tính khóa giả mạo $Y' = G^{s \cdot H(m)^{-1}}$ tạo chữ ký vạn năng trên mọi thông điệp $M'$ bằng $s' = s \cdot H(m') \cdot H(m)^{-1}$); khi $s=0$ hoặc $e=0$ (dẫn đến việc lộ khóa bí mật dài hạn $x = k \cdot e \cdot r^{-1} \pmod q$, làm sụp đổ toàn bộ hệ thống).
  2. Giai đoạn xây dựng Simulator và Reduction: Thiết lập thuật toán giải quy toán học. Để chứng minh GOST-I đạt EUF-CMA trong ROM, luận án xây dựng Simulator $\mathcal{S}$ nhận đầu vào là điểm $Y = x \cdot G$. Khi kẻ tấn công $\mathcal{A}$ yêu cầu truy vấn ký cho $M_i$, $\mathcal{S}$ chọn ngẫu nhiên $r_i, s_i \in \mathbb{Z}q^*$, tính ngược điểm $R_i = s_i \cdot r_i^{-1} \cdot G + r_i^{-1} \cdot Y$ và định nghĩa $H_1(M_i, R{ix}) = e_i$. Sự phân bố của các chữ ký mô phỏng là trùng khớp hoàn hảo (indistinguishable) với chữ ký thực tế.
  3. Giai đoạn cấu trúc chữ ký bó (Batch Verification): Ứng dụng cây băm Merkle (Merkle Hash Tree) kết hợp ECTEGTSS. Trong lược đồ SBS-01 và SBS-02, $N$ thông điệp ${M_1, M_2, \dots, M_N}$ được tổ chức thành các nút lá của cây Merkle. Người ký chỉ cần thực hiện 01 thao tác ký duy nhất trên giá trị gốc Merkle Root $R_{root}$, giảm độ phức tạp ký từ $O(N)$ xuống $O(1)$ và chi phí truyền thông đường dẫn xác thực chỉ là $O(\log_2 N)$.
  4. Giai đoạn kiểm chứng độ tin cậy và Robustness: Đánh giá an toàn giao thức trong mô hình CK với đối tác được định rõ sau (post-specified peer), kiểm thử khả năng chống chịu trước các truy vấn phá hủy: SessionStateReveal, SessionKeyReveal, Expire, Corrupt và truy vấn thách đố Test.

Data và phân tích

Phân tích định lượng độ phức tạp tính toán được đo đạc chính xác qua số lượng phép nhân vô hướng điểm trên đường cong elliptic (Scalar Point Multiplication - ký hiệu là $\mathbf{M}$) và phép nghịch đảo modulo (Modular Inversion - ký hiệu là $\mathbf{I}$):

Thuật toán / Giao thức Chi phí Ký / Khởi tạo Chi phí Xác minh / Phúc đáp Kích thước Chữ ký / Bản tin Độ an toàn chứng minh được
GOST R 34.10-2012 $1\mathbf{M}$ $2\mathbf{M} + 1\mathbf{I}$ $2 \times 256$ bit Vấn đề mở (Chưa có trong ROM chuẩn)
ECDSA (FIPS 186-4) $1\mathbf{M} + 1\mathbf{I}$ $2\mathbf{M} + 1\mathbf{I}$ $2 \times 256$ bit Generic Group Model (Mắc lỗi DSKS/Malleability)
GOST-I (Đề xuất) $1\mathbf{M}$ $2\mathbf{M}$ $3 \times 256$ bit EUF-CMA trong ROM (Kháng DSKS/Malleability)
GOST-II (Đề xuất) $1\mathbf{M}$ $2\mathbf{M}$ $2 \times 256$ bit EUF-CMA trong ROM (Tối ưu hóa kích thước)
SBS-01 (Ký bó $N=100$) $1\mathbf{M} + 99\text{ Hash}$ $2\mathbf{M} + 7\text{ Hash}$ Nhỏ gọn ($O(\log N)$) EUF-CMA trong ROM (Tăng tốc $85%$ thời gian)
M-SIGMA (Đề xuất) $2\mathbf{M} + 1\text{ Sig}$ $2\mathbf{M} + 1\text{ Ver}$ 3 luồng tin cậy An toàn trong mô hình CK (Bảo vệ định danh)
M1-SIGMA (Đề xuất) $2\mathbf{M} + 1\text{ Sig}$ $2\mathbf{M} + 1\text{ Ver}$ 3 luồng tối ưu An toàn trong mô hình CK (Kháng KCI, PFS)

Kết quả thực nghiệm trên các bộ tham số chuẩn 256-bit và 512-bit chứng minh:

  • Thuật toán xác minh của GOST-I và GOST-II tiết kiệm được hoàn toàn $1\mathbf{I}$ (phép nghịch đảo modulo tốn kém) so với GOST nguyên bản và ECDSA, giúp tăng tốc độ xác thực lên $18.4%$.
  • Lược đồ chữ ký bó SBS-01 và SBS-02 giúp giảm thiểu độ trễ xử lý khi xác thực hàng loạt giao dịch trong môi trường mạng thông lượng cao (high-throughput transaction networks) tới $82% - 87%$ so với việc ký và xác minh từng thông điệp riêng lẻ.

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

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

  1. Giải mã hoàn chỉnh cơ chế an toàn của các điều kiện bước lặp: Luận án chứng minh một cách tường minh rằng việc kiểm tra $r \neq 0, s \neq 0, e \neq 0$ không đơn thuần là thủ tục tránh lỗi chia cho 0 về mặt lập trình, mà là rào chắn toán học ngăn ngừa các lỗ hổng thảm họa: lược bỏ $r \neq 0$ dẫn đến Universal Forgery, lược bỏ $s \neq 0$ hoặc $e \neq 0$ dẫn đến Total Break làm lộ trực tiếp khóa bí mật dài hạn $x$.
  2. Khẳng định tính ưu việt kháng lỗi DSKS của cấu trúc GOST so với ECDSA: Trong khi ECDSA mắc lỗi chữ ký kép trên mọi cặp thông điệp bất kỳ (Stern et al., 2002) do hàm đối xứng hoành độ điểm $f(x, y) = x \pmod q$, luận án chứng minh rằng trên GOST R 34.10-2012, kẻ tấn công phải giải hệ phương trình đồng dư bậc cao với xác suất thành công bị chặn trên bởi đại lượng không đáng kể $O(2^{-256})$, chứng minh tính kháng lỗi tự nhiên của chuẩn GOST.
  3. Khắc phục triệt để nghịch lý ánh xạ trong mô hình TEGTSS: Sử dụng nguyên lý Dirichlet để chứng minh và bổ chính điều kiện ánh xạ của Pointcheval (2000), đưa ra khái niệm ánh xạ "gần 1-1" với sai số vô cùng bé, tạo cơ sở toán học vững chắc cho việc xây dựng ECTEGTSS.
  4. Lời giải trọn vẹn cho bài toán mở an toàn chứng minh được của chữ ký kiểu GOST: Lần đầu tiên thiết lập thành công chứng minh an toàn hình thức EUF-CMA trong ROM cho 2 biến thể GOST-I và GOST-II quy trực tiếp về bài toán ECDLP, xóa bỏ sự phụ thuộc vào các thiết bị bảo vệ vật lý phức tạp của Varnovskii (2015).
  5. Vạch trần lỗ hổng của cơ chế nhúng định danh trong STS-MAC và hoàn thiện họ giao thức M-SIGMA: Đưa ra phản ví dụ toán học tổng quát chứng minh giải pháp đưa định danh vào chữ ký trong STS-MAC hoàn toàn thất bại trước tấn công UKS trực tuyến trên mọi lược đồ chữ ký thuộc lớp ElGamal/DSA/TEGTSS-II; đồng thời kiến tạo thành công M-SIGMA và M1-SIGMA đạt chuẩn an toàn CK toàn diện.

Implications đa chiều

  • Về mặt lý thuyết học thuật: Công trình đóng góp những định lý và bổ đề mới cho kho tàng mật mã học giải tích, hoàn thiện khoảng trống lý thuyết giữa chuẩn mật mã phương Tây (NIST/ECDSA) và chuẩn mật mã Liên bang Nga (GOST), làm phong phú thêm lý thuyết an toàn chứng minh được trong mô hình bộ tiên tri ngẫu nhiên và mô hình CK.
  • Về mặt phương pháp luận: Thiết lập quy trình chuẩn mực cho việc đánh giá, phân tích tính dễ uốn, bước lặp và kỹ thuật giải quy an toàn cho các hệ thống mật mã trên đường cong elliptic có thể áp dụng cho nhiều lớp nguyên thủy mật mã khác.
  • Về mặt ứng dụng thực tiễn: Cung cấp các thuật toán chữ ký đơn (GOST-I, GOST-II), chữ ký bó (SBS-01, SBS-02) và giao thức trao đổi khóa (M-SIGMA, M1-SIGMA) sẵn sàng triển khai trực tiếp vào các hệ thống hạ tầng khóa công khai (PKI), mạng riêng ảo VPN/IPSec, giao thức bảo mật tầng truyền vận TLS 1.3, nền tảng Blockchain/Web3 và các hệ thống bỏ phiếu điện tử (E-voting).
  • Về mặt chính sách và an ninh quốc gia: Kết quả nghiên cứu là luận cứ khoa học then chốt phục vụ công tác làm chủ công nghệ mật mã, hỗ trợ Ban Cơ yếu Chính phủ và Bộ Quốc phòng trong việc xây dựng, chuẩn hóa các tiêu chuẩn chữ ký số và giao thức bảo mật quốc gia, thúc đẩy lộ trình tự chủ mật mã trong phát triển Chính phủ điện tử và Quốc phòng số tại Việt Nam.

Limitations và Future Research

Nhìn nhận một cách khách quan và khoa học, luận án vẫn tồn tại một số giới hạn nghiên cứu (limitations) mang tính quy luật:

  • Phụ thuộc vào mô hình bộ tiên tri ngẫu nhiên (ROM): Mặc dù ROM là công cụ mạnh mẽ và phổ biến nhất trong mật mã học lý thuyết, nhưng nó vẫn là một mô hình lý tưởng hóa. Về mặt lý thuyết thuần túy, việc hiện thực hóa bộ tiên tri ngẫu nhiên bằng một hàm băm cụ thể (như SHA-256 hay Streebog GOST R 34.11-2012) có thể tạo ra những sai khác tiềm ẩn trong Standard Model (mô hình chuẩn không lý tưởng hóa).
  • Ràng buộc về mối đe dọa từ máy tính lượng tử: Các lược đồ đề xuất (GOST-I, GOST-II, ECTEGTSS, M-SIGMA) đều dựa trên độ khó của bài toán logarit rời rạc trên đường cong elliptic (ECDLP). Do đó, các hệ thống này dễ bị tổn thương trước thuật toán lượng tử Shor nếu máy tính lượng tử quy mô lớn trở thành hiện thực trong tương lai.
  • Phạm vi thử nghiệm thực nghiệm: Các đo đạc hiệu năng chủ yếu được thực hiện trên môi trường máy tính tiêu chuẩn và máy chủ mô phỏng, chưa được tối ưu hóa sâu trên các vi điều khiển nhúng 8-bit/16-bit siêu hạn chế tài nguyên (Ultra-constrained IoT/Edge devices).

Chương trình nghiên cứu tương lai (Future Research Agenda):

  1. Nghiên cứu an toàn trong Mô hình Chuẩn (Standard Model): Xây dựng các biến thể chữ ký kiểu GOST đạt an toàn EUF-CMA trong mô hình chuẩn mà không cần viện dẫn Random Oracle, sử dụng các cấu trúc như song tuyến tính (Pairing-based cryptography) hoặc kỹ thuật Waters/Gentry.
  2. Chuyển dịch sang Mật mã hậu lượng tử (Post-Quantum Cryptography - PQC): Thiết kế các giao thức trao đổi khóa lai ghép (Hybrid Key Exchange) kết hợp giữa M-SIGMA trên đường cong elliptic và các thuật toán kháng lượng tử dựa trên mạng tinh thể (Lattice-based cryptography như ML-KEM/Kyber và ML-DSA/Dilithium) theo khuyến nghị của NIST.
  3. Phát triển chữ ký bó đa cấu trúc cho Blockchain: Tích hợp SBS-01 và SBS-02 vào các giải pháp mở rộng quy mô Layer-2 (Rollups) của công nghệ sổ cái phân tán, tối ưu hóa kích thước bằng chứng và chi phí gas.
  4. Hiện thực hóa phần cứng chuyên dụng: Tối ưu hóa cài đặt GOST-II và M1-SIGMA trên FPGA/ASIC kháng tấn công kênh kề (Side-Channel Attacks - SCA và Fault Attacks).

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

Luận án mang lại những giá trị tác động sâu rộng trên cả 4 phương diện:

  • Tác động học thuật (Academic Impact): Mở ra hướng nghiên cứu chuyên sâu về provable security cho cộng đồng mật mã học trong nước; công bố trên các tạp chí và hội nghị khoa học uy tín, dự kiến tạo ra các trích dẫn học thuật quan trọng trong các nghiên cứu về đường cong elliptic và an toàn giao thức.
  • Chuyển đổi công nghiệp (Industry Transformation): Ứng dụng trực tiếp trong việc nâng cấp hiệu năng các hệ thống chứng thực số (CA), dịch vụ ký số từ xa (Remote Signing), các cổng thanh toán điện tử ngân hàng và mạng lưới xác thực IoT tốc độ cao.
  • Ảnh hưởng chính sách và an ninh quốc gia (Policy & Defense Influence): Cung cấp cơ sở khoa học độc lập, tin cậy giúp các cơ quan quản lý nhà nước giảm thiểu sự phụ thuộc vào các chuẩn mật mã ngoại nhập tiềm ẩn cửa sau (backdoors), phục vụ trực tiếp công cuộc xây dựng hệ thống thông tin chỉ huy, điều hành quân sự và bảo vệ chủ quyền số quốc gia.
  • Lợi ích xã hội (Societal Benefits): Đảm bảo tính toàn vẹn, chống chối bỏ và bảo mật riêng tư cho hàng triệu giao dịch điện tử hàng ngày của công dân trong tiến trình phát triển nền kinh tế số và xã hội số văn minh, tin cậy.

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

  1. Nghiên cứu sinh và Giảng viên ngành Mật mã / An toàn thông tin (Doctoral Researchers & Academics):
    • Tiếp cận phương pháp luận chứng minh giải quy an toàn (Security Reductions) chuẩn mực quốc tế.
    • Kế thừa khung phân tích ECTEGTSS và kỹ thuật Simulator trong ROM để phát triển các đề tài nghiên cứu chuyên sâu mới.
  2. Kỹ sư R&D và Kiến trúc sư bảo mật hệ thống (Industry R&D & Security Architects):
    • Sở hữu thuật toán chữ ký bó SBS-01/02 giúp tối ưu hóa hiệu năng máy chủ xác thực giao dịch quy mô lớn (giảm hơn $80%$ tải xử lý).
    • Triển khai giao thức M-SIGMA/M1-SIGMA vào các sản phẩm VPN, Router bảo mật, thiết bị phần cứng HSM (Hardware Security Module).
  3. Cơ quan quản lý mật mã và Nhà hoạch định chính sách (Policy Makers & Ban Cơ yếu Chính phủ):
    • Có cơ sở toán học tường minh để thẩm định, đánh giá và ban hành các tiêu chuẩn mật mã cấp quốc gia.
    • Hoàn thiện khung pháp lý và quy chuẩn kỹ thuật cho các dịch vụ tin cậy trong Luật Giao dịch điện tử.

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

1. Đóng góp lý thuyết độc đáo và có chiều sâu toán học lớn nhất của luận án là gì?

Đóng góp độc đáo nhất là việc giải quyết bài toán mở về an toàn chứng minh được (EUF-CMA trong ROM) cho họ chữ ký kiểu GOST R 34.10-2012 mà không cần dựa trên thiết bị bảo vệ vật lý hay giả thiết nửa logarit rời rạc (khắc phục hoàn toàn hạn chế trong công trình của N. P. Varnovskii, 2015). Để đạt được điều này, luận án đã mở rộng lý thuyết TEGTSS của Pointcheval et al. (2000) sang đường cong elliptic (ECTEGTSS), đồng thời phát hiện và sửa chữa lỗ hổng logic trong điều kiện ánh xạ 1-1 của Pointcheval bằng nguyên lý Dirichlet, thay thế bằng điều kiện "gần 1-1" với độ lệch xác suất không đáng kể $\varepsilon \le O(2^{-256})$.

2. Sự đổi mới về phương pháp luận của luận án khi so sánh với ít nhất 2 công trình quốc tế tiêu biểu?

  • So với Daniel Brown (2000) và Stern et al. (2002) về ECDSA: Brown chứng minh ECDSA trong mô hình nhóm tổng quát (GGM), nhưng Stern chỉ ra ECDSA vẫn mắc lỗi chữ ký kép (DSKS) và dễ uốn do hàm $f(x, y) = x \pmod q$. Luận án tiếp cận bằng mô hình ROM giải quy chặt chẽ, chứng minh GOST-I và GOST-II loại bỏ hoàn toàn lỗi DSKS và tính dễ uốn nhờ cấu trúc đại số ngược dòng $s = (k \cdot e - x \cdot r) \pmod q$.
  • So với Simon Blake-Wilson & Alfred Menezes (1999) và J. Kim (2008) về STS-MAC: Blake-Wilson & Menezes đề xuất đưa định danh vào chữ ký để chống tấn công UKS. Kim chỉ ra phản ví dụ trên ElGamal. Luận án đã tổng quát hóa phương pháp luận bằng cách chứng minh Định lý tổng quát: cơ chế đưa định danh vào chữ ký là hoàn toàn bất lực trên toàn bộ lớp chữ ký ElGamal, DSA, ECDSA và TEGTSS-II; từ đó thiết lập phương pháp luận thiết kế M-SIGMA theo cơ chế SIG-and-MAC độc lập an toàn trong mô hình CK.

3. Phát hiện bất ngờ nhất (counter-intuitive finding) có bằng chứng toán học trong luận án là gì?

Phát hiện bất ngờ nhất là: "Việc lược bỏ bước kiểm tra $r \neq 0$ trong ECDSA và GOST R 34.10-2012 không làm lộ khóa bí mật nhưng lại dẫn đến nguy cơ Giả mạo vạn năng (Universal Forgery) trên mọi thông điệp mà không cần giải bài toán logarit rời rạc". Bằng chứng toán học: Khi chấp nhận $r=0$, phương trình xác minh suy biến thành $R = s \cdot H(M)^{-1} \cdot G$. Kẻ tấn công chọn ngẫu nhiên $s$, gán khóa công khai giả mạo $Y' = G^{s \cdot H(M)^{-1}}$, và với bất kỳ thông điệp $M^$ nào sau đó, chữ ký hợp lệ luôn được tạo ra dễ dàng bằng công thức $s^ = s \cdot H(M^*) \cdot H(M)^{-1} \pmod q$.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) hoàn chỉnh cho thực nghiệm không?

Có. Luận án cung cấp đầy đủ các tham số kiểm thử trong phần Phụ lục bao gồm: phương trình đường cong elliptic $y^2 = x^3 + ax + b \pmod p$, tọa độ điểm cơ sở $G(x_G, y_G)$, bậc nguyên tố $q$, kích thước khóa 256-bit và 512-bit, các hàm băm chuẩn hóa (SHA-256, GOST R 34.11-2012 Streebog), cùng mô tả chi tiết thuật toán sinh khóa, ký, xác minh và đo đạc chu kỳ xung nhịp CPU cho từng phép toán nhân điểm và nghịch đảo.

5. Lộ trình nghiên cứu 10 năm (10-year Research Agenda) được định hình từ luận án như thế nào?

Lộ trình 10 năm bao gồm 3 giai đoạn chiến lược:

  • Giai đoạn 1 (1-3 năm): Chuẩn hóa cấp cơ sở và cấp quốc gia cho GOST-II, SBS-01/02 và M-SIGMA; tích hợp vào bộ phần mềm mật mã PKI và VPN quốc gia.
  • Giai đoạn 2 (3-6 năm): Nghiên cứu chuyển đổi an toàn chứng minh được sang Mô hình Chuẩn (Standard Model) và tích hợp các kỹ thuật chống tấn công kênh kề (Side-Channel Attack Resistance) trên phần cứng nhúng.
  • Giai đoạn 3 (6-10 năm): Nghiên cứu phát triển các giao thức lai ghép hậu lượng tử (Post-Quantum Hybrid Cryptography), kết hợp cấu trúc M-SIGMA với mật mã trên mạng tinh thể (Lattice-based cryptography) nhằm đảm bảo an toàn tuyệt đối trước máy tính lượng tử.

Kết luận

Luận án tiến sĩ của NCS. Triệu Quang Phong đã giải quyết trọn vẹn, xuất sắc các mục tiêu nghiên cứu đặt ra, tạo nên một công trình khoa học mẫu mực với các đóng góp cốt lõi:

  1. Phân tích toàn diện và giải mã toán học bản chất của các điều kiện bước lặp, tính dễ uốn và lỗi chữ ký kép trên các chuẩn chữ ký số ECDSA và GOST R 34.10-2012.
  2. Hoàn thiện lý thuyết TEGTSS, phát hiện và hiệu chỉnh điều kiện ánh xạ 1-1 thành điều kiện "gần 1-1" với sai số không đáng kể $\varepsilon \le O(2^{-256})$, thiết lập khung chữ ký ECTEGTSS trên đường cong elliptic.
  3. Đề xuất 2 lược đồ chữ ký đơn mới GOST-I và GOST-II, lần đầu tiên cung cấp lời giải an toàn chứng minh được EUF-CMA trong ROM quy về bài toán ECDLP cho lớp chữ ký kiểu GOST mà không cần thiết bị bảo vệ vật lý, tối ưu hóa tốc độ xác minh hơn $18%$.
  4. Đề xuất 2 lược đồ chữ ký bó an toàn SBS-01 và SBS-02 dựa trên cây băm Merkle, tối ưu hóa thông lượng ký và xác thực dữ liệu lớn, giảm thiểu hơn $80%$ độ trễ tính toán.
  5. Chứng minh định lý tổng quát về sự bất lực của cơ chế nhúng định danh trong STS-MAC; từ đó kiến tạo thành công 2 giao thức trao đổi khóa M-SIGMA và M1-SIGMA trên đường cong elliptic đạt chuẩn an toàn Canetti-Krawczyk (CK), đảm bảo an toàn về phía trước (PFS), kháng mạo danh thỏa hiệp khóa (KCI) và bảo vệ tối đa danh tính người dùng.
  6. Đặt nền móng khoa học vững chắc cho các chương trình chuẩn hóa mật mã, phát triển các giải pháp bảo mật tự chủ phục vụ đắc lực cho an ninh quốc phòng, kinh tế số và xã hội số tại Việt Nam trong kỷ nguyên mới.