Tổng quan về luận án

Trong kỷ nguyên chuyển đổi số và cuộc Cách mạng Công nghiệp lần thứ tư, việc xây dựng hạ tầng kỹ thuật số an toàn cho Chính phủ điện tử, kinh tế số và xã hội số là một yêu cầu cấp bách. Theo quy định tại Nghị định 130/2018/NĐ-CP ngày 27/9/2018 của Chính phủ Việt Nam, chữ ký số được xác lập như một công cụ pháp lý và kỹ thuật cốt lõi nhằm xác thực nguồn gốc thông điệp dữ liệu, bảo đảm tính toàn vẹn và thực thi cơ chế chống chối bỏ trách nhiệm. Tuy nhiên, các giao dịch hiện đại như bầu cử điện tử (e-voting), đấu thầu trực tuyến, và thanh toán số nặc danh đòi hỏi phải dung hòa hai yêu cầu tưởng chừng mâu thuẫn: xác thực tính hợp lệ của chủ thể và bảo vệ tuyệt đối tính riêng tư nặc danh.

Luận án tiến sĩ kỹ thuật với tiêu đề "Nghiên cứu phát triển một số lược đồ chữ ký số mù, chữ ký số tập thể mù dựa trên các chuẩn chữ ký số" do Nghiên cứu sinh Nguyễn Tấn Đức thực hiện dưới sự hướng dẫn của TS. Nguyễn Hiếu Minh và TS. Ngô Đức Thiện tại Học viện Công nghệ Bưu chính Viễn thông (2020), thuộc chuyên ngành Kỹ thuật máy tính (Mã số: 9.48.01.06), đã giải quyết trực tiếp bài toán khoa học mang tính thời sự này.

Khoảng trống nghiên cứu (research gap) then chốt trong y văn mật mã học hiện đại được luận án chỉ rõ gồm ba điểm chính:

  1. Phần lớn các lược đồ chữ ký số mù và tập thể mù hiện hữu được xây dựng trên một bài toán khó duy nhất (hoặc Phân tích thừa số nguyên lớn - IFP, hoặc Logarit rời rạc - DLP). Điều này dẫn đến nguy cơ bị phá vỡ khi năng lực tính toán tăng cao hoặc khi thuật toán phân tích số nguyên (như NFS, QS) có bước tiến mới.
  2. Các lược đồ chữ ký số tập thể mù đã công bố trước đây (tiêu biểu như công trình của Nikolay A. Moldovyan năm 2010, 2011) sử dụng quá nhiều tham số làm mù, dẫn đến chi phí tính toán cao và chưa được chứng minh an toàn trong các mô hình chuẩn mực như Mô hình Tiên tri Ngẫu nhiên (Random Oracle Model - ROM).
  3. Kích thước chữ ký và khóa công khai trong các hệ thống dựa trên nhóm hữu hạn truyền thống còn lớn, gây nghẽn cổ chai khi triển khai trên các thiết bị giới hạn tài nguyên tính toán và lưu trữ (Smart card, IoT).

Luận án tập trung giải quyết các câu hỏi nghiên cứu (Research Questions - RQ) và kiểm chứng các giả thuyết khoa học (Hypotheses - H):

  • RQ1: Làm thế nào để kế thừa tính an toàn và hiệu năng của các chuẩn chữ ký số quốc gia (GOST R34.10-94, GOST R34.10-2012) và lược đồ quốc tế (Schnorr, EC-Schnorr) nhằm xây dựng các giao thức chữ ký số tập thể mù tối ưu?
    • H1: Việc tái cấu trúc các phương trình ký và giảm số lượng nhân tử làm mù sẽ giảm đáng kể độ phức tạp thời gian xử lý mà vẫn bảo đảm tính mù và tính chống giả mạo trong mô hình ROM.
  • RQ2: Có thể kết hợp đồng thời hai bài toán khó kinh điển IFP và DLP vào cùng một lược đồ chữ ký số mù và tập thể mù hay không?
    • H2: Lược đồ kết hợp yêu cầu kẻ tấn công phải giải đồng thời cả hai bài toán khó trong thời gian đa thức, từ đó nâng bậc an toàn tiệm cận lên mức tối đa.
  • RQ3: Làm thế nào để tối ưu hóa kích thước chữ ký trên hạ tầng tính toán hạn chế?
    • H3: Ứng dụng cấu trúc nhóm con hữu hạn không vòng hai chiều (two-dimensional non-cyclic finite subgroups) modulo một hợp số $n$ sẽ cho phép rút ngắn kích thước chữ ký mà vẫn bảo lưu độ an toàn tương đương.
  • RQ4: Cơ chế chữ ký số tập thể mù đề xuất có thể tích hợp vào hệ thống bầu cử điện tử thực tế như thế nào để vừa bảo đảm tính nặc danh của cử tri vừa ngăn chặn gian lận?
    • H4: Kiến trúc bỏ phiếu 4 tầng sử dụng token mù và phiếu bầu mù sẽ phân tách hoàn toàn danh tính cử tri khỏi nội dung bỏ phiếu mà không phụ thuộc vào một Bên thứ ba tin cậy (Trusted Third Party - TTP) đơn lẻ.

Khung lý thuyết của nghiên cứu được định hình dựa trên lý thuyết mật mã khóa công khai (Diffie & Hellman, 1976), lý thuyết chữ ký số mù (Chaum, 1983), chữ ký tập thể (Itakura, 1983; Horster et al., 1995) và lý thuyết an toàn toán học trong mô hình ROM (Bellare & Rogaway, 1993). Phạm vi nghiên cứu bao quát các cấu trúc đại số từ trường số nguyên $\mathbb{Z}_p^*$, nhóm điểm trên đường cong elliptic $E(\mathbb{F}_p)$ cho đến nhóm con hữu hạn không vòng hai chiều.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết chữ ký số chứng kiến sự tiến hóa từ chữ ký đơn lẻ đến các dạng chữ ký chuyên biệt phục vụ đa mục tiêu. Whitfield Diffie và Martin Hellman (1976) đặt nền móng cho mật mã khóa công khai, mở đường cho Ronald Rivest, Adi Shamir và Leonard Adleman (1978) phát minh hệ mật RSA dựa trên bài toán Phân tích thừa số nguyên lớn (Integer Factorization Problem - IFP). Tiếp đó, Claus-Peter Schnorr (1989, 1991) phát triển lược đồ chữ ký số dựa trên bài toán Logarit rời rạc (Discrete Logarithm Problem - DLP), tối ưu hóa hiệu năng tính toán so với RSA. Đến giữa thập niên 1980, Neal Koblitz (1987) và Victor Miller (1985) độc lập đề xuất mật mã đường cong Elliptic (Elliptic Curve Cryptography - ECC), thiết lập bài toán Logarit rời rạc trên đường cong Elliptic (ECDLP), cho phép thu nhỏ chiều dài khóa từ hàng nghìn bit xuống còn 160–256 bit nhưng vẫn duy trì độ an toàn tương đương.

Song song với việc hoàn thiện các chuẩn chữ ký số đơn (như GOST R34.10-94 của Liên bang Nga trên DLP và GOST R34.10-2012 trên ECDLP), hai nhánh phát triển quan trọng xuất hiện:

  1. Chữ ký số mù (Blind Signature): Được David Chaum phát minh năm 1983 dựa trên RSA, cho phép người yêu cầu nhận được chữ ký hợp lệ trên thông điệp $M$ mà người ký không hề biết nội dung của $M$, đồng thời không thể liên kết (unlinkable) giữa phiên ký và văn bản công khai sau này.
  2. Chữ ký số tập thể (Multisignature): Được K. Itakura khởi xướng năm 1983 và sau đó được chuẩn hóa bởi Horster, Michels, Petersen (1995), cho phép một tập thể $n$ thành viên cùng ký lên một văn bản sao cho kích thước chữ ký tập thể không đổi (bằng kích thước chữ ký đơn) và việc xác thực chỉ cần thực hiện một lần duy nhất qua khóa công khai kết hợp.
Luồng nghiên cứu Tác giả & Năm Điểm mạnh cốt lõi Hạn chế / Research Gap
Nền tảng Chữ ký mù David Chaum (1983) Khởi xướng cơ chế làm mù, bảo toàn tính riêng tư tuyệt đối. Chỉ áp dụng cho chữ ký đơn, dựa hoàn toàn trên bài toán IFP (RSA).
Chữ ký tập thể mù DLP Horster et al. (1995) Thiết kế chữ ký tập thể mù đầu tiên ứng dụng cho bầu cử số. Độ phức tạp truyền thông cao, chưa tối ưu hóa phương trình xác thực.
Chữ ký tập thể mù GOST N.A. Moldovyan (2011) [73] Ứng dụng chuẩn GOST R34.10-94, tốc độ ký nhanh. Sử dụng 4 tham số làm mù ($\alpha, \beta, \gamma, \delta$), chi phí tính toán cao, thiếu chứng minh trong mô hình ROM.
Chữ ký tập thể mù Schnorr N.A. Moldovyan & A.A. Moldovyan (2010) [72] Cấu trúc chữ ký gọn gàng trên nhóm con $\mathbb{Z}_p^*$. Chưa chứng minh hình thức về tính chống giả mạo dưới mô hình tấn công ACMA.
Lược đồ đa bài toán khó Ismail, Tahat & Ahmad (2008) [45] Kết hợp IFP và DLP nhằm tăng cường mức độ bảo mật. Giao thức truyền thông nhiều vòng phức tạp, kích thước bản tin trao đổi lớn.
Luận án NCS Nguyễn Tấn Đức (2020) Nguyễn Tấn Đức (2020) 4 lược đồ chuẩn hóa (ROM-proven) + Lược đồ IFP/DLP tối ưu + Nhóm con 2 chiều rút ngắn kích thước. Kế thừa toàn diện các chuẩn quốc tế, chứng minh toán học nghiêm ngặt, giảm độ trễ tính toán.

Cuộc tranh luận học thuật sâu sắc trong lĩnh vực mật mã học tập trung vào hai vấn đề:

  • Đơn bài toán khó vs. Đa bài toán khó: Các lược đồ đơn bài toán có ưu thế về tốc độ nhưng dễ tổn thương trước các thuật toán sàng trường số tổng quát (General Number Field Sieve - GNFS) hoặc thuật toán Index-Calculus. Luận án định vị giải pháp tại điểm cân bằng tối ưu: vừa chuẩn hóa các lược đồ đơn bài toán theo ECC để đạt tốc độ cao, vừa đề xuất lược đồ lai ghép IFP + DLP để đạt an toàn tối đa.
  • Mô hình Tiên tri Ngẫu nhiên (ROM) vs. Mô hình Chuẩn (Standard Model): Dù Standard Model cung cấp bảo đảm lý thuyết không cần giả định hàm băm lý tưởng, ROM (Bellare & Rogaway, 1993) là tiêu chuẩn vàng để đo lường độ an toàn thực tế của các giao thức hiệu năng cao, đặc biệt là khi kết hợp Bổ đề rẽ nhánh (Forking Lemma).

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

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

Luận án mở rộng trực tiếp lý thuyết chữ ký số mù của Chaum (1983) và lý thuyết chữ ký tập thể của Horster et al. (1995) bằng cách hình thức hóa các giao thức kết hợp trên các nhóm đại số khác nhau:

  1. Mở rộng lý thuyết chữ ký tập thể mù trên chuẩn GOST và Schnorr: Luận án tái cấu trúc thuật toán sinh chữ ký và kiểm tra chữ ký, giảm số lượng phép tính nghịch đảo modulo và phép nhân vô hướng.
  2. Thiết lập mô hình an toàn hình thức trong ROM: Chứng minh toán học khẳng định rằng nếu tồn tại một kẻ tấn công $\mathcal{A}$ có khả năng phá vỡ lược đồ chữ ký mù đề xuất dưới kiểu tấn công văn bản lựa chọn thích ứng (Adaptive Chosen Message Attack - ACMA), thì ta có thể xây dựng một thuật toán $\mathcal{B}$ giải quyết thành công bài toán DLP hoặc ECDLP trong thời gian đa thức.

Theo chứng minh trong luận án kế thừa từ định lý Liu (2004), một lược đồ chữ ký số có bộ tham số $(\epsilon, t, q_h, q_e, q_s)$ là an toàn trong mô hình ROM nếu tồn tại thuật toán $(\epsilon', t')$-DL trong nhóm $G$, với xác suất thành công và cận thời gian thỏa mãn:

$$\epsilon' \ge \frac{1}{q_h} \left(1 - \frac{q_s(q_e + q_s)}{q}\right) \left(1 - \frac{1}{q}\right)$$

$$t' \le t + \mathcal{O}(q_e + q_s)E$$

Trong đó, $q_h, q_e, q_s$ lần lượt là số lượng truy vấn tối đa tới Oracle hàm băm, Oracle trích xuất và Oracle ký mù; $E$ biểu thị thời gian thực hiện phép tính lũy thừa modulo.

  1. Mệnh đề về Tính mù (Blindness Property): Luận án chứng minh rằng với mọi thuật toán thời gian đa thức của kẻ tấn công $\mathcal{B}$ đóng vai trò là người ký, xác suất phân biệt được thông điệp nào ứng với chữ ký nào là hàm vô cùng bé:

$$\left| \Pr[b' = b] - \frac{1}{2} \right| \le \frac{1}{p^c}$$

với $c$ là hằng số dương tùy ý và $p$ là số nguyên tố đủ lớn.

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

Khung phân tích của luận án tích hợp liên ngành giữa ba nhánh lý thuyết: Đại số trừu tượng (Lý thuyết nhóm và trường hữu hạn), Mật mã học hình thức (Provable Security) và Hình học đại số rời rạc (Discrete Algebraic Geometry).

Đặc biệt, luận án đã đề xuất một hướng tiếp cận đột phá: Xây dựng bài toán khó mới trên nhóm con hữu hạn không vòng hai chiều.

Định nghĩa cấu trúc nhóm con 2 chiều: Xét modulo một hợp số $n = p \cdot q$ (với $p, q$ là các số nguyên tố an toàn). Trên nhóm nhân $\mathbb{Z}_n^*$, thiết lập nhóm con hai chiều $\Gamma$ sinh bởi hai phần tử độc lập tuyến tính $\mathbf{g}_1, \mathbf{g}_2$. Khi đó, bài toán xác định cặp số mũ $(x_1, x_2)$ thỏa mãn:

$$Y \equiv \mathbf{g}_1^{x_1} \cdot \mathbf{g}_2^{x_2} \pmod n$$

là một bài toán khó kép, tích hợp độ khó của bài toán phân tích thừa số IFP trên $n$ và bài toán logarit rời rạc nhiều chiều. Cấu trúc này đặt ra điều kiện biên nghiêm ngặt: kích thước modulus $n \ge 2048$ bit để chống phân tích NFS, đồng thời bậc của các nhóm con $r \ge 256$ bit để loại bỏ hoàn toàn thuật toán Pollard's rho và Pohlig-Hellman.

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 lập trường nhận thức luận thực chứng (Positivism Paradigm) kết hợp với phương pháp suy diễn toán học chặt chẽ (Deductive Mathematical Reasoning). Thiết kế nghiên cứu vận hành theo quy trình đa tầng khép kín:

Quy trình nghiên cứu rigorous

Quy trình đánh giá độ phức tạp tính toán được chuẩn hóa bằng cách quy đổi toàn bộ các thuật toán về các phép toán nguyên thủy trên trường hữu hạn:

  • $T_{exp}$: Thời gian thực hiện một phép lũy thừa modulo trên $\mathbb{Z}_p^*$.
  • $T_{mul}$: Thời gian thực hiện một phép nhân modulo trên $\mathbb{Z}_p^*$.
  • $T_{inv}$: Thời gian thực hiện một phép nghịch đảo modulo.
  • $T_{ECmul}$: Thời gian thực hiện phép nhân vô hướng trên đường cong Elliptic ($k \cdot G$).
  • $T_{ECadd}$: Thời gian thực hiện phép cộng hai điểm trên đường cong Elliptic ($P + Q$).
  • $T_H$: Thời gian thực thi một hàm băm mật mã an toàn (SHA-256 / GOST R34.11).

Quy trình bảo đảm độ tin cậy (reliability) và giá trị xây dựng (construct validity) thông qua việc phân loại các mức độ tấn công theo mô hình chuẩn của Goldwasser, Micali và Rivest (1988), bao gồm:

  1. Tấn công chỉ biết khóa công khai (Key-Only Attack - KOA).
  2. Tấn công văn bản đã biết (Known Message Attack - KMA).
  3. Tấn công văn bản được lựa chọn tổng quát (Generic Chosen Message Attack - GCMA).
  4. Tấn công văn bản được lựa chọn trực tiếp (Directed Chosen Message Attack - DCMA).
  5. Tấn công văn bản được lựa chọn thích ứng (Adaptive Chosen Message Attack - ACMA).

Tất cả các lược đồ đề xuất đều đạt mức bảo vệ cao nhất: Chống giả mạo tồn tại dưới dạng tấn công văn bản lựa chọn thích ứng (EUF-ACMA).

Data và phân tích

Phân tích định lượng về chi phí tính toán được thực hiện chi tiết cho từng pha của lược đồ. Dưới đây là bảng tổng hợp so sánh độ phức tạp tính toán giữa các lược đồ đề xuất của tác giả và các công trình quốc tế tiêu biểu:

Lược đồ nghiên cứu Độ phức tạp Pha Ký số (Sign Phase) Độ phức tạp Pha Xác thực (Verify Phase) Kích thước Chữ ký (bits)
LĐ Moldovyan (2010) [72] (DLP Schnorr) $(n+1)T_{exp} + (n+2)T_{mul}$ $2T_{exp} + 1T_{mul} + 1T_H$ $|q| + |q|$
LĐ Đề xuất 1 (Schnorr-based Collective Blind) $n T_{exp} + (n+1)T_{mul}$ (Giảm $1 T_{exp}$) $2T_{exp} + 1T_{mul} + 1T_H$ $|q| + |q|$
LĐ Moldovyan (2011) [73] (GOST R34.10-94) $(n+3)T_{exp} + (n+4)T_{mul} + 2T_{inv}$ $2T_{exp} + 1T_{mul} + 1T_{inv} + 1T_H$ $|q| + |q|$
LĐ Đề xuất 2 (GOST 94-based Collective Blind) $(n+1)T_{exp} + (n+2)T_{mul} + 1T_{inv}$ $2T_{exp} + 1T_{mul} + 1T_H$ (Giảm $1 T_{inv}$) $|q| + |q|$
LĐ Đề xuất 3 (EC-Schnorr Collective Blind) $n T_{ECmul} + (n+1)T_{ECadd}$ $2T_{ECmul} + 1T_{ECadd} + 1T_H$ $256 + 256$
LĐ Đề xuất 4 (GOST 2012-based EC Blind) $(n+1)T_{ECmul} + n T_{ECadd}$ $2T_{ECmul} + 1T_{ECadd} + 1T_H$ $256 + 256$
LĐ Ismail et al. (2008) [45] (Dual IFP/DLP) $4T_{exp} + 3T_{mul} + 1T_{inv}$ $3T_{exp} + 2T_{mul} + 1T_H$ $|n| + |n|$
LĐ Đề xuất Chương 3 (Dual RSA/Schnorr) $2T_{exp} + 2T_{mul}$ (Tiết kiệm $50%$ phép lũy thừa) $2T_{exp} + 1T_{mul} + 1T_H$ $|n| + |q|$

Kết quả đo kiểm thực nghiệm thời gian thực thi (đơn vị: mili-giây) trên môi trường chuẩn cho thấy:

  • Lược đồ chữ ký tập thể mù phát triển trên EC-Schnorr đạt tốc độ sinh chữ ký nhanh hơn $3.8$ lần so với lược đồ trên nền Schnorr $\mathbb{Z}_p^*$ truyền thống khi số lượng người tham gia ký tập thể $n = 10$.
  • Lược đồ dựa trên GOST R34.10-2012 giúp tiết kiệm $72%$ dung lượng lưu trữ chữ ký và bộ nhớ truyền thông so với GOST R34.10-94 ở cùng mức an toàn 128-bit.

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

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

  1. Tối ưu hóa cấu trúc tham số làm mù: Khác với công trình của Moldovyan (2011) [73] phải sử dụng 4 tham số làm mù ngẫu nhiên $(\alpha, \beta, \gamma, \delta)$, nghiên cứu đã chứng minh chỉ cần sử dụng 2 tham số ngẫu nhiên $(\alpha, \beta)$ là đủ để bảo đảm tính mù tuyệt đối theo định nghĩa của Chaum, giúp giảm bớt $2$ phép lũy thừa modulo trong pha làm mù và giải mù.
  2. Đột phá về cơ chế kháng phá vỡ kép (Dual-Hard Problem Resistance): Lược đồ kết hợp RSA và Schnorr trong Chương 3 tạo ra một rào cản tính toán vượt trội:

Nếu một trong hai bài toán (IFP hoặc DLP) bị suy giảm độ an toàn do tiến bộ của thuật toán lượng tử đơn lẻ, lược đồ vẫn duy trì nguyên vẹn tính bảo mật nhờ bài toán còn lại. 3. Rút ngắn độ dài chữ ký qua nhóm con 2 chiều: Luận án phát hiện rằng việc ánh xạ bài toán logarit rời rạc lên nhóm con hữu hạn không vòng hai chiều cho phép giảm kích thước chữ ký từ kích thước của modulus $n$ ($2048$ bits) xuống kích thước của bậc nhóm con ($256$ bits), giúp giảm $87.5%$ phụ tải truyền thông mạng. 4. Kiến trúc Bầu cử điện tử 4 tầng phân lập quyền lực: Ứng dụng thành công chữ ký tập thể mù vào mô hình bỏ phiếu số gồm 4 tầng độc lập:

  • Tầng 1 (Cấp phát Token): Cấp phát định danh mù cho cử tri đủ điều kiện.
  • Tầng 2 (Đăng ký): Xác thực quyền cử tri mà không lưu vết danh tính.
  • Tầng 3 (Bỏ phiếu): Ký tập thể mù lên phiếu bầu; cử tri giải mù và nộp phiếu nặc danh qua kênh an toàn.
  • Tầng 4 (Kiểm phiếu): Xác thực công khai tính hợp lệ của chữ ký tập thể trên toàn bộ hòm phiếu mà không thể liên kết bất kỳ lá phiếu nào với token hay danh tính ban đầu.
  Cấp token mù qua           Xác thực quyền nặc         Tập thể ký mù lên          Kiểm tra chữ ký
  chữ ký số đơn              danh của cử tri            phiếu bầu hợp lệ           tập thể công khai

Implications đa chiều

  • Về mặt Lý thuyết: Đặt nền móng cho việc mở rộng các chuẩn chữ ký số quốc gia sang hệ mật nặc danh; bổ sung phương pháp luận chứng minh an toàn trong ROM cho các họ chữ ký tập thể nhiều bên.
  • Về mặt Phương pháp luận: Cung cấp khung đánh giá độ phức tạp tính toán chuẩn hóa, hỗ trợ các nhà nghiên cứu mật mã phân tích định lượng chi phí giao thức trước khi tiến hành thực nghiệm.
  • Về mặt Thực tiễn: Đem lại giải pháp trực tiếp cho việc bảo vệ bí mật kinh doanh trong đấu thầu qua mạng, bảo đảm quyền riêng tư của bệnh nhân trong hệ thống dữ liệu y tế điện tử (EHR), và ngăn ngừa gian lận trong các hệ thống tiền kỹ thuật số của Ngân hàng Trung ương (CBDC).
  • Về mặt Chính sách: Cung cấp luận cứ khoa học vững chắc để các cơ quan quản lý nhà nước (Bộ Thông tin và Truyền thông, Ban Cơ yếu Chính phủ) tham khảo khi xây dựng tiêu chuẩn kỹ thuật quốc gia về chữ ký số thế hệ mới phục vụ Chính phủ điện tử tại Việt Nam.

Limitations và Future Research

Luận án thừa nhận một cách khách quan các giới hạn khoa học (limitations):

  1. Phụ thuộc vào giả định Tiên tri Ngẫu nhiên: Mô hình ROM giả định sự tồn tại của một hàm băm hoàn hảo với tính ngẫu nhiên tuyệt đối. Trong thực tế, việc cài đặt các hàm băm cụ thể (như SHA-2 hoặc SHA-3) có thể bộc lộ những điểm yếu cấu trúc chưa được tính đến trong mô hình lý thuyết.
  2. Rào cản truyền thông đa vòng: Các lược đồ chữ ký tập thể mù đề xuất yêu cầu từ 3 đến 4 vòng truyền thông giữa người yêu cầu ký và tập thể người ký. Khi quy mô nhóm ký lên đến hàng trăm thành viên, độ trễ mạng có thể trở thành điểm nghẽn.
  3. Mối đe dọa từ Điện toán Lượng tử toàn diện: Dù việc kết hợp hai bài toán IFP và DLP nâng cao độ an toàn trước máy tính cổ điển, cả hai bài toán này về mặt lý thuyết đều có thể bị giải trong thời gian đa thức bởi thuật toán Shor trên máy tính lượng tử lý tưởng.

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

  • Hướng 1: Chuyển đổi các lược đồ chữ ký tập thể mù sang chứng minh an toàn trong Mô hình Chuẩn (Standard Model) không cần giả định ROM.
  • Hướng 2: Nghiên cứu các lược đồ chữ ký tập thể mù dựa trên Mật mã hậu lượng tử (Post-Quantum Cryptography), đặc biệt là mật mã trên lưới (Lattice-based cryptography như chuẩn CRYSTALS-Dilithium hoặc FALCON).
  • Hướng 3: Thiết kế giao thức chữ ký tập thể mù phi đồng bộ (Asynchronous Blind Multisignatures) nhằm giảm số vòng truyền thông xuống còn 1 hoặc 2 vòng, tối ưu hóa cho mạng cảm biến không dây và mạng biên IoT.
  • Hướng 4: Phát triển các biến thể chữ ký số mù tập thể có tính năng Phục hồi có điều kiện (Fair/Traceable Blind Signatures), cho phép một cơ quan tài phán được chỉ định có thể hủy bỏ tính nặc danh trong trường hợp phát hiện hành vi phạm tội hoặc rửa tiền.

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

Nghiên cứu mang lại những ảnh hưởng sâu rộng trên nhiều bình diện:

  • Tác động Học thuật: Đóng góp 4 công trình khoa học công bố trên các tạp chí và kỷ yếu hội nghị chuyên ngành uy tín; mở ra hướng nghiên cứu mới về việc tối ưu hóa chuẩn chữ ký số quốc gia cho các bài toán bảo mật nâng cao.
  • Chuyển đổi Công nghiệp: Các doanh nghiệp cung cấp giải pháp xác thực số (CA, Fintech, Ngân hàng thương mại) có thể trực tiếp ứng dụng thuật toán của luận án để phát triển ví điện tử nặc danh, hợp đồng thông minh bảo mật (Privacy-preserving Smart Contracts) trên nền tảng Blockchain.
  • Lợi ích Xã hội: Nâng cao niềm tin của công dân vào các dịch vụ công trực tuyến; bảo vệ quyền riêng tư cá nhân – một trong những quyền cơ bản của con người trong môi trường số, đồng thời bảo đảm tính minh bạch không thể xuyên tạc của các cuộc trưng cầu dân ý và bầu cử dân chủ.

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

  • Nghiên cứu sinh và Giới học giả (Doctoral Researchers & Academics): Kế thừa khung lý thuyết, phương pháp quy đổi độ phức tạp thuật toán và kỹ thuật chứng minh an toàn trong ROM để mở rộng cho các dạng chữ ký số đặc thù khác (Ring Signature, Threshold Signature).
  • Kỹ sư Nghiên cứu & Phát triển (R&D Engineers in Cybersecurity): Sở hữu các đặc tả thuật toán chi tiết với đầy đủ phương trình toán học để triển khai lập trình trực tiếp trên các thư viện mật mã như OpenSSL, Bouncy Castle hoặc trên vi mạch phần cứng FPGA/ASIC.
  • Các Nhà hoạch định Chính sách và Chuyên gia Cơ yếu (Policy Makers & Cryptographers): Có cơ sở khoa học để đánh giá, thẩm định và ban hành các tiêu chuẩn kỹ thuật về an toàn thông tin phục vụ Đề án chuyển đổi số quốc gia và xây dựng đô thị thông minh.

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

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và nó mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc xây dựng cấu trúc chữ ký số trên nhóm con hữu hạn không vòng hai chiều modulo một hợp số $n$. Công trình này đã mở rộng lý thuyết mật mã khóa công khai dựa trên logarit rời rạc đa chiều, tạo ra cơ chế bảo mật kép kết hợp độ khó của bài toán IFP (tương tự RSA) và DLP trên nhóm con. Kết quả này vượt qua giới hạn của các hệ mật truyền thống chỉ dựa trên nhóm cyclic một chiều.

2. Sự đổi mới về mặt phương pháp luận so với các nghiên cứu quốc tế trước đây?

So với công trình của Nikolay A. Moldovyan (2010, 2011) [72], [73] và Ismail et al. (2008) [45], luận án đã đổi mới phương pháp luận ở hai khía cạnh:

  • Tối giản hóa tham số: Giảm số lượng tham số làm mù từ 4 xuống 2, loại bỏ các phép tính nghịch đảo modulo không cần thiết ở pha xác thực.
  • Hình thức hóa an toàn: Cung cấp chứng minh an toàn toán học đầy đủ trong mô hình ROM kết hợp Bổ đề rẽ nhánh (Forking Lemma), khắc phục hoàn toàn điểm yếu thiếu chứng minh hình thức trong các nghiên cứu của Moldovyan.

3. Phát hiện bất ngờ nhất trong quá trình phân tích dữ liệu thực nghiệm?

Phát hiện bất ngờ nhất là lược đồ chữ ký tập thể mù dựa trên GOST R34.10-2012 (đường cong Elliptic) không chỉ giảm kích thước khóa mà còn có tốc độ tăng trưởng thời gian tính toán theo số lượng người ký $n$ chậm hơn đáng kể so với GOST R34.10-94. Khi $n$ tăng từ 2 lên 20 người ký, chi phí thời gian của GOST 2012 chỉ tăng tuyến tính với hệ số góc rất nhỏ nhờ tính hiệu quả vượt trội của phép cộng điểm trên đường cong Elliptic so với phép nhân số nguyên cực lớn trên $\mathbb{Z}_p^*$.

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

Luận án cung cấp đầy đủ và chi tiết toàn bộ các phương trình tham số miền, thủ tục sinh khóa (Gen), thuật toán ký tập thể (Sig), thuật toán làm mù (Blind), thuật toán giải mù (Unblind) và thủ tục kiểm tra (Ver). Mọi biến số và không gian mẫu ($p, q, g, G, \alpha, \beta, k, d, P$) đều được định nghĩa rõ ràng về mặt toán học, cho phép bất kỳ chuyên gia mật mã nào cũng có thể lập trình tái hiện chính xác 100% các kết quả thực nghiệm.

5. Tầm nhìn nghiên cứu 10 năm được định hình như thế nào?

Tầm nhìn 10 năm hướng tới sự hội tụ giữa Chữ ký tập thể mù bảo toàn tính riêng tư và Mật mã học hậu lượng tử trên nền tảng tính toán biên phân tán. Mục tiêu là thiết kế các giao thức chữ ký nặc danh nhóm có khả năng kháng lại các cuộc tấn công từ siêu máy tính lượng tử chứa hàng triệu qubit, đồng thời tích hợp trực tiếp vào hạ tầng Web3, Identity Management phi tập trung (DID) và bảo mật dữ liệu lớn trong trí tuệ nhân tạo (Federated Learning Privacy).

Kết luận

Luận án tiến sĩ của Nghiên cứu sinh Nguyễn Tấn Đức đã hoàn thành xuất sắc các mục tiêu nghiên cứu đặt ra, mang lại những đóng góp khoa học và thực tiễn có giá trị bền vững:

  1. Đề xuất 4 lược đồ chữ ký số tập thể mù mới dựa trên các chuẩn GOST R34.10-94, GOST R34.10-2012 và các lược đồ phổ biến Schnorr, EC-Schnorr với chi phí tính toán thấp hơn các công bố quốc tế cùng thời điểm.
  2. Chứng minh an toàn toán học hình thức cho các lược đồ đề xuất trong Mô hình Tiên tri Ngẫu nhiên (ROM), bảo đảm khả năng chống giả mạo thích ứng (EUF-ACMA) và tính mù tuyệt đối.
  3. Phát triển lược đồ chữ ký số mù lai ghép hai bài toán khó (IFP + DLP), nâng cao biên độ an toàn trước các nguy cơ tấn công bằng thuật toán chỉ số chuyên dụng.
  4. Đề xuất bài toán khó mới trên nhóm con hữu hạn không vòng hai chiều, tạo đột phá trong việc thu gọn kích thước chữ ký số cho các hệ thống phần cứng giới hạn tài nguyên.
  5. Thiết kế hoàn chỉnh kiến trúc Bầu cử điện tử 4 tầng, cung cấp giải pháp khả thi, minh bạch và bảo mật cao cho các bài toán ứng dụng thực tế trong Chính phủ điện tử.
  6. Mở ra 3 hướng nghiên cứu chuyển tiếp quan trọng, kết nối mật mã học cổ điển với kỷ nguyên an toàn hậu lượng tử và bảo tồn tính riêng tư trong xã hội số tương lai.