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. Luận án 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ự - Bộ Quốc phòng vào năm 2023 tại Hà Nội.

Về tính cấp thiết và khoảng trống nghiên cứu, sự phát triển của công nghệ thông tin và mạng Internet đặt ra yêu cầu cấp thiết về các giải pháp mật mã bảo đảm tính bí mật và xác thực thông tin. Để thiết lập khóa bí mật chung cho các lược đồ mã hóa đối xứng qua các kênh liên lạc không tin cậy, các bên tham gia sử dụng các giao thức trao đổi khóa (hay thỏa thuận khóa), phần lớn được xây dựng dựa trên cơ chế Diffie-Hellman. Tuy nhiên, cơ chế Diffie-Hellman thuần túy không có tính năng xác thực, dẫn đến nguy cơ bị tấn công người đứng giữa; do đó, chữ ký số được tích hợp như một giải pháp cung cấp tính xác thực, trở thành thành phần cốt lõi trong các giao thức bảo mật Internet như IPsec, SSL, TLS. Đối với các nguyên thủy mật mã, "an toàn chứng minh được" (provable security) trong các mô hình lý thuyết toán học là tiêu chuẩn khẳng định tính logic và độ tin cậy của thiết kế. 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, trong khi tính an toàn chứng minh được của chuẩn chữ ký số Liên bang Nga GOST R 34.10-2012 vẫn là một vấn đề mở chưa được giải quyết trong các công trình công bố trước đó. Khoảng trống nghiên cứu mà tác giả xác định là việc xây dựng các lược đồ chữ ký số đạt độ an toàn chứng minh được phát triển từ chuẩn GOST R 34.10-2012, từ đó thiết kế các giao thức trao đổi khóa có xác thực an toàn, hiệu quả dựa trên các họ giao thức STS và SIGMA.

Mục tiêu nghiên cứu chính của đề tài 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. Để hoàn thành mục tiêu này, luận án giải quyết bốn 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 nghiên cứu của luận án là 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 bao gồm: các lược đồ chữ ký số ECDSA, GOST R 34.10-2012, TEGTSS, ECTEGTSS; các giao thức trao đổi khóa có xác thực dựa trên chữ ký STS, SIGMA; các phương pháp thiết kế và đánh giá độ an toàn chứng minh được trong các mô hình lý thuyết; dữ liệu và tham số thử nghiệm được xác lập đến thời điểm bảo vệ năm 2023.

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

Trong phần tổng quan tài liệu, luận án hệ thống hóa các hướng nghiên cứu nền tảng về chữ ký số và giao thức trao đổi khóa:

Về lược đồ chữ ký số và mô hình chứng minh an toàn, W. Diffie và M. Hellman (1976) giới thiệu khái niệm chữ ký số. S. Goldwasser, S. Micali và R. Rivest [42] (1984) thiết lập định nghĩa hình thức cho lược đồ chữ ký tổng quát gồm bộ ba thuật toán $(KeyGen, Sign, Verify)$, phân loại hai kịch bản tấn công (Key-only attack, Message attack) và bốn kiểu giả mạo (Total break, Universal forgery, Selective forgery, Existential forgery), xác lập chuẩn an toàn EUF-CMA (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). Các tác giả cũng phân tích thấy hệ mật RSA [71] và ElGamal [34] bị giả mạo tồn tại trước tấn công chỉ dùng khóa. A. Fiat và A. Shamir [36] (1986) đề xuất mô hình bộ tiên tri ngẫu nhiên (ROM), lý tưởng hóa hàm băm để chứng minh an toàn cho các lược đồ Fiat-Shamir, ElGamal sửa đổi [67], Schnorr [68], ECDSA-II và ECDSA-III [59]. D. Brown [25] (2002) chứng minh an toàn cho ECDSA trong mô hình nhóm tổng quát (GGM). J. Stern và cộng sự [73] (2002) chỉ ra ECDSA mắc lỗi chữ ký kép (DSKS) và tính dễ uốn (malleability) do hàm chuyển có tính chất đối xứng $f(P) = f(-P)$. M. Fersch và cộng sự [35] (2016) đề xuất mô hình bộ tiên tri ngẫu nhiên song ánh cho DSA và ECDSA. N. Varnovskii [76] (2006) đề xuất mô hình thiết bị bảo vệ (Tamper-Proof Device Model) cho các biến thể chữ ký kiểu GOST dựa trên giả thiết nửa logarit rời rạc (semi-DLP). D. Pointcheval và cộng sự [24] (2000) xây dựng các lược đồ TEGTSS-I và TEGTSS-II an toàn EUF-CMA trong ROM. Về điều kiện bước lặp, các tác giả R. Rivest và cộng sự [72], M. Braun và cộng sự [23], I. Blake và cộng sự [21], M. Michels và cộng sự [62] đã khảo sát điều kiện $r, s, e \neq 0$ trên DSA, ECDSA và GOST R 34.10-94.

Về giao thức trao đổi khóa và mô hình an toàn, W. Diffie, P. van Oorschot và M. Wiener [33] (1992) đề xuất giao thức STS cơ bản (STS-ENC) và biến thể STS-MAC. S. Blake-Wilson và A. Menezes [20] (1999) phân tích tấn công chia sẻ khóa không rõ đối tác (UKS) trên STS-MAC dựa trên tính chất lựa chọn khóa chữ ký kép (DSKS) của RSA, Rabin, ElGamal, DSA, ECDSA, đồng thời đề xuất đưa định danh vào chữ ký để ngăn chặn. Tuy nhiên, J. Kim [12] (2007) chứng minh giải pháp đưa định danh vào chữ ký của Blake-Wilson và Menezes không ngăn được tấn công UKS trực tuyến khi sử dụng chữ ký ElGamal. Tiêu chuẩn quốc tế ISO/IEC 11770-3 ([47], [48]) đưa ra giao thức ISO-STS-MAC áp dụng MAC lên thông điệp ký. R. Canetti và H. Krawczyk [15], [27] (2001, 2002) thiết lập mô hình an toàn CK, bộ biên dịch và bộ xác thực truyền thông điệp MT-authenticator. H. Krawczyk [28], [29], [54], [55] phát triển họ giao thức SIGMA (SIGMA cơ bản, SIGMA-I, SIGMA-R, SIGMA đầy đủ) theo cơ chế SIGn-and-MAc, cùng giao thức HMQV và mô hình $CK^*$. M. Bellare và P. Rogaway [13], [14] (1993, 1995) cùng công trình BPR2000 [16] thiết lập các mô hình an toàn trao đổi khóa ban đầu.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết bao gồm: tính an toàn chứng minh được của GOST R 34.10-2012 chưa được khẳng định trong mô hình chuẩn hoặc ROM; hạn chế của mô hình Varnovskii khi đòi hỏi thiết bị bảo vệ vật lý và giả thiết semi-DLP; tính chất ánh xạ 1-1 của TEGTSS-II trong công trình của Pointcheval et al. chưa đủ chặt chẽ khi kích thước các tập hợp sai khác; tính kháng tấn công UKS trực tuyến của cấu trúc "SIG trong MAC" chưa được đánh giá tổng quát cho DSA, ECDSA, GOST và TEGTSS-II; nhu cầu về các lược đồ chữ ký bó an toàn và giao thức trao đổi khóa hiệu năng cao trên đường cong elliptic.

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

Luận án sử dụng các lý thuyết, khái niệm và khung phân tích mật mã học toán học:

  • Khung lý thuyết đường cong elliptic: Nhóm điểm của đường cong elliptic $E(\mathbb{F}_p)$ trên trường hữu hạn $\mathbb{F}_p$ với $p$ là số nguyên tố lớn, điểm cơ sở $P$ có cấp nguyên tố $q$, cofactor $c = #E(\mathbb{F}_p)/q$, bài toán logarit rời rạc trên đường cong elliptic (ECDLP).
  • Khung an toàn chữ ký số: Khái niệm an toàn EUF-CMA theo định nghĩa của Goldwasser, Micali và Rivest; phương pháp quy giảm độ an toàn (security reduction) từ EUF-CMA về EUF-NMA thông qua việc xây dựng bộ mô phỏng (simulator) cho quá trình ký chỉ dựa trên thông tin công khai.
  • Khung mô hình an toàn: Mô hình bộ tiên tri ngẫu nhiên (ROM), mô hình nhóm tổng quát (GGM), mô hình bộ tiên tri ngẫu nhiên song ánh, mô hình thiết bị bảo vệ; mô hình Canetti-Krawczyk (CK) và $CK^*$ với các truy vấn kích hoạt đối kháng (SessionStateReveal, Expire, SessionKeyReveal, Corrupt, Test), phân biệt giữa mô hình đối tác được định rõ trước (pre-specified peer) và đối tác được định rõ sau (post-specified peer); lý thuyết bộ xác thực (authenticator) chuyển đổi giao thức từ mô hình các liên kết có xác thực (AM) sang mô hình các liên kết không có xác thực (UM).
  • Các thuộc tính an toàn của giao thức thỏa thuận khóa: Xác thực khóa ẩn (implicit key authentication - giao thức AK), chứng thực khóa hiện (explicit key confirmation - giao thức AKC), an toàn về phía trước (PFS), tính kháng tấn công mạo danh thỏa hiệp khóa (KCI), tính kháng tấn công chia sẻ khóa nhưng không rõ đối tác (UKS).

Phương pháp nghiên cứu thực tế gồm bốn phương pháp:

  • Phương pháp phân tích và tổng hợp lý thuyết: Khảo sát, hệ thống hóa các tài liệu chuyên ngành về chữ ký số kiểu ElGamal, các biến thể của giao thức STS, họ SIGMA và các mô hình an toàn hình thức.
  • Phương pháp lập luận toán học: Sử dụng kỹ thuật chứng minh phản chứng, phép quy giảm độ an toàn toán học để đánh giá tính an toàn EUF-CMA; phân tích nghiệm của hệ phương trình đại số trong tấn công UKS; áp dụng nguyên lý Dirichlet để phân tích tính chất ánh xạ của TEGTSS-II.
  • Phương pháp định tính: So sánh, phân tích các thuộc tính bảo mật (PFS, KCI, UKS, bảo vệ định danh) giữa các giao thức trao đổi khóa.
  • Phương pháp thực nghiệm: Cài đặt thuật toán, đo đạc thời gian tính toán và đánh giá hiệu năng thực tế của các lược đồ chữ ký số GOST-I, GOST-II, SBS-01, SBS-02 và các giao thức trao đổi khóa M-SIGMA, M1-SIGMA trên nhóm điểm đường cong elliptic.

Nguồn tư liệu và dữ liệu gồm các tiêu chuẩn mật mã quốc tế và quốc gia (FIPS 186 cho ECDSA, GOST R 34.10-2012, ISO/IEC 11770-3), các bài báo học thuật chuyên ngành và bộ tham số đường cong elliptic được mô tả chi tiết trong 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 trình bày tổng quan về chữ ký số, giao thức trao đổi khóa và các mô hình an toàn liên quan. Tác giả phân tích lược đồ chữ ký tổng quát, các mô hình tấn công giả mạo (EUF-CMA, EUF-NMA) và kỹ thuật quy giảm độ an toàn dựa trên bộ mô phỏng.

Về vấn đề bước lặp trong thuật toán ký, tác giả phân tích chi tiết điều kiện kiểm tra $r, s, e \neq 0$ trên ECDSA và GOST R 34.10-2012:

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

Kết quả khảo sát bước lặp được tổng hợp trong Bảng 1.1:

Điều kiện kiểm tra ECDSA GOST R 34.10-2012 ECGDSA EC-Schnorr
$r = 0$ Bị giả mạo vạn năng Chưa tìm thấy mối đe dọa Bị giả mạo vạn năng Bị giả mạo vạn năng
$s = 0$ Bị phá vỡ hoàn toàn và không thực hiện được thuật toán xác minh Bị giả mạo vạn năng Bị phá vỡ hoàn toàn và không thực hiện được thuật toán xác minh Chưa tìm thấy mối đe dọa
$e = 0$ Dễ uốn Bị phá vỡ hoàn toàn và không thực hiện được thuật toán xác minh Dễ uốn Dễ uốn

Về vấn đề chữ ký kép và tính dễ uốn, tác giả chứng minh rằng GOST R 34.10-2012 kháng được hai lỗi của ECDSA (được chỉ ra bởi Stern và cộng sự):

  • Lỗi chữ ký kép (DSKS): Hệ phương trình tạo chữ ký chung trên hai thông điệp bất kỳ đối với GOST R 34.10-2012 chỉ có nghiệm khi $e_1 e_2^{-1} = (k - d r_1)(k - d r_2)^{-1} \pmod q$. Giả thiết hàm băm có phân bố đều, mật độ cặp thông điệp thỏa mãn điều kiện này là $O(1/q)$, không đáng kể khi $q \approx 2^{256}$ hoặc $2^{512}$.
  • Tính dễ uốn: Phương trình xác minh của GOST R 34.10-2012 tính $z_1 = s e^{-1} \pmod q$ và $z_2 = -r e^{-1} \pmod q$. Việc tìm cặp chữ ký khác khai thác tính chất $f(P) = f(-P)$ dẫn đến mâu thuẫn điểm cơ sở $P$ có cấp bằng 0, hoặc tương đương với việc giải bài toán logarit rời rạc.

Về lược đồ TEGTSS-II, tác giả chỉ ra điều kiện tương ứng 1-1 của Pointcheval và cộng sự là chưa đủ chặt chẽ khi $|G| \neq |K|$. Theo nguyên lý Dirichlet, tồn tại các giá trị dẫn đến hệ phương trình có nhiều hơn một nghiệm hoặc vô nghiệm; do đó tác giả đề xuất thay thế bằng điều kiện "gần 1-1" với xác suất sai lệch không đáng kể.

Về giao thức trao đổi khóa, tác giả phân tích STS-ENC, STS-MAC, ISO-STS-MAC và họ SIGMA. Đáng chú ý, tác giả chứng minh Mệnh đề 1.2: Khi sử dụng lược đồ chữ ký DSA, ECDSA, GOST hoặc chữ ký kiểu TEGTSS-II, biến thể STS-MAC sửa đổi (đưa định danh vào chữ ký) vẫn bị tấn công UKS trực tuyến; kẻ tấn công $\hat{E}$ có thể tính khóa bí mật dài hạn mới $\bar{x} = e_E (e_A)^{-1} x \pmod q$ và tham số công khai $\bar{y} = \bar{g}^{\bar{x}}$ để đối tác chấp nhận chữ ký hợp lệ. Kết quả này khẳng định cấu trúc đưa chữ ký vào trong MAC không bảo đảm an toàn. Các thuộc tính an toàn của họ STS được tổng hợp trong Bảng 1.2:

Các tính chất Giao thức STS-ENC Giao thức STS-MAC Giao thức ISO-STS-MAC
Số bước 3 3 3
Xác thực khóa ẩn Cho cả $\hat{A}$ lẫn $\hat{B}$ Cho cả $\hat{A}$ lẫn $\hat{B}$ Cho cả $\hat{A}$ lẫn $\hat{B}$
Chứng thực khóa Cho cả $\hat{A}$ lẫn $\hat{B}$ Cho cả $\hat{A}$ lẫn $\hat{B}$ Cho cả $\hat{A}$ lẫn $\hat{B}$
Kháng tấn công UKS Không Không Có
Tính PFS Ngay cả khi khóa dài hạn của cả $\hat{A}$ và $\hat{B}$ bị lộ Ngay cả khi khóa dài hạn của cả $\hat{A}$ và $\hat{B}$ bị lộ Ngay cả khi khóa dài hạn của cả $\hat{A}$ và $\hat{B}$ bị lộ
Kháng tấn công KCI Có Có Có

Tác giả cũng khảo sát họ giao thức SIGMA (SIGMA cơ bản, SIGMA-I, SIGMA-R, SIGMA đầy đủ) và các mô hình an toàn CK, $CK^*$ cùng bộ xác thực MT-authenticator.

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

Chương 2 trình bày các đóng góp mới của luận án liên quan đến thiết kế lược đồ chữ ký số:

  • Đề xuất lược đồ chữ ký số dạng ECTEGTSS, là phiên bản trên nhóm điểm đường cong elliptic của họ lược đồ TEGTSS.
  • Đề xuất hai biến thể chữ ký số mới phát triển từ GOST R 34.10-2012:
    • Lược đồ GOST-I: Điều chỉnh thuật toán ký và xác minh nhằm đạt độ an toàn chứng minh được EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên.
    • Lược đồ GOST-II: Cải tiến cấu trúc tính toán thành phần chữ ký nhằm tối ưu hóa chi phí tính toán và bảo đảm an toàn chứng minh được.
    • So sánh lý thuyết và thực nghiệm: Luận án lập Bảng 2.1 (so sánh lý thuyết số lượng phép nhân điểm, nghịch đảo modulo giữa GOST-I, GOST-II và GOST R 34.10-2012) và Bảng 2.2 (kết quả thực nghiệm thời gian sinh khóa, ký và xác minh). Các kết quả khẳng định GOST-I và GOST-II duy trì hiệu năng tương đương GOST R 34.10-2012 nhưng giải quyết được bài toán an toàn chứng minh được mà không cần thiết bị bảo vệ vật lý.
  • Đề xuất hai lược đồ chữ ký bó an toàn (SBS - Secure Batch Signature) dựa trên cây băm Merkle:
    • Lược đồ SBS-01: Tích hợp cây băm Merkle với chữ ký số để ký đồng thời một tập dữ liệu, cung cấp quy trình ký và xác minh bó hiệu quả.
    • Lược đồ SBS-02: Biến thể cải tiến cấu trúc đường dẫn xác thực nhằm giảm kích thước chữ ký và tăng tốc độ kiểm tra.
    • Phân tích an toàn chứng minh tính kháng tấn công lựa chọn thích nghi thông điệp; tổng hợp hiệu năng qua Bảng 2.3 (so sánh thực nghiệm giữa chữ ký bó và ký thông thường) và Bảng 2.4 (xem xét hiệu năng của SBS-01 và SBS-02).

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 tập trung vào thiết kế giao thức trao đổi khóa có xác thực dựa trên chữ ký số:

  • Phân tích độ an toàn của giao thức SIGMA trong mô hình CK với đối tác được định rõ sau.
  • Đề xuất giao thức trao đổi khóa M-SIGMA: Thiết kế dựa trên cơ chế SIGn-and-MAc cải tiến, chứng minh đạt tính chất P1 (xác thực và bí mật khóa) và tính chất P2 (bảo vệ định danh).
  • Đề xuất giao thức trao đổi khóa M1-SIGMA: Biến thể tối ưu số lượng phép toán và luồng truyền thông điệp, chứng minh đạt đầy đủ tính chất an toàn P1 và P2.
  • Xây dựng phiên bản elliptic hóa của M-SIGMA và M1-SIGMA trên nhóm điểm đường cong elliptic; phân tích và áp dụng các kỹ thuật cài đặt hiệu quả.
  • Nghiên cứu giao thức Lemograss-3: Phân tích giao thức Lemograss-3 gốc và bản chuẩn hóa, chỉ ra kịch bản tấn công đối với giao thức Lemograss-3 được chuẩn hóa, từ đó đề xuất giải pháp cài đặt sửa đổi khắc phục triệt để lỗ hổng.
  • Đánh giá hiệu năng: Bảng 3.1 (trang 110 của luận án) so sánh chi phí tính toán và thời gian thực thi giữa SIGMA, M-SIGMA và M1-SIGMA, chứng minh các giao thức đề xuất đạt hiệu năng tốt trên đường cong elliptic.

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

Luận án tự nêu các đóng góp mới về lý luận và thực tiễn:

Về mặt lý luận khoa học:

  1. Phân tích toán học làm rõ vai trò của các điều kiện bước lặp ($r, s, e \neq 0$) trên ECDSA và GOST R 34.10-2012, chỉ ra nguy cơ giả mạo vạn năng, lộ khóa bí mật và tính dễ uốn khi các điều kiện này bị bỏ qua. Chứng minh GOST R 34.10-2012 có khả năng kháng lỗi chữ ký kép (DSKS) và tính dễ uốn của ECDSA với xác suất xảy ra không đáng kể $O(1/q)$.
  2. Chỉ ra điểm chưa chặt chẽ trong điều kiện ánh xạ 1-1 của họ lược đồ TEGTSS-II theo nguyên lý Dirichlet khi $|G| \neq |K|$, bổ sung điều kiện "gần 1-1" với sai số không đáng kể.
  3. Mở rộng kết quả của Kim bằng Mệnh đề 1.2, chứng minh rằng giao thức STS-MAC sửa đổi (đưa định danh vào chữ ký) vẫn bị tấn công UKS trực tuyến khi sử dụng DSA, ECDSA, GOST và tổng quát cho mọi chữ ký dạng TEGTSS-II; chứng minh cấu trúc đưa chữ ký vào trong MAC không bảo đảm an toàn.
  4. Xây dựng hai lược đồ chữ ký số mới GOST-I và GOST-II, đạt độ an toàn chứng minh được EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên, giải quyết bài toán mở về an toàn chứng minh được của chuẩn GOST R 34.10-2012 mà không cần giả thiết thiết bị bảo vệ vật lý.
  5. Xây dựng hai lược đồ chữ ký bó SBS-01 và SBS-02 dựa trên cây băm Merkle, kháng tấn công lựa chọn thông điệp thích nghi.
  6. Thiết kế hai giao thức trao đổi khóa M-SIGMA và M1-SIGMA cùng phiên bản elliptic hóa, chứng minh đạt các tính chất an toàn P1 và P2; phát hiện lỗ hổng và đề xuất phương án sửa đổi cài đặt cho giao thức Lemograss-3 chuẩn hóa.

Về mặt thực tiễn và kiến nghị giải pháp:

  • Cung cấp các thuật toán chữ ký số và giao thức trao đổi khóa có hiệu năng thực thi cao, được đánh giá bằng thực nghiệm trên đường cong elliptic.
  • Kết quả của luận án được định hướng ứng dụng trong thực tế nhằm đáp ứng nhu cầu bảo mật thông tin trong các lĩnh vực kinh tế - xã hội, an ninh quốc phòng, và thúc đẩy xây dựng Chính phủ điện tử tại Việt Nam.

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

Về mặt hạn chế, luận án giới hạn phạm vi nghiên cứu trong lớp các lược đồ chữ ký số kiểu ElGamal dựa trên bài toán logarit rời rạc trên đường cong elliptic (ECDSA, GOST R 34.10-2012, TEGTSS) và các giao thức trao đổi khóa thuộc họ STS, SIGMA; luận án chưa mở rộng sang các hệ mật mã hậu lượng tử (post-quantum cryptography). Các chứng minh an toàn chủ yếu được thực hiện trong các mô hình lý tưởng hóa (mô hình bộ tiên tri ngẫu nhiên ROM, mô hình CK với đối tác được định rõ sau).

Hướng nghiên cứu tiếp được tác giả xác định gồm:

  • Tiếp tục nghiên cứu tìm kiếm phương pháp chứng minh an toàn cho chuẩn chữ ký số GOST R 34.10-2012 nguyên bản trong mô hình chuẩn hoặc các mô hình lý thuyết khác.
  • Tối ưu hóa cài đặt thực nghiệm cho các lược đồ chữ ký bó SBS-01, SBS-02 và các giao thức M-SIGMA, M1-SIGMA trên các nền tảng thiết bị nhúng và phần cứng có tài nguyên hạn chế.
  • Nghiên cứu mở rộng việc thiết kế giao thức trao đổi khóa có xác thực dựa trên các bài toán mật mã kháng lượng tử.

Giá trị tham khảo

Luận án là tài liệu học thuật hữu ích cho:

  • Nghiên cứu sinh, học viên cao học, giảng viên 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: Có thể tham khảo phương pháp luận chứng minh an toàn hình thức (EUF-CMA, mô hình CK, kỹ thuật quy giảm độ an toàn qua bộ mô phỏng) và phương pháp phân tích tấn công đại số trên các giao thức trao đổi khóa.
  • Kỹ sư nghiên cứu phát triển và chuyên gia bảo mật tại các cơ quan chuyên trách (Ban Cơ yếu Chính phủ, Viện Khoa học và Công nghệ quân sự, Học viện Kỹ thuật Mật mã): Tham khảo thiết kế của các lược đồ GOST-I, GOST-II, SBS-01, SBS-02 và các giao thức M-SIGMA, M1-SIGMA để ứng dụng trong xây dựng tiêu chuẩn chữ ký số và giao thức mạng an toàn (IPsec, TLS).
  • Các nhà quản lý và hoạch định chính sách an toàn thông tin: Tham khảo cơ sở khoa học để đánh giá, lựa chọn các giải pháp mật mã phục vụ triển khai Chính phủ điện tử và các hệ thống bảo mật quốc gia.
  • Phần đáng tham khảo nhất: Phân tích bước lặp và lỗi chữ ký kép trong Chương 1; quy trình xây dựng biến thể chữ ký số có an toàn chứng minh được trong Chương 2; kỹ thuật elliptic hóa và phương án sửa lỗi giao thức Lemograss-3 trong Chương 3 cùng bộ tham số thử nghiệm tại Phụ lục.

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

1. Tại sao trong thuật toán ký của ECDSA bắt buộc phải kiểm tra điều kiện $r \neq 0$ và $s \neq 0$?
Nếu điều kiện $r \neq 0$ bị bỏ qua và chữ ký $(0, s)$ được chấp nhận, kẻ tấn công có thể 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' = e' e^{-1} s \pmod n$, dẫn đến nguy cơ giả mạo vạn năng. Nếu điều kiện $s \neq 0$ bị bỏ qua, khóa bí mật $d$ của người ký bị tính trực tiếp theo công thức $d = k^{-1} e \pmod n$, khiến lược đồ bị phá vỡ hoàn toàn; ngoài ra thuật toán xác minh không thể thực hiện do đòi hỏi tính nghịch đảo $s^{-1} \pmod n$.

2. Lược đồ chữ ký số GOST R 34.10-2012 có bị ảnh hưởng bởi lỗi chữ ký kép (DSKS) và tính dễ uốn như ECDSA không?
Không. Tác giả luận án đã chứng minh dưới giả thiết hàm băm có phân bố đều, GOST R 34.10-2012 kháng được lỗi chữ ký kép vì mật độ cặp thông điệp có thể sinh chữ ký chung chỉ ở mức $O(1/q)$, là đại lượng không đáng kể với $q \approx 2^{256}$ hoặc $2^{512}$. Lược đồ cũng kháng được tính dễ uốn vì cấu trúc phương trình xác minh ngăn chặn việc đảo dấu điểm mà không vi phạm cấp của nhóm hoặc giải bài toán logarit rời rạc.

3. Vì sao giải pháp đưa định danh vào chữ ký trong giao thức STS-MAC không ngăn chặn được tấn công UKS trực tuyến?
Theo Mệnh đề 1.2 được tác giả chứng minh, khi giao thức STS-MAC sửa đổi sử dụng các lược đồ chữ ký DSA, ECDSA, GOST hoặc chữ ký kiểu TEGTSS-II, kẻ tấn công $\hat{E}$ vẫn có thể chọn khóa bí mật mới $\bar{x} = e_E (e_A)^{-1} x \pmod q$ và thiết lập khóa công khai tương ứng $\bar{y} = \bar{g}^{\bar{x}}$ để làm cho chữ ký ban đầu của bên khởi tạo trở nên hợp lệ dưới định danh của $\hat{E}$, qua đó hoàn tất tấn công UKS trực tuyến.

4. Hai biến thể GOST-I và GOST-II khắc phục nhược điểm gì của chuẩn GOST R 34.10-2012 và mô hình Varnovskii?
Chuẩn GOST R 34.10-2012 nguyên bản chưa có chứng minh an toàn trong các mô hình lý thuyết. Mô hình thiết bị bảo vệ của Varnovskii đã đưa ra chứng minh an toàn cho biến thể GOST nhưng đòi hỏi thiết bị bảo vệ vật lý và dựa trên giả thiết semi-DLP chưa hoàn chỉnh. GOST-I và GOST-II được thiết kế để đạt độ an toàn chứng minh được EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên (ROM) thuần túy toán học mà không yêu cầu phần cứng bảo vệ.

5. Điểm khác biệt cốt lõi giữa họ giao thức STS và họ giao thức SIGMA là gì?
Trong giao thức ISO-STS-MAC, hàm MAC và chữ ký được áp dụng cho thông điệp có chứa định danh của người nhận, khiến các bên phải công bố danh tính trước khi xác thực đối tác. Ngược lại, họ giao thức SIGMA áp dụng cơ chế "SIGn-and-MAc" với định danh của chính người gửi trong thông điệp ký và MAC, cho phép các bên thực hiện thỏa thuận khóa khi chưa biết rõ về nhau và cung cấp thuộc tính bảo vệ định danh trước các tấn công chủ động hoặc bị động.

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 hoàn chỉnh thuộc chuyên ngành Cơ sở toán học cho tin học, giải quyết có hệ thống bài toán an toàn chứng minh được cho chữ ký số và giao thức trao đổi khóa. Tác giả đã làm sáng tỏ các tính chất an toàn, điều kiện bước lặp và khả năng kháng tấn công UKS, DSKS trên các cấu trúc chữ ký kiểu ElGamal, đồng thời hoàn thiện cơ sở lý thuyết cho họ TEGTSS-II. Các đề xuất mới gồm lược đồ GOST-I, GOST-II, chữ ký bó SBS-01, SBS-02 và các giao thức trao đổi khóa M-SIGMA, M1-SIGMA trên đường cong elliptic đạt được độ an toàn chứng minh được và hiệu năng tính toán cao. Kết quả luận án đóng góp cơ sở khoa học quan trọng cho lý thuyết an toàn mật mã và cung cấp giải pháp ứng dụng thiết thực phục vụ an ninh quốc phòng và phát triển Chính phủ điện tử tại Việt Nam.