Tổng quan 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 thực hiện bởi nghiên cứu sinh Triệu Quang Phong, dưới sự hướng dẫn khoa học của TS. Trần Duy Lai và TS. Vũ Quốc Thành, tại Viện Khoa học và Công nghệ quân sự – Bộ Quốc phòng (Hà Nội, 2023), thuộc chuyên ngành Cơ sở toán học cho tin học (mã số: 9 46 01 10).

Tính cấp thiết và khoảng trống nghiên cứu

Trong bối cảnh công nghệ thông tin phát triển, việc trao đổi thông tin qua mạng Internet trở thành phương thức phổ biến nhưng luôn tiềm ẩn rủi ro mất an toàn. Để đảm bảo tính bí mật và xác thực, các bên cần thiết lập khóa chung thông qua các giao thức trao đổi khóa (thỏa thuận khóa). Đa số các giao thức hiện đại dựa trên cơ chế Diffie-Hellman nhưng cơ chế này không có xác thực, dễ bị tấn công người đứng giữa (Man-in-the-Middle). Chữ ký số là giải pháp khả thi để bổ sung tính xác thực cho giao thức trao đổi khóa, đồng thời là thành phần cốt lõi trong các giao thức mạng như IPsec, SSL, TLS và các ứng dụng xác thực điện tử.

Đối với các nguyên thủy mật mã, yêu cầu cốt lõi là phải đạt được "an toàn chứng minh được" (provable security) trong các mô hình lý thuyết dựa trên lập luận toán học. 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), thì độ an toàn chứng minh được của chuẩn chữ ký số GOST R 34.10-2012 của Liên bang Nga vẫn là một vấn đề mở chưa được giải quyết đầy đủ trong các công trình công bố. Bên cạnh đó, việc áp dụng các chữ ký số vào giao thức trao đổi khóa (như họ giao thức STS, SIGMA) còn tồn tại các điểm yếu trước các tấn công chia sẻ khóa không rõ đối tác (Unknown Key-Share - UKS) hoặc hiệu năng tính toán chưa tối ưu. Do đó, việc xây dựng các biến thể chữ ký số có độ an toàn chứng minh được dựa trên GOST R 34.10-2012 và phát triển các giao thức trao đổi khóa an toàn, hiệu quả là một đòi hỏi cấp thiết.

Mục tiêu nghiên cứu

Mục tiêu tổng quát của luận án là đề xuất lược đồ chữ ký số an toàn, hiệu quả và xây dựng giao thức trao đổi khóa có xác thực dựa trên chữ ký được đề xuất.

Để đạt được mục tiêu chung, luận án xác định 04 mục tiêu cụ thể:

  1. Nghiên cứu phân tích các thành phần mật mã có trong lược đồ chữ ký số và các phương pháp chứng minh an toàn cho lược đồ chữ ký số.
  2. Nghiên cứu phân tích các mô hình chứng minh an toàn và các phương pháp chứng minh an toàn cho giao thức trao đổi khóa.
  3. Xây dựng, đề xuất mới lược đồ chữ ký số đạt hiệu quả trong tính toán và độ an toàn chứng minh được.
  4. Xây dựng, đề xuất mới giao thức trao đổi khóa có xác thực dựa trên chữ ký số được đề xuất đạt được hiệu năng tính toán và các thuộc tính an toàn cơ bản.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các lược đồ chữ ký số và giao thức trao đổi khóa dựa trên chữ ký số có độ an toàn chứng minh được trong các mô hình lý thuyết.
  • Phạm vi nghiên cứu:
    • Về chữ ký số: Lược đồ ECDSA, GOST R 34.10-2012, TEGTSS, ECTEGTSS.
    • Về giao thức trao đổi khóa: Các họ giao thức trao đổi khóa có xác thực dựa trên chữ ký số gồm STS (Station-to-Station) và SIGMA (SIGn-and-MAc).
    • Về phương pháp: Các mô hình chứng minh an toàn lý thuyết (mô hình bộ tiên tri ngẫu nhiên, mô hình nhóm tổng quát, mô hình thiết bị bảo vệ, mô hình CK và eCK).

Tổng quan tài liệu và vị trí của luận án

Luận án đã tổng quan và phân tích hệ thống các công trình nghiên cứu trong nước và quốc tế liên quan đến hai trụ cột chính: chữ ký số an toàn chứng minh được và giao thức trao đổi khóa có xác thực.

