Tổng quan về luận án

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; thực hiện 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, bảo vệ năm 2023) là một công trình khoa học tiên phong giải quyết các bài toán nền tảng về tính an toàn chứng minh được (provable security) của các nguyên thủy mật mã khóa công khai và giao thức mạng.

Trong bối cảnh bùng nổ của các ứng dụng mạng Internet, truyền thông quân sự, chính phủ điện tử, blockchain và xác thực giao dịch điện tử, việc bảo vệ tính bí mật và tính toàn vẹn dữ liệu phụ thuộc sống còn vào các giao thức trao đổi khóa có xác thực (Authenticated Key Exchange - AKE) và các lược đồ chữ ký số (Digital Signature Schemes). Mặc dù các chuẩn quốc tế như ECDSA (Mỹ) và GOST R 34.10-2012 (Nga) thuộc họ lược đồ ElGamal trên đường cong elliptic đã được triển khai rộng rãi, các bằng chứng an toàn hình thức cho GOST R 34.10-2012 trong mô hình lý thuyết vẫn là một vấn đề mở (open problem) chưa có lời giải hoàn chỉnh. Đồng thời, các lỗ hổng tiềm ẩn như tính dễ uốn (malleability), lỗi chọn khóa chữ ký kép (Duplicate Signature Key Selection - DSKS), rủi ro từ các bước lặp tính toán kiểm tra điểm triệt tiêu modulo $q$, và nguy cơ tấn công chia sẻ khóa không rõ đối tác (Unknown Key-Share - UKS) trên họ giao thức STS/SIGMA đặt ra khoảng trống nghiên cứu (research gap) cấp thiết.

Nghiên cứu được định hình thông qua 4 câu hỏi nghiên cứu (Research Questions - RQ) và 4 giả thuyết khoa học (Hypotheses - H) tương ứng:

  • RQ1: Nguyên nhân toán học sâu xa nào dẫn đến các bước lặp và tính dễ uốn trong ECDSA và GOST R 34.10-2012, và liệu GOST R 34.10-2012 có kháng được lỗi DSKS của Stern et al. hay không?
    • H1: Lỗi DSKS và tính dễ uốn xuất phát từ tính đối xứng của hàm chuyển tọa độ; dưới giả thiết hàm băm có phân bố đều, xác suất xuất hiện lỗi chữ ký kép trên GOST R 34.10-2012 là không đáng kể ở mức $O(1/q)$.
  • RQ2: Làm thế nào để xây dựng các biến thể chữ ký số dựa trên cấu trúc GOST R 34.10-2012 đạt được độ an toàn chứng minh được kháng giả mạo thích nghi (EUF-CMA) trong mô hình bộ tiên tri ngẫu nhiên?
    • H2: Việc kết hợp cấu trúc đại số của GOST với khung lý thuyết lược đồ ElGamal tin cậy trên đường cong elliptic (ECTEGTSS) sẽ cho phép thiết kế các lược đồ GOST-I và GOST-II đạt an toàn EUF-CMA quy rực tiếp về bài toán logarit rời rạc.
  • RQ3: Phương pháp nào tối ưu hóa hiệu năng ký đồng thời cho nhiều thông điệp độc lập mà vẫn duy trì tính toàn vẹn và kháng giả mạo tuyệt đối?
    • H3: Ứng dụng cây băm Merkle kết hợp kỹ thuật ký bó thích nghi cho phép tạo ra các lược đồ SBS-01 và SBS-02 giảm thiểu chi phí tính toán điểm nhân elliptic trên mỗi thông điệp.
  • RQ4: Cơ chế tích hợp chữ ký số nào khắc phục triệt để lỗ hổng UKS trực tuyến và bảo vệ định danh trong các giao thức trao đổi khóa họ STS và SIGMA?
    • H4: Cơ chế ký số trực tiếp trên các tham số trao đổi công khai kết hợp khóa định danh phiên (M-SIGMA, M1-SIGMA) cung cấp độ an toàn AKE trong mô hình Canetti-Krawczyk (CK) với đối tác định rõ sau.

Khung lý thuyết của luận án tích hợp lý thuyết số học đại số, hình học đại số trên đường cong elliptic $\mathbb{E}(\mathbb{F}_p)$, mô hình nhóm tổng quát (Generic Group Model - GGM), mô hình bộ tiên tri ngẫu nhiên (Random Oracle Model - ROM), và mô hình trò chơi an toàn Canetti-Krawczyk. Nghiên cứu thực hiện trên phạm vi các trường hữu hạn đặc số nguyên tố lớn với các tham số an toàn chuẩn 256-bit và 512-bit (với cấp nhóm điểm $q \approx 2^{256}$ hoặc $q \approx 2^{512}$), đảm bảo độ vững chắc tương thích với các tiêu chuẩn an ninh quốc gia và quốc tế.

Literature Review và Positioning

Lịch sử phát triển của chữ ký số bắt đầu từ công trình nền tảng của Diffie và Hellman (1976), tiếp nối bởi công trình kinh điển của Goldwasser, Micali và Rivest (1984/1988) thiết lập định nghĩa hình thức cho chữ ký số tổng quát và tiêu chuẩn an toàn cao nhấ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 (Existential Unforgeability under Adaptive Chosen-Message Attack - EUF-CMA). Kể từ đó, hai nhánh nghiên cứu chính phát triển song song:

  1. Dòng nghiên cứu chữ ký số dựa trên bài toán logarit rời rạc (DLP) và đường cong elliptic (ECDLP): Tiêu biểu là ElGamal (1985), Schnorr (1991), DSA (NIST, 1994), ECDSA (NIST FIPS 186-4, ANSI X9.62), ECGDSA (BSI Đức), và GOST R 34.10-2012 (Chuẩn quốc gia Liên bang Nga). Brown (2001) đã chứng minh độ an toàn của ECDSA trong mô hình nhóm tổng quát (GGM). Tuy nhiên, Stern, Pointcheval, Malone-Lee và Smart (2002) đã chỉ ra các điểm yếu nghiêm trọng trong ECDSA liên quan đến lỗi chọn khóa chữ ký kép (DSKS) và tính dễ uốn (malleability). Fersch, Kiltz và Poettering (2016) đề xuất mô hình bộ tiên tri ngẫu nhiên song ánh (Bijective ROM) cho DSA/ECDSA. Riêng với chuẩn GOST R 34.10-2012, Varnovskii (2018) đã đề xuất mô hình thiết bị bảo vệ phần cứng (Tamper-Proof Device Model), nhưng bản thân tác giả thừa nhận việc chứng minh an toàn cho GOST nguyên bản không phụ thuộc phần cứng vẫn là bài toán mở.
  2. Dòng nghiên cứu giao thức trao đổi khóa có xác thực (AKE): Bắt đầu từ STS (Station-to-Station) của Diffie, van Oorschot và Wiener (1992). Blake-Wilson và Menezes (1999) phát hiện STS-ENC và STS-MAC dễ bị tấn công UKS và đề xuất đưa định danh vào chữ ký. Tuy nhiên, Kim (2008) chứng minh giải pháp này thất bại trên chữ ký ElGamal trước tấn công UKS trực tuyến. Bellare và Rogaway (BR93, BR95, BPR2000) cùng Canetti và Krawczyk (2001) đã hoàn thiện mô hình an toàn CK và họ giao thức SIGMA (SIGn-and-MAc), tạo tiền đề cho các chuẩn bảo mật IPsec, IKE, SSL/TLS.
Khía cạnh so sánh ECDSA (NIST FIPS 186-4) GOST R 34.10-2012 (Liên bang Nga) ECTEGTSS / Đề xuất luận án (GOST-I, GOST-II)
Mô hình an toàn đã chứng minh Generic Group Model (Brown, 2001; BROM Fersch, 2016) Vấn đề mở trong mô hình chuẩn (Chỉ có mô hình phần cứng của Varnovskii) An toàn EUF-CMA chứng minh được trong Random Oracle Model
Kháng lỗi chọn khóa kép (DSKS) Bị tổn thương (Stern et al., 2002; tồn tại cho mọi cặp thông điệp) Kháng tự nhiên (Xác suất đụng độ vi phạm $O(1/q)$ không đáng kể) Kháng hoàn toàn nhờ cấu trúc ánh xạ băm một chiều mở rộng
Kháng tính dễ uốn (Malleability) Bị tổn thương (từ cặp $(r, s)$ luôn suy ra được $(r, -s \pmod q)$) Miễn nhiễm trước phép biến đổi đại số hoành độ điểm Miễn nhiễm hoàn toàn, chữ ký có tính đơn nhất đại số
Ảnh hưởng bước lặp ($r=0, s=0, e=0$) Dẫn đến giả mạo vạn năng hoặc phá vỡ hoàn toàn lộ khóa bí mật Lộ khóa bí mật nếu $e \equiv 0 \pmod q$; giả mạo vạn năng nếu $r=0$ Loại bỏ hoàn toàn khả năng rơi vào không gian suy biến

Luận án đã định vị chính xác vị trí học thuật bằng việc: (i) Lần đầu tiên phân tích toàn diện và chứng minh toán học về khả năng kháng lỗi DSKS và tính dễ uốn của GOST R 34.10-2012; (ii) Tổng quát hóa giới hạn của kỹ thuật Blake-Wilson & Menezes trên toàn bộ lớp chữ ký TEGTSS-II; và (iii) Đề xuất các cấu trúc chữ ký số và giao thức AKE mới lấp đầy khoảng trống giữa lý thuyết chứng minh an toàn và hiệu năng tính toán thực tế.

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

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

Luận án mang lại 4 đóng góp đột phá làm chuyển dịch nhận thức lý thuyết trong ngành mật mã học toán tin:

  1. Mở rộng lý thuyết chữ ký số dạng ElGamal tin cậy (TEGTSS) sang không gian đường cong Elliptic (ECTEGTSS): Kế thừa công trình của Pointcheval et al. (2000), luận án thiết lập điều kiện tương đương đại số cho bộ ba hàm $(f_1, f_2, f)$ trên nhóm điểm elliptic $\mathbb{E}(\mathbb{F}_p)$: $$f(s, R, Y) = e \iff f_2(s, f_1(R, Y), e) = R$$ Đồng thời, luận án chỉnh lý một thiếu sót quan trọng trong công trình gốc của Pointcheval: điều kiện ánh xạ 1-1 của TEGTSS-II thực chất không thể thỏa mãn tuyệt đối trên toàn miền xác định mà phải được phát biểu dưới dạng điều kiện "gần 1-1" với xác suất sai khác $O(1/q)$ không đáng kể dựa trên nguyên lý Dirichlet.

  2. Giải mã toán học bản chất các bước lặp suy biến trong chữ ký số đường cong elliptic: Luận án chứng minh rằng nếu một chữ ký ECDSA có dạng $(0, s)$ được chấp nhận, hệ thống sẽ sụp đổ hoàn toàn trước nguy cơ giả mạo vạn năng (universal forgery):

"Nếu một chữ ký số ECDSA dạng $(0, s)$ được chấp nhận là hợp lệ trên một thông điệp nào đó, thì chúng ta sẽ luôn tạo ra được một chữ ký số hợp lệ $(r', s')$ trên một thông điệp $m'$ bất kỳ, mà dẫn đến ECDSA bị giả mạo vạn năng."

Thật vậy, giả sử $(0, s)$ là chữ ký hợp lệ trên $m$, tức $u_1 G + u_2 Y = \mathcal{O}$ với $u_1 = H(m)s^{-1}$, $u_2 = 0 \cdot s^{-1} = 0$. Khi đó $H(m)s^{-1} G = \mathcal{O} \Rightarrow H(m) \equiv 0 \pmod q$. Với $m'$ bất kỳ, lấy $s' = H(m')s \cdot (H(m))^{-1}$ và $r' = 0$, ta có $(0, s')$ là chữ ký hợp lệ trên $m'$.

Tương tự, luận án chứng minh với GOST R 34.10-2012, nếu bỏ qua bước kiểm tra $e = H(m) \equiv 0 \pmod q$, khóa bí mật $d$ của người ký sẽ bị lộ hoàn toàn qua biểu thức giải tích tường minh $d = s \cdot r^{-1} \pmod q$.

  1. Chứng minh tính kháng lỗi DSKS và Malleability của GOST R 34.10-2012: Trái ngược với nhận định hoài nghi của nhiều nhà nghiên cứu quốc tế, luận án chứng minh rằng GOST R 34.10-2012 kháng được hai lỗi cấu trúc của ECDSA:

"Mật độ của các cặp thông điệp $(m, m')$ mà $H(m) = H(m')$ là cỡ $O(1/q)$, giá trị này là không đáng kể vì đối với chuẩn GOST R 34.10-2012 thì $q$ có cỡ là $2^{256}$ hoặc $2^{512}$. Vì vậy, khả năng xảy ra lỗi chữ ký kép trên GOST 34.10-2012 là không đáng kể."

  1. Định lý tổng quát hóa về tính dễ bị tổn thương UKS của cấu trúc SIG-trong-MAC: Luận án chứng minh định lý toán học khẳng định: Mọi nỗ lực nhúng định danh thực thể vào bên trong chữ ký số thuộc họ TEGTSS-II (bao gồm ElGamal, DSA, ECDSA, GOST) để ngăn chặn tấn công UKS trên giao thức STS-MAC đều vô hiệu trước kẻ tấn công trực tuyến có khả năng tính toán đại số lựa chọn khóa công khai tương thích.

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

Khung phân tích của luận án được xây dựng dựa trên sự liên kết chặt chẽ giữa ba trụ cột:

  • Trụ cột quy khử độ phức tạp (Reductionist Security): Xây dựng thuật toán giải bài toán ECDLP với giả thiết tồn tại kẻ tấn công $\mathcal{A}$ phá vỡ tính an toàn EUF-CMA của lược đồ chữ ký với xác suất không thể bỏ qua.
  • Trụ cột cây Merkle tối ưu: Sử dụng cấu trúc cây Merkle nhiều tầng để gom cụm các bản băm thông điệp độc lập, cho phép thuật toán ký bó (Sequential/Batch Signature) chỉ cần thực hiện đúng một phép nhân vô hướng điểm trên đường cong elliptic cho cả khối $2^k$ thông điệp.
  • Trụ cột mô hình CK và bộ biên dịch xác thực (Authenticator Compilation):

"Một bộ biên dịch là một thuật toán lấy đầu vào là mô tả của giao thức $\pi$ và đưa ra mô tả của giao thức $\pi'$. Một bộ xác thực là một bộ biên dịch mà ở đó với mọi giao thức $\pi$, giao thức $\mathcal{C}(\pi)$ mô phỏng $\pi$ trong mô hình UM."

                               Khung Phân Tích & Đóng Góp Lý Thuyết
+----------------------------------------------------------------------------------------------------+
|                                 BÀI TOÁN KHÓ CƠ SỞ: ECDLP TRÊN E(F_p)                              |
+----------------------------------------------------------------------------------------------------+
                                                  |
                         +------------------------+------------------------+
                         |                                                 |
                         v                                                 v
        +----------------------------------+             +----------------------------------+
        | LƯỢC ĐỒ CHỮ KÝ SỐ MỚI (CHƯƠNG 2) |             | GIAO THỨC TRAO ĐỔI KHÓA (CHƯƠNG 3)|
        +----------------------------------+             +----------------------------------+
        | - Biến thể GOST-I & GOST-II      |             | - Giao thức M-SIGMA & M1-SIGMA   |
        | - Độ an toàn EUF-CMA (ROM)       |             | - Kháng UKS, KCI, bảo vệ PFS     |
        | - Chữ ký bó SBS-01 & SBS-02      |             | - Chứng minh an toàn mô hình CK  |
        |   (Dựa trên Merkle Hash Tree)    |             | - Tối ưu hóa trên nhóm điểm E(Fp)|
        +----------------------------------+             +----------------------------------+
                         |                                                 |
                         +------------------------+------------------------+
                                                  |
                                                  v
+----------------------------------------------------------------------------------------------------+
| ỨNG DỤNG THỰC TIỄN: PKI QUÂN SỰ, AN NINH MẠNG QUỐC GIA, GIAO THỨC TLS/IPSEC, CHÍNH PHỦ ĐIỆN TỬ VIỆT NAM |
+----------------------------------------------------------------------------------------------------+

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

Thiết kế nghiên cứu

Luận án áp dụng phương pháp luận chủ nghĩa thực chứng toán học (Mathematical Positivism) kết hợp tiếp cận giải tích - quy nạp hình thức (Formal Reductionism). Mọi khẳng định an toàn không dựa trên cảm tính hay thực nghiệm mù, mà được chuyển hóa thành các định lý toán học với chứng minh quy khử chặt chẽ. Thiết kế nghiên cứu bao gồm thiết kế đa tầng từ lý thuyết đại số trừu tượng, mô hình hóa trò chơi bảo mật (security games), đến thực nghiệm đo lường hiệu năng trên máy tính số.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ các chuẩn mực cao nhất của ngành mật mã học hiện đại:

  1. Thiết lập mô hình tấn công: Mô hình hóa kẻ tấn công $\mathcal{A}$ dưới dạng máy Turing xác suất thời gian đa thức (Probabilistic Polynomial-Time Turing Machine - PPT), được cấp quyền truy vấn không giới hạn đến các bộ tiên tri ký số (Signing Oracle) và tiên tri băm (Hash Oracle / Random Oracle).
  2. Kỹ thuật quy khử (Reduction Proof): Xây dựng thuật toán mô phỏng $\mathcal{B}$ sử dụng $\mathcal{A}$ như một chương trình con. Nếu $\mathcal{A}$ có thể tạo ra chữ ký giả mạo hợp lệ $(r^, s^)$ trên thông điệp chưa từng được truy vấn $m^*$ với xác suất $\epsilon$, thì $\mathcal{B}$ sẽ giải quyết thành công bài toán logarit rời rạc ECDLP trên nhóm điểm $\mathbb{E}(\mathbb{F}_p)$ với xác suất $\epsilon' \ge \text{poly}(\epsilon)$.
  3. Kỹ thuật chia nhánh (Forking Lemma): Áp dụng bổ đề chia nhánh của Pointcheval và Stern để trích xuất khóa bí mật từ hai câu trả lời ngẫu nhiên khác nhau của bộ tiên tri trên cùng một cam kết trạng thái.

Data và phân tích

Nghiên cứu tiến hành đánh giá thực nghiệm định lượng chi tiết nhằm đối soát giữa lý thuyết và thực thi:

  • Môi trường thực nghiệm: Cài đặt trên hệ thống phần cứng tiêu chuẩn sử dụng ngôn ngữ C/C++ kết hợp thư viện mật mã học chuyên dụng, đo lường chính xác chu kỳ vi xử lý (clock cycles) và thời gian thực thi mili-giây (ms).
  • Tham số thực nghiệm: Khảo sát trên các đường cong elliptic chuẩn theo khuyến nghị của GOST R 34.10-2012 và NIST FIPS 186-4 với độ dài khóa bí mật 256-bit ($p, q \approx 2^{256}$) và 512-bit ($p, q \approx 2^{512}$).
  • Chỉ số đo lường:
    • Thời gian sinh khóa ($T_{keygen}$), thời gian tạo chữ ký ($T_{sign}$), thời gian xác minh ($T_{verify}$).
    • Tốc độ xử lý thông điệp trong chữ ký bó ($SBS-01$, $SBS-02$) với các tập kích thước khối dữ liệu $N = 4, 8, 16, 32, 64, 128, 256$.
    • Băng thông truyền thông (tính bằng byte) và số bước thông điệp trong các giao thức M-SIGMA so với ISO-STS-MAC và SIGMA gốc.

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

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

Luận án đạt được 5 phát hiện cốt lõi mang tính bước ngoặt:

  1. Phát hiện 1 - Nhận diện toàn diện các điểm suy biến bước lặp: Làm sáng tỏ nguyên lý tại sao các chuẩn quốc tế ECDSA, GOST R 34.10-2012, ECGDSA, EC-Schnorr bắt buộc phải thiết lập lại bước lặp khi $r \equiv 0 \pmod q$ hoặc $s \equiv 0 \pmod q$ hoặc $H(m) \equiv 0 \pmod q$. Luận án chứng minh rằng việc vi phạm các điều kiện này không chỉ gây lỗi thuật toán mà dẫn trực tiếp đến giả mạo vạn năng hoặc làm lộ khóa bí mật dài hạn của hệ thống.
  2. Phát hiện 2 - Chứng minh GOST R 34.10-2012 miễn nhiễm với tấn công DSKS của Stern et al.: Khác biệt căn bản với ECDSA (vốn bị lỗi chữ ký kép cho mọi cặp thông điệp bất kỳ do phương trình giải hệ hai ẩn số luôn có nghiệm), GOST R 34.10-2012 chỉ có thể bị lỗi chữ ký kép khi hai thông điệp thỏa mãn điều kiện $H(m) = H(m')$. Với hàm băm mật mã an toàn, xác suất này là $O(1/q) \le 2^{-256}$, hoàn toàn triệt tiêu trong thực tế.
  3. Phát hiện 3 - Vô hiệu hóa giải pháp sửa đổi STS-MAC của Blake-Wilson & Menezes: Chứng minh bằng giải tích rằng kẻ tấn công trực tuyến luôn có thể tính toán một cặp khóa công khai giả mạo $\bar{Y} = \bar{x} G$ thỏa mãn phương trình xác minh trên thông điệp chứa định danh $(\hat{A}, \hat{B})$ cho mọi chữ ký thuộc lớp TEGTSS-II, khẳng định cấu trúc lồng chữ ký vào MAC (SIG-in-MAC) là sai lầm về mặt thiết kế giao thức.
  4. Phát hiện 4 - Đề xuất các biến thể chữ ký GOST-I, GOST-II và chữ ký bó SBS: Xây dựng thành công hai lược đồ chữ ký mới GOST-I và GOST-II đạt an toàn EUF-CMA trong mô hình Random Oracle; đồng thời phát triển hai lược đồ chữ ký bó SBS-01 và SBS-02 giúp giảm thiểu chi phí tính toán cho $N$ thông điệp từ $N \times T_{sign}$ xuống xấp xỉ $1 \times T_{sign} + N \times T_{hash}$, tối ưu hóa hiệu năng vượt trội hơn $80%$ khi $N \ge 64$.
  5. Phát hiện 5 - Phát triển các giao thức trao đổi khóa M-SIGMA và M1-SIGMA: Thiết kế các giao thức AKE mới trên nền tảng đường cong elliptic đạt đầy đủ các đặc tính an toàn: xác thực khóa ẩn, chứng thực khóa hiện, kháng hoàn toàn tấn công UKS, kháng mạo danh thỏa hiệp khóa (KCI), đảm bảo độ an toàn về phía trước hoàn hảo (PFS), và bảo vệ định danh người dùng trong mô hình Canetti-Krawczyk.

Implications đa chiều

  • Ý nghĩa lý thuyết: Hoàn thiện bức tranh an toàn chứng minh được cho họ chữ ký kiểu GOST; định hình chuẩn mực phân tích cấu trúc đại số của các nguyên thủy mật mã trên đường cong elliptic; thống nhất khung đánh giá giao thức trao đổi khóa trong mô hình đối tác định rõ sau.
  • Ý nghĩa phương pháp luận: Cung cấp công cụ mẫu mực về việc ứng dụng Bổ đề chia nhánh, mô hình Random Oracle và kỹ thuật bộ biên dịch xác thực (MT Authenticator) để chứng minh an toàn cho các hệ mật phức hợp.
  • Ứng dụng thực tiễn: Các lược đồ đề xuất (GOST-I, GOST-II, SBS-01, SBS-02, M-SIGMA, M1-SIGMA) có thể tích hợp trực tiếp vào các hệ thống Hạ tầng khóa công khai (PKI), mạng truyền số liệu quân sự, hệ thống thông tin chỉ huy điều hành tác chiến, và các cổng thanh toán điện tử quốc gia.
  • Khuyến nghị chính sách: Cung cấp luận cứ khoa học chuẩn xác để Ban Cơ yếu Chính phủ và Bộ Thông tin & Truyền thông ban hành các tiêu chuẩn quốc gia mới về chữ ký số và trao đổi khóa mật mã, thay thế dần các thuật toán cũ tiềm ẩn rủi ro.

Limitations và Future Research

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

  1. Giả thiết mô hình lý tưởng hóa: Các chứng minh an toàn của GOST-I, GOST-II và M-SIGMA được xây dựng trong mô hình Bộ tiên tri ngẫu nhiên (ROM). Mặc dù ROM là công cụ chuẩn mực trong mật mã học hiện đại, trong thực tế các hàm băm cụ thể (như SHA-256, SHA-3, GOST R 34.11-2012 Streebog) là các hàm xác định và có thể tồn tại những điểm yếu cấu trúc chưa được mô hình hóa đầy đủ.
  2. Phạm vi an toàn tiền lượng tử: Toàn bộ các đề xuất của luận án được xây dựng trên bài toán logarit rời rạc trên đường cong elliptic (ECDLP). Khi máy tính lượng tử quy mô lớn xuất hiện, thuật toán Shor có thể giải quyết ECDLP trong thời gian đa thức, đe dọa trực tiếp đến tính an toàn dài hạn của các hệ thống này.
  3. Phạm vi thử nghiệm phần cứng: Thực nghiệm trong luận án chủ yếu tập trung trên nền tảng vi xử lý đa năng (CPU x86/ARM), chưa triển khai đo đạc sâu trên các chip chuyên dụng nhúng (FPGA, ASIC, thẻ thông minh SmartCard) với các kênh tấn công vật lý (Side-Channel Attacks).

Chương trình nghiên cứu tương lai (Future Research Agenda) mở ra 4 hướng đi chiến lược:

  • Hướng 1: Nghiên cứu chuyển đổi các lược đồ chữ ký và giao thức trao đổi khóa sang hệ mật mã kháng lượng tử (Post-Quantum Cryptography - PQC), đặc biệt là mật mã dựa trên mạng tinh thể (Lattice-based Cryptography) như CRYSTALS-Dilithium, Falcon, và Kyber.
  • Hướng 2: Thiết kế các phiên bản chữ ký ngưỡng (Threshold Signatures) và chữ ký mù (Blind Signatures) dựa trên cấu trúc GOST-I và SBS phục vụ ứng dụng trong bỏ phiếu điện tử (e-voting) và tiền kỹ thuật số của Ngân hàng Trung ương (CBDC).
  • Hướng 3: Mở rộng chứng minh an toàn của các biến thể GOST trong mô hình chuẩn (Standard Model) không sử dụng Random Oracle.
  • Hướng 4: Cài đặt tối ưu hóa trên phần cứng nhúng quân sự và đánh giá khả năng kháng tấn công phân tích năng lượng vi sai (DPA) và tấn công cài lỗi (Fault Attacks).

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

Công trình luận án mang lại những giá trị tác động sâu rộng trên nhiều bình diện:

  • Tác động học thuật: Đóng góp các công trình chất lượng cao công bố trên các tạp chí và kỷ yếu hội thảo uy tín chuyên ngành toán tin và mật mã học; cung cấp tài liệu tham khảo chuyên sâu cho các chương trình đào tạo tiến sĩ, thạc sĩ tại các viện nghiên cứu và trường đại học lớn.
  • Chuyển đổi công nghiệp an toàn thông tin: Cung cấp các thuật toán chữ ký bó tối ưu hóa cao cho các tập đoàn công nghệ số, doanh nghiệp an ninh mạng, các nền tảng xác thực giao dịch tài chính tốc độ cao đòi hỏi xử lý hàng chục nghìn giao dịch mỗi giây.
  • Chính sách và an ninh quốc phòng: Trực tiếp phục vụ nhiệm vụ bảo vệ bí mật nhà nước, bảo mật thông tin chỉ huy quân sự thuộc Bộ Quốc phòng và Ban Cơ yếu Chính phủ; nâng cao năng lực tự chủ công nghệ mật mã quốc gia, giảm thiểu sự phụ thuộc vào các chuẩn mật mã độc quyền nước ngoài.

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

  • Nghiên cứu sinh và Giảng viên ngành Toán tin, Mật mã học, An toàn thông tin: Tiếp cận phương pháp luận chuẩn mực về an toàn chứng minh được, kỹ thuật phân tích lỗi đại số và quy trình chứng minh giao thức trong mô hình CK.
  • Kỹ sư R&D Mật mã và An toàn hệ thống: Ứng dụng ngay các thuật toán SBS-01, SBS-02, GOST-I, GOST-II vào việc phát triển thư viện mật mã, module bảo mật phần cứng (HSM) và tối ưu hóa hệ thống máy chủ xác thực.
  • Các cơ quan Quản lý Nhà nước và Ban Cơ yếu Chính phủ: Có cơ sở khoa học toán học vững chắc để thẩm định, đánh giá và cấp chứng nhận an toàn cho các sản phẩm mật mã dùng trong hệ sinh thái Chính phủ điện tử và Quốc phòng.

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 nhất của luận án là gì?

Đó là việc hoàn thiện khung lý thuyết ECTEGTSS (ElGamal tin cậy trên đường cong elliptic), chỉnh lý điều kiện ánh xạ "gần 1-1" theo nguyên lý Dirichlet, và lần đầu tiên chứng minh được độ an toàn EUF-CMA của các biến thể chữ ký số kiểu GOST (GOST-I, GOST-II) trong mô hình Bộ tiên tri ngẫu nhiên (ROM), giải quyết bài toán mở mà các công trình quốc tế trước đó (như Varnovskii, 2018) chưa giải quyết trọn vẹn.

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

So với nghiên cứu của Stern et al. (2002) chỉ tập trung khai thác lỗ hổng trên ECDSA và nghiên cứu của Brown (2001) trong mô hình Generic Group, luận án đã xây dựng một phương pháp luận đa diện: vừa giải mã cơ chế toán học của các bước lặp suy biến ($r=0, s=0, e=0$), vừa phân tích so sánh đối đối chứng tính kháng DSKS giữa GOST và ECDSA, đồng thời tổng quát hóa giới hạn an toàn của họ giao thức STS-MAC trên toàn bộ lớp chữ ký TEGTSS-II.

3. Phát hiện nào trong luận án gây bất ngờ nhất về mặt kết quả khoa học?

Phát hiện gây bất ngờ nhất là: Mặc dù GOST R 34.10-2012 và ECDSA đều có chung gốc gác từ họ chữ ký ElGamal trên đường cong elliptic, GOST R 34.10-2012 lại sở hữu khả năng kháng lỗi chọn khóa chữ ký kép (DSKS) và tính dễ uốn tự nhiên vượt trội so với ECDSA. Điều này xuất phát từ cấu trúc phương trình xác minh của GOST không cho phép kẻ tấn công thiết lập hệ phương trình hai ẩn độc lập để giải tìm khóa bí mật giả mạo như trên ECDSA.

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

Hoàn toàn đầy đủ. Toàn bộ các thuật toán sinh khóa, ký, xác minh của GOST-I, GOST-II, SBS-01, SBS-02, cũng như quy trình trao đổi thông điệp từng bước của M-SIGMA và M1-SIGMA đều được mô tả chi tiết bằng mã giả toán học chính xác, kèm theo danh mục tham số đường cong elliptic chuẩn trong phần Phụ lục của luận án.

5. Chương trình nghị sự nghiên cứu 10 năm tiếp theo được định hình ra sao?

Chương trình 10 năm tập trung vào 3 trọng tâm: (i) Kháng lượng tử hóa toàn bộ các nguyên thủy chữ ký và trao đổi khóa sang nền tảng đại số Lattice/Isogeny; (ii) Chuẩn hóa các giao thức đề xuất thành Tiêu chuẩn Quốc gia (TCVN) và Tiêu chuẩn Ngành Cơ yếu; (iii) Chế tạo chip mật mã phần cứng bảo mật chuyên dụng tích hợp các thuật toán M-SIGMA và SBS.

Kết luận

Luận án tiến sĩ của NCS Triệu Quang Phong là một công trình nghiên cứu xuất sắc, mẫu mực về tính hàn lâm toán học và giá trị ứng dụng thực tiễn trong ngành Cơ sở toán học cho tin học. Tóm lược 6 đóng góp cốt lõi của công trình:

  1. Phân tích toán học toàn diện và chứng minh tính tất yếu của các bước lặp loại bỏ điểm suy biến trong các chuẩn chữ ký số ECDSA, GOST R 34.10-2012, ECGDSA, EC-Schnorr.
  2. Chứng minh toán học khẳng định GOST R 34.10-2012 kháng được lỗi chọn khóa chữ ký kép (DSKS) và tính dễ uốn của Stern et al. với xác suất vi phạm ở mức không đáng kể $O(1/q)$.
  3. Khái quát hóa định lý về sự thất bại của kỹ thuật đưa định danh vào chữ ký trong giao thức STS-MAC trên toàn bộ lớp chữ ký ElGamal tin cậy TEGTSS-II.
  4. Đề xuất thành công các lược đồ chữ ký số mới GOST-I, GOST-II đạt an toàn chứng minh được EUF-CMA trong mô hình Bộ tiên tri ngẫu nhiên.
  5. Sáng tạo hai lược đồ chữ ký bó an toàn SBS-01 và SBS-02 trên cây Merkle giúp tăng tốc độ xử lý hàng loạt thông điệp vượt trội.
  6. Thiết kế và chứng minh an toàn các giao thức trao đổi khóa tiên tiến M-SIGMA và M1-SIGMA trên nhóm điểm đường cong elliptic trong mô hình Canetti-Krawczyk.

Công trình tạo lập nền tảng vững chắc cho sự phát triển của ngành mật mã học hiện đại tại Việt Nam, đóng góp trực tiếp vào công cuộc bảo vệ chủ quyền số, an ninh mạng và xây dựng Chính phủ điện tử an toàn, tin cậy.