Các hướng nghiên cứu trước được điểm lại

  1. Cơ sở lý thuyết về chữ ký số và mô hình an toàn:

    • S. Goldwasser, S. Micali và R. L. Rivest (1984, 1988) đặt nền móng cho khái niệm hình thức về lược đồ chữ ký số tổng quát $\Sigma = (\mathsf{KeyGen}, \mathsf{Sign}, \mathsf{Verify})$ và phân loại các mức độ an toàn: 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), phân tích tính dễ uốn và chỉ ra các điểm yếu của ElGamal (1985), RSA (1978) trước tấn công chỉ sử dụng khóa (Key-only attack).
    • D. Pointcheval và J. Stern (1996, 2000) cùng các cộng sự đề xuất các lược đồ chữ ký số kiểu ElGamal đáng tin cậy (TEGTSS, gồm TEGTSS-I và TEGTSS-II) đạt độ an toàn EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên (Random Oracle Model - ROM) dựa trên kỹ thuật bộ mô phỏng (simulator) để quy giảm độ an toàn EUF-CMA về EUF-NMA (tấn công không sử dụng thông điệp).
    • D. Brown (2005) chứng minh độ an toàn của ECDSA trong mô hình nhóm tổng quát.
    • J. Stern, D. Pointcheval, J. Malone-Lee và N. P. Smart chỉ ra hai hạn chế cấu trúc của ECDSA: lỗi chọn khóa chữ ký kép (Duplicate Signature Key Selection - DSKS) và tính dễ uốn (malleability).
    • N. P. Varnovskii (2006) đề xuất mô hình với thiết bị bảo vệ (Tamper-Proof Device Model) để đánh giá an toàn cho phiên bản sửa đổi của GOST dựa trên giả thiết bài toán nửa logarit rời rạc.
    • M. Fersch, E. Kiltz và B. Poettering (2016) đề xuất mô hình bộ tiên tri ngẫu nhiên song ánh (Bijective Random Oracle Model) để phân tích DSA và ECDSA.

  2. Các giao thức trao đổi khóa có xác thực:

    • W. Diffie, P. C. van Oorschot và M. J. Wiener (1992) giới thiệu giao thức Station-to-Station cơ bản (STS-ENC) và biến thể STS-MAC nhằm cung cấp xác thực khóa và chứng nhận khóa.
    • S. Blake-Wilson và A. Menezes (1999) chỉ ra các điểm yếu của STS trước tấn công thay đổi khóa công khai và tấn công chia sẻ khóa không rõ đối tác (UKS) trực tuyến dựa trên tính chất DSKS của các chữ ký số (RSA, ElGamal, DSA, ECDSA).
    • J. H. Kim (2007) chứng minh rằng việc đưa định danh của các bên vào chữ ký trong STS-MAC không ngăn chặn được tấn công UKS trực tuyến khi sử dụng chữ ký ElGamal.
    • Chuẩn quốc tế ISO/IEC 11770-3 chuẩn hóa giao thức ISO-STS-MAC để khắc phục UKS bằng cách áp dụng MAC lên thông điệp ký thay vì chữ ký.
    • R. Canetti và H. Krawczyk (2001, 2002) đưa ra mô hình an toàn CK và phân tích họ giao thức SIGMA (SIGMA cơ bản, SIGMA-I, SIGMA-R, SIGMA đầy đủ). Krawczyk (2005) phát triển mô hình eCK phân tích giao thức HMQV.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết

  • Chuẩn chữ ký số GOST R 34.10-2012 chưa có chứng minh an toàn hình thức đầy đủ trong mô hình chuẩn hoặc mô hình lý tưởng mà không cần giả định thiết bị phần cứng bảo vệ.
  • Điều kiện ánh xạ 1-1 trong dạng chữ ký TEGTSS-II của Pointcheval và cộng sự chưa hoàn toàn chặt chẽ khi xét trên không gian hữu hạn.
  • Biện pháp đưa định danh vào chữ ký trong STS-MAC chưa giải quyết triệt để tấn công UKS khi mở rộng sang các hệ chữ ký như DSA và TEGTSS-II.
  • Sự cần thiết phải có các biến thể giao thức SIGMA và các lược đồ chữ ký số dạng bó (batch signature) có hiệu năng cao hơn, bảo vệ định danh tốt hơn và tương thích với cài đặt trên nhóm điểm đường cong elliptic.

Cơ sở lý thuyết và phương pháp nghiên cứu

Lý thuyết, khái niệm và khung phân tích

  • Cấu trúc chữ ký số: Bộ ba thuật toán $(\mathsf{KeyGen}, \mathsf{Sign}, \mathsf{Verify})$ xác định trên nhóm điểm đường cong elliptic $E(\mathbb{F}_p)$ cấp $q$.
  • Mô hình an toàn cho chữ ký số: Khung phân tích EUF-CMA theo định nghĩa của Goldwasser-Micali-Rivest; mô hình bộ tiên tri ngẫu nhiên (ROM), mô hình nhóm tổng quát, mô hình bộ tiên tri ngẫu nhiên song ánh. Kỹ thuật quy giảm an toàn thông qua bộ mô phỏng quá trình ký $\mathcal{S}$ nhằm quy chuyển độ an toàn từ EUF-CMA về EUF-NMA.
  • Thuộc tính an toàn của giao thức trao đổi khóa:
    • Xác thực khóa ẩn (Implicit Key Authentication - AK): Đảm bảo không bên thứ ba nào ngoài đối tác dự kiến biết được khóa bí mật chia sẻ.
    • Chứng thực khóa hiện (Explicit Key Confirmation - AKC): Đảm bảo đối tác đã thực sự tính ra khóa bí mật chung.
    • Độ an toàn về phía trước hoàn hảo (Perfect Forward Secrecy - PFS): Khóa phiên cũ không bị lộ khi khóa bí mật dài hạn bị thỏa hiệp.
    • Kháng mạo danh thỏa hiệp khóa (Key Compromise Impersonation - KCI): Kẻ tấn công có khóa dài hạn của một bên không thể mạo danh bên khác để gửi dữ liệu cho bên đó.
    • Kháng tấn công chia sẻ khóa không rõ đối tác (Unknown Key-Share - UKS): Tránh việc một bên tin rằng chia sẻ khóa với đối tác A trong khi đối tác thực tế là B.
  • Mô hình an toàn cho giao thức: Mô hình Canetti-Krawczyk (CK) với các truy vấn $\mathsf{SessionStateReveal}$, $\mathsf{Expire}$, $\mathsf{SessionKeyReveal}$, $\mathsf{Corrupt}$, $\mathsf{Test}$; mô hình liên kết không xác thực (UM) và liên kết có xác thực (AM) thông qua bộ xác thực truyền thông điệp $\mathsf{MT}_{\Sigma}$; mô hình eCK.

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

  • Phương pháp phân tích và tổng hợp lý thuyết: Hệ thống hóa các kết quả nghiên cứu về cấu trúc toán học của các lược đồ chữ ký số (DSA, ECDSA, GOST, TEGTSS) và các giao thức trao đổi khóa (STS, SIGMA, HMQV).
  • Phương pháp lập luận toán học: Sử dụng các công cụ của đại số trừu tượng, lý thuyết số, nhóm điểm đường cong elliptic và lý thuyết xác suất để chứng minh các định lý, mệnh đề về tính chất biến đổi 1-1, khả năng kháng tấn công giả mạo và tính đúng đắn của các phương trình xác minh.
  • Phương pháp định tính: Phân tích logic cấu trúc giao thức để phát hiện các lỗ hổng an toàn (tấn công UKS, tấn công phản xạ, tính dễ uốn, va chạm chữ ký kép).
  • Phương pháp thực nghiệm: Lập trình, cài đặt thử nghiệm các thuật toán đề xuất trên nhóm điểm đường cong elliptic, đo đạc và so sánh thời gian thực thi, chi phí tính toán và hiệu năng với các chuẩn hiện hành.

Nguồn tư liệu và dữ liệu

  • Văn bản tiêu chuẩn quốc tế và quốc gia: FIPS 186 (ECDSA/DSA), GOST R 34.10-2012, GOST R 34.10-94, ISO/IEC 11770-3.
  • Các bài báo khoa học chuyên ngành mật mã trên các kỷ yếu hội thảo quốc tế (CRYPTO, EUROCRYPT, ASIACRYPT) và các tạp chí chuyên ngành của IEEE, Springer.
  • Dữ liệu tham số đường cong elliptic và các phép đo thực nghiệm được trình bày trong các bảng kết quả và phần phụ lục của luận án.

Nội dung chính theo từng chương

Chương 1: Khái quát chung về chữ ký số và giao thức trao đổi khóa

Chương 1 hệ thống hóa các khái niệm nền tảng, khảo sát chi tiết cấu trúc toán học của các chuẩn chữ ký số ECDSA, GOST R 34.10-2012, lược đồ TEGTSS, họ giao thức STS và SIGMA, đồng thời công bố các kết quả phân tích chuyên sâu của tác giả về các điều kiện bước lặp, tính dễ uốn và tấn công UKS.

1. Đánh giá về vấn đề bước lặp và điều kiện biên

Luận án phân tích chi tiết lý do kỹ thuật buộc các thuật toán ký phải lặp lại khi các giá trị trung gian triệt tiêu:

  • Đối với ECDSA: Nếu chấp nhận $r = 0$, kẻ tấn công có thể tạo ra chữ ký hợp lệ $(0, s')$ trên mọi thông điệp bất kỳ bằng cách chọn $s' = s \cdot H(m') \cdot H(m)^{-1} \bmod q$, dẫn đến giả mạo vạn năng. Nếu $s = 0$, khóa bí mật bị lộ hoàn toàn qua công thức $d = (k \cdot r - H(m)) \cdot r^{-1} \bmod q$ hoặc không thể tính nghịch đảo $s^{-1}$ trong thuật toán xác minh. Nếu $H(m) = 0$, lược đồ trở nên dễ uốn với vô số chữ ký hợp lệ dạng $(r, s \cdot c \bmod q)$.
  • Đối với GOST R 34.10-2012: Nếu $r = 0$, dẫn đến giả mạo vạn năng với chữ ký dạng $(0, s')$. Nếu $H(m) = 0$ mà không gán lại bằng $1$, khóa bí mật $d$ bị lộ trực tiếp qua công thức $d = k \cdot r^{-1} \bmod q$ (phá vỡ hoàn toàn), đồng thời thuật toán xác minh không thể tính $e^{-1} = H(m)^{-1} \bmod q$.

Bảng 1.1: Tổng hợp kết quả khảo sát điều kiện bước lặp trên một số lược đồ chữ ký số

Lược đồ Điều kiện $r = 0$ Điều kiện $s = 0$ Điều kiện $H(m) = 0$
ECDSA Bị giả mạo vạn năng Bị phá vỡ hoàn toàn và lỗi xác minh Dễ uốn (sinh vô hạn chữ ký)
GOST R 34.10-2012 Bị giả mạo vạn năng Chưa tìm thấy mối đe dọa trực tiếp Bị phá vỡ hoàn toàn và lỗi xác minh
ECGDSA Bị giả mạo vạn năng Dễ uốn Chưa tìm thấy mối đe dọa trực tiếp
EC-Schnorr Bị giả mạo vạn năng Dễ uốn Chưa tìm thấy mối đe dọa trực tiếp

2. Đánh giá về chữ ký kép (DSKS) và tính dễ uốn

  • Luận án chứng minh GOST R 34.10-2012 có khả năng kháng lại lỗi chữ ký kép và tính dễ uốn vốn tồn tại trên ECDSA. Dưới giả thiết hàm băm có phân bố đều, mật độ các cặp thông điệp có thể bị khai thác lỗi chữ ký kép trên GOST chỉ ở mức xấp xỉ $\mathcal{O}(q^{-1})$ (với $q \approx 2^{256}$ hoặc $2^{512}$, là đại lượng không đáng kể). Phương trình xác minh của GOST không cho phép tính trực tiếp điểm đối xứng như trên ECDSA.

3. Hoàn thiện lý thuyết cho lược đồ TEGTSS

  • Luận án phát biểu và chứng minh Mệnh đề 1.1 về tính chất 1-1 của hàm chuyển đổi trong TEGTSS. Đồng thời, tác giả chỉ ra rằng điều kiện ánh xạ 1-1 trong công trình của Pointcheval et al. [24] đối với TEGTSS-II là chưa đủ chặt chẽ khi không gian biến số là hữu hạn ($|Y| < |X|$) theo nguyên lý Dirichlet, từ đó đề xuất thay thế bằng điều kiện "gần 1-1" với sai số xác suất không đáng kể.

4. Khảo sát tấn công UKS trên các biến thể STS

  • Tác giả tổng quát hóa kết quả tấn công UKS trực tuyến của J. H. Kim [12]: chứng minh rằng phương pháp đưa định danh thực thể vào chữ ký trong giao thức STS-MAC không ngăn chặn được tấn công UKS khi sử dụng chữ ký DSA (Mệnh đề 1.2) và mở rộng khẳng định tính đúng đắn đối với toàn bộ họ chữ ký dạng TEGTSS-II (Mệnh đề 1.3). Kết luận này khẳng định cấu trúc lồng chữ ký vào MAC (SIG-in-MAC) không đảm bảo an toàn tuyệt đối.

Bảng 1.2: So sánh các tính chất an toàn trên họ giao thức STS

Thuộc tính an toàn Giao thức STS-ENC Giao thức STS-MAC Giao thức ISO-STS-MAC
Số bước truyền thông 3 bước 3 bước 3 bước
Xác thực khóa ẩn (AK) Đạt được ($\hat{A}$ và $\hat{B}$) Đạt được ($\hat{A}$ và $\hat{B}$) Đạt được ($\hat{A}$ và $\hat{B}$)
Chứng nhận khóa hiện (AKC) Đạt được ($\hat{A}$ và $\hat{B}$) Đạt được ($\hat{A}$ và $\hat{B}$) Đạt được ($\hat{A}$ và $\hat{B}$)
Kháng tấn công UKS Không Không Có
Độ an toàn về phía trước (PFS) Có (ngay cả khi lộ khóa dài hạn) Có (ngay cả khi lộ khóa dài hạn) Có (ngay cả khi lộ khóa dài hạn)
Kháng mạo danh KCI Có Có Có

Chương 2: Đề xuất lược đồ chữ ký số an toàn

Chương 2 tập trung vào các đóng góp mới của tác giả trong việc phát triển các lược đồ chữ ký số an toàn chứng minh được và lược đồ chữ ký bó.

1. Lược đồ chữ ký dạng ECTEGTSS

  • Xây dựng phiên bản đường cong elliptic của lược đồ TEGTSS (ECTEGTSS), chuyển đổi các phép toán lũy thừa trên trường hữu hạn sang phép nhân vô hướng trên nhóm điểm đường cong elliptic $E(\mathbb{F}_p)$, chứng minh độ an toàn EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên.

2. Đề xuất các biến thể GOST-I và GOST-II

Để giải quyết bài toán mở về an toàn chứng minh được cho chuẩn GOST R 34.10-2012, tác giả đề xuất hai biến thể:

  • Lược đồ GOST-I: Điều chỉnh quy trình tính toán thành phần chữ ký $s$ và phương trình xác minh nhằm thiết lập bộ mô phỏng hoàn chỉnh trong mô hình bộ tiên tri ngẫu nhiên, chứng minh đạt độ an toàn EUF-CMA.
  • Lược đồ GOST-II: Tối ưu hóa số lượng phép tính nghịch đảo modulo và phép nhân điểm trên đường cong elliptic so với GOST-I, nâng cao tốc độ ký và xác minh.
  • Đánh giá hiệu năng: So sánh lý thuyết và thực nghiệm giữa GOST-I, GOST-II và GOST R 34.10-2012 gốc cho thấy các biến thể đề xuất duy trì chi phí tính toán tương đương nhưng đạt được bằng chứng an toàn hình thức.

3. Đề xuất các lược đồ chữ ký bó an toàn (SBS-01 và SBS-02)

  • Dựa trên cấu trúc cây băm Merkle, luận án xây dựng hai lược đồ ký bó an toàn cho phép người ký tạo một chữ ký duy nhất cho một tập hợp gồm $2^n$ thông điệp:
    • SBS-01 (Sequential/Selective Batch Signature 01): Tối ưu cho việc ký và xác minh một tập thông điệp tĩnh.
    • SBS-02 (Batch Signature 02): Cho phép xác minh thích nghi từng thông điệp riêng lẻ với chuỗi chứng thực Merkle ngắn gọn mà không cần truyền toàn bộ tập thông điệp gốc.
  • Kết quả thực nghiệm xác nhận chữ ký bó SBS-01 và SBS-02 giúp giảm đáng kể kích thước truyền thông và thời gian xử lý so với việc ký và xác minh độc lập từng thông điệp.

Chương 3: Đề xuất giao thức trao đổi khóa an toàn dựa trên chữ ký số

Chương 3 trình bày việc thiết kế các giao thức trao đổi khóa có xác thực dựa trên các lược đồ chữ ký số đề xuất và tối ưu hóa cài đặt trên đường cong elliptic.

1. Đề xuất giao thức M-SIGMA và M1-SIGMA

  • Dựa trên phân tích họ giao thức SIGMA của Krawczyk, tác giả phát triển hai giao thức trao đổi khóa 3 bước mới:
    • Giao thức M-SIGMA: Cải tiến cấu trúc tính toán mã MAC và thông điệp chữ ký, đảm bảo tính chất bảo vệ định danh cho bên khởi tạo và bên đáp ứng trước các tấn công chủ động.
    • Giao thức M1-SIGMA: Tối ưu hóa việc dẫn xuất khóa phiên $K$ và khóa xác thực $K_{mac}$, giảm bớt một phép tính hàm băm trong luồng trao đổi thứ ba.
  • Luận án phân tích và chứng minh hai tính chất an toàn cốt lõi:
    • Tính chất P1: Tính không thể phân biệt của khóa phiên (Session Key Indistinguishability) trong mô hình CK với đối tác được định rõ sau.
    • Tính chất P2: Khả năng bảo vệ định danh thực thể trước các tấn công chủ động và bị động.

2. Phiên bản elliptic hóa và cài đặt hiệu năng cao

  • Xây dựng phiên bản hoàn chỉnh của M-SIGMA và M1-SIGMA trên nhóm điểm đường cong elliptic.
  • Sử dụng các kỹ thuật tính toán nhân đôi điểm và cộng điểm nhanh, tối ưu hóa quá trình dẫn xuất khóa từ tọa độ $x$ của điểm chung Diffie-Hellman $g^{xy}$.
  • So sánh thực nghiệm chỉ ra M-SIGMA và M1-SIGMA có chi phí tính toán thấp hơn giao thức SIGMA gốc và ISO-STS-MAC khi triển khai trên cùng mức an toàn tham số.

3. Phân tích và hiệu chỉnh giao thức Lemograss-3

  • Khảo sát giao thức Lemograss-3 chuẩn hóa và chỉ ra điểm yếu bảo mật trước tấn công mạo danh khi kẻ tấn công can thiệp vào luồng trao đổi tham số công khai.
  • Đề xuất mô hình cài đặt sửa đổi cho Lemograss-3 chuẩn hóa nhằm khắc phục triệt để lỗ hổng này.

Kết quả và những đóng góp mới

Luận án mang lại các kết quả và đóng góp khoa học chính sau:

Đóng góp về mặt lý luận

  1. Hoàn thiện lý thuyết an toàn cho chữ ký số:

    • Chứng minh sự cần thiết mang tính bản chất của các điều kiện bước lặp ($r \neq 0$, $s \neq 0$, $H(m) \neq 0$) trên ECDSA và GOST R 34.10-2012, chỉ ra các kịch bản tấn công giả mạo vạn năng và làm lộ khóa bí mật khi vi phạm các điều kiện này.
    • Chứng minh tính kháng lỗi chữ ký kép và tính kháng uốn của GOST R 34.10-2012 dưới giả thiết hàm băm phân bố đều.
    • Phát hiện và chỉnh sửa điều kiện ánh xạ 1-1 trong định nghĩa lược đồ chữ ký TEGTSS-II của Pointcheval et al. thành điều kiện gần 1-1 chặt chẽ hơn dựa trên nguyên lý Dirichlet.
    • Chứng minh cấu trúc lồng chữ ký vào MAC (STS-MAC) không kháng được tấn công UKS trực tuyến khi sử dụng chữ ký DSA và chữ ký dạng TEGTSS-II.

  2. Xây dựng các nguyên thủy mật mã có chứng minh an toàn:

    • Đề xuất hai lược đồ chữ ký số mới GOST-I và GOST-II phát triển từ GOST R 34.10-2012 đạt độ an toàn chứng minh được EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên.
    • Đề xuất hai lược đồ chữ ký bó an toàn SBS-01 và SBS-02 trên cây băm Merkle.
    • Đề xuất hai giao thức trao đổi khóa M-SIGMA và M1-SIGMA đạt độ an toàn trong mô hình Canetti-Krawczyk (CK), cung cấp tính chất bảo vệ định danh và tối ưu hóa hiệu năng tính toán.

Đóng góp về mặt thực tiễn và giải pháp đề xuất

  1. Xây dựng mã nguồn thử nghiệm, cung cấp bộ tham số chuẩn trên nhóm điểm đường cong elliptic phục vụ cài đặt các lược đồ GOST-I, GOST-II, SBS-01, SBS-02 và các giao thức M-SIGMA, M1-SIGMA.
  2. Đề xuất giải pháp khắc phục lỗ hổng an toàn cho giao thức Lemograss-3 chuẩn hóa.
  3. Các lược đồ và giao thức đề xuất sẵn sàng để tích hợp vào các hệ thống xác thực dữ liệu, mạng liên lạc bảo mật, chính phủ điện tử và các hạ tầng an ninh quốc phòng.

Hạn chế và hướng nghiên cứu tiếp

Dựa trên các nội dung được trình bày trong luận án, các hạn chế và hướng phát triển tiếp theo bao gồm:

  • Hạn chế:
    • Các chứng minh an toàn cho các lược đồ chữ ký số đề xuất (GOST-I, GOST-II) được thực hiện trong mô hình bộ tiên tri ngẫu nhiên (ROM) chứ chưa thực hiện trong mô hình chuẩn (Standard Model).
    • Độ an toàn của GOST R 34.10-2012 nguyên bản (không sửa đổi) vẫn chưa được giải quyết trọn vẹn trong mô hình chuẩn.
    • Các thử nghiệm hiệu năng mới dừng lại ở môi trường phần mềm mô phỏng trên máy tính tiêu chuẩn, chưa đánh giá toàn diện trên các thiết bị nhúng hoặc phần cứng chuyên dụng.
  • Hướng nghiên cứu tiếp:
    • Tiếp tục tìm kiếm phương pháp chứng minh an toàn cho chuẩn GOST R 34.10-2012 nguyên bản mà không cần điều chỉnh cấu trúc thuật toán.
    • Nghiên cứu mở rộng các giao thức M-SIGMA, M1-SIGMA sang các cấu trúc kháng lượng tử (Post-Quantum Cryptography), ứng dụng bài toán mạng tinh thể (lattice-based).
    • Tối ưu hóa phần cứng và kiểm thử thực tế trên các hệ thống truyền tin bảo mật quân sự và dân sự.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị cao cho các đối tượng:

  • Nghiên cứu sinh, học viên cao học, giảng viên: Thuộc các chuyên ngành Cơ sở toán học cho tin học, An toàn thông tin, Mật mã học. Tài liệu cung cấp phương pháp luận chặt chẽ về kỹ thuật chứng minh an toàn hình thức (game-based proofs, reduction proofs), phương pháp xây dựng bộ mô phỏng (simulator) và phân tích các mô hình an toàn như ROM, Generic Group Model, Canetti-Krawczyk Model.
  • Kỹ sư và chuyên gia an toàn thông tin: Có thể tham khảo trực tiếp cấu trúc thuật toán của GOST-I, GOST-II, SBS-01, SBS-02 để áp dụng vào các bài toán ký số khối dữ liệu lớn (blockchain, cơ sở dữ liệu lớn) và tham khảo họ giao thức M-SIGMA để thiết kế các kênh truyền an toàn tương tự IPsec/TLS.
  • Các cơ quan quản lý và hoạch định chính sách mật mã: Cung cấp cơ sở khoa học để đánh giá, thẩm định và chuẩn hóa các thuật toán ký số và trao đổi khóa phục vụ Chính phủ điện tử và an ninh quốc phòng tại Việt Nam.

Câu hỏi thường gặp

1. Tại sao thuật toán ký ECDSA bắt buộc phải kiểm tra điều kiện $r \neq 0$ và $s \neq 0$?

Theo phân tích của luận án, nếu một chữ ký có $r = 0$ được chấp nhận là hợp lệ trên thông điệp $m$, kẻ tấn công có thể dễ dàng tạo ra chữ ký hợp lệ $(0, s')$ trên bất kỳ thông điệp $m'$ nào thông qua công thức $s' = s \cdot H(m') \cdot H(m)^{-1} \bmod q$ mà không cần khóa bí mật, gây ra lỗi giả mạo vạn năng. Nếu $s = 0$, khóa bí mật $d$ của người ký bị tính ra trực tiếp thông qua quan hệ $d = (k \cdot r - H(m)) \cdot r^{-1} \bmod q$, làm lộ hoàn toàn khóa riêng của hệ thống.

2. Chuẩn chữ ký số GOST R 34.10-2012 có ưu điểm gì so với ECDSA trước các lỗi chữ ký kép và tính dễ uốn?

Trên ECDSA, hàm chuyển đổi tọa độ điểm $x_C \bmod q$ có tính đối xứng dẫn đến hai lỗi: lỗi chọn khóa chữ ký kép (DSKS - tạo ra cặp khóa để 2 thông điệp nhận cùng 1 chữ ký) và tính dễ uốn (từ chữ ký $(r, s)$ suy ra ngay chữ ký $(r, -s \bmod q)$). Luận án chứng minh rằng phương trình xác minh của GOST R 34.10-2012 tính điểm $C = s \cdot e^{-1} P - r \cdot e^{-1} Q$, khiến xác suất xảy ra va chạm chữ ký kép chỉ ở mức $\mathcal{O}(q^{-1})$ (không đáng kể với $q \approx 2^{256}$), đồng thời việc khai thác tính đối xứng để tạo chữ ký uốn dẻo tương đương với việc giải bài toán logarit rời rạc.

3. Tác giả đã chỉ ra thiếu sót gì trong định nghĩa lược đồ TEGTSS-II của Pointcheval et al.?

Luận án chỉ ra rằng điều kiện ánh xạ 1-1 của các hàm thành phần trong TEGTSS-II do Pointcheval và cộng sự phát biểu ban đầu là không thể thỏa mãn trên tập hữu hạn khi kích thước tập đầu ra nhỏ hơn tập đầu vào ($|Y| < |X|$). Dựa trên nguyên lý Dirichlet, tác giả chứng minh luôn tồn tại các giá trị đầu vào khác nhau cho cùng một đầu ra, từ đó đề xuất định nghĩa lại bằng điều kiện "gần 1-1" (xác suất vi phạm là không đáng kể) để đảm bảo tính chặt chẽ về mặt toán học.

4. Điểm khác biệt cốt lõi giữa hai biến thể đề xuất GOST-I và GOST-II là gì?

Cả hai đều là biến thể của chuẩn GOST R 34.10-2012 đạt độ an toàn chứng minh được EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên. Trong đó, GOST-I tập trung vào việc thiết lập quy trình tính toán cho phép xây dựng bộ mô phỏng trực tiếp, còn GOST-II được tối ưu hóa hơn về mặt đại số nhằm giảm thiểu số lượng phép tính nghịch đảo modulo và phép nhân điểm vô hướng trên đường cong elliptic, giúp tăng tốc độ xử lý trong thuật toán ký và xác minh.

5. Giao thức M-SIGMA giải quyết hạn chế nào của giao thức STS-MAC và ISO-STS-MAC?

Giao thức STS-MAC dễ bị tấn công chia sẻ khóa không rõ đối tác (UKS) trực tuyến, trong khi ISO-STS-MAC không bảo vệ được danh tính của các bên tham gia trước kẻ nghe lén. Giao thức M-SIGMA đề xuất sử dụng cơ chế chữ ký và MAC trên thông điệp chứa định danh của chính người gửi, cho phép các bên xác thực đối tác trước khi bộc lộ danh tính thực, vừa kháng được tấn công UKS, vừa đảm bảo tính chất bảo vệ định danh trước kẻ tấn công chủ động trong mô hình Canetti-Krawczyk.

Kết luận

Luận án tiến sĩ của tác giả Triệu Quang Phong là công trình nghiên cứu chuyên sâu thuộc chuyên ngành Cơ sở toán học cho tin học, giải quyết thành công bài toán xây dựng các lược đồ chữ ký số và giao thức trao đổi khóa có độ an toàn chứng minh được. Tác giả đã đóng góp mới về mặt lý thuyết thông qua việc làm rõ các điều kiện biên của ECDSA/GOST, hoàn thiện khung lý thuyết TEGTSS, đề xuất các biến thể chữ ký số GOST-I, GOST-II, chữ ký bó SBS-01, SBS-02 và hai giao thức trao đổi khóa M-SIGMA, M1-SIGMA. Toàn bộ các kết quả lý thuyết đều được chứng minh toán học chặt chẽ và đánh giá thực nghiệm đầy đủ, mang lại giá trị khoa học và tiềm năng ứng dụng thực tiễn cao cho lĩnh vực an toàn thông tin và mật mã học tại Việt Nam.