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 thiết lập hạ tầng bảo mật vững chắc cho các giao dịch điện tử của Chính phủ số và Kinh tế số trở thành nhiệm vụ mang tính sống còn. Cơ chế xác thực thông tin thông qua chữ ký số đơn truyền thống vốn giải quyết tốt tính toàn vẹn và chống chối bỏ ở cấp độ cá nhân, nhưng bộc lộ nhiều điểm nghẽn nghiêm trọng khi đối mặt với các giao dịch yêu cầu tính nặc danh cao và cơ chế đồng thuận đa cấp độ. Luận án tiến sĩ kỹ thuật chuyên ngành Kỹ thuật máy tính (Mã số: 9.06) của Nghiên cứu sinh Nguyễn Tấn Đức thực hiện tại Học viện Công nghệ Bưu chính Viễn thông năm 2020 dưới sự hướng dẫn khoa học của TS. Nguyễn Hiếu Minh và TS. Ngô Đức Thiện đã giải quyết trực diện bài toán này thông qua đề tài: "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ố".

Khoảng trống nghiên cứu (Research gap) được xác định rõ nét từ thực trạng yếm thế của các lược đồ chữ ký số mù và tập thể mù đương đại:

  1. Phần lớn các lược đồ hiện hữu chỉ dựa trên một bài toán khó đơn lẻ như bài toán phân tích thừa số nguyên lớn (IFP) theo Rivest, Shamir và Adleman (1978) hoặc bài toán logarit rời rạc (DLP) theo Diffie và Hellman (1976), dẫn đến nguy cơ sụp đổ hoàn toàn trước các thuật toán sàng trường số tổng quát (NFS) hay sự đột phá của điện toán lượng tử.
  2. Các lược đồ kết hợp hai bài toán khó như nghiên cứu của Ismail, Tahat và Ahmad (2008) hoặc các cấu trúc chữ ký tập thể mù của Moldovyan (2011) thiếu các chứng minh toán học chặt chẽ trong Mô hình Tiên tri Ngẫu nhiên (Random Oracle Model - ROM) theo chuẩn Bellare và Rogaway (1993), đồng thời đòi hỏi quá nhiều tham số làm mù (lên tới 4 tham số) gây bùng nổ chi phí tính toán.
  3. Kích thước chữ ký tập thể có xu hướng phình to tỷ lệ thuận với số lượng thực thể tham gia ký ($n$), gây tắc nghẽn tài nguyên truyền thông trên các thiết bị giới hạn năng lượng.

Luận án đặt ra hệ thống 4 câu hỏi nghiên cứu (RQ) và 4 giả thuyết khoa học (H) tương ứng:

  • RQ1: Làm thế nào để thiết kế lược đồ chữ ký số tập thể mù có chiều dài không đổi dựa trên các chuẩn mật mã quốc gia và quốc tế? $\rightarrow$ H1: Tích hợp cơ chế kết hợp khóa công khai và chữ ký thành phần trên nền tảng GOST R34.10-94, GOST R34.10-2012, Schnorr và EC-Schnorr sẽ tạo ra chữ ký tập thể mù có kích thước cố định bằng kích thước chữ ký đơn và giảm đáng kể độ phức tạp thời gian.
  • RQ2: Liệu có thể xây dựng lược đồ ký số kháng phá vỡ kép dựa trên sự kết hợp đồng thời của hai bài toán khó IFP và DLP? $\rightarrow$ H2: Sự kết hợp hữu cơ giữa cấu trúc RSA và Schnorr sẽ buộc kẻ tấn công phải giải đồng thời hai bài toán khó trong thời gian đa thức mới có thể giả mạo chữ ký.
  • RQ3: Có tồn tại cấu trúc đại số mới cho phép rút ngắn kích thước chữ ký số mù mà vẫn bảo toàn mức độ an toàn mật mã? $\rightarrow$ H3: Thiết lập bài toán khó mới dựa trên tính toán logarit rời rạc modulo hợp số $n$ trong các nhóm con hữu hạn không vòng hai chiều sẽ thu gọn độ dài chữ ký mà không làm suy giảm độ an toàn.
  • RQ4: Lược đồ chữ ký số tập thể mù đề xuất có khả năng ứng dụng thực tiễn trong hệ thống bỏ phiếu điện tử ẩn danh quy mô lớn hay không? $\rightarrow$ H4: Thiết kế kiến trúc 4 tầng (Cấp phát Token, Đăng ký, Bỏ phiếu, Kiểm phiếu) kết hợp chữ ký tập thể mù sẽ thỏa mãn đồng thời tính mù, tính không liên kết và tính xác thực đa cấp độ.

Khung lý thuyết của luận án được định hình từ Lý thuyết Mật mã khóa công khai, Lý thuyết Nhóm đại số trừu tượng, Lý thuyết Độ phức tạp tính toán và Mô hình an toàn mật mã xác suất. Phạm vi nghiên cứu bao quát các không gian tham số tiêu chuẩn: modulo số nguyên lớn 1024–2048 bit, trường hữu hạn $GF(p)$, đường cong elliptic chuẩn hóa với bậc nhóm con nguyên tố $n \ge 2^{160}$. Đóng góp của luận án mang tính đột phá khi cắt giảm 20–35% thời gian tính toán so với các công trình quốc tế cùng thời điểm, tối ưu hóa kích thước chữ ký tập thể về một giá trị duy nhất độc lập với số lượng người ký, tạo tiền đề vững chắc cho việc bảo mật các dịch vụ công trực tuyến.

Literature Review và Positioning

Bức tranh tổng quan y văn về chữ ký số và chữ ký số mù trải qua gần 4 thập kỷ tiến hóa với ba dòng nghiên cứu chủ lưu:

[1976: Diffie & Hellman] Concept Mật mã Khóa công khai
         │
         ├───► [1978: RSA] Lược đồ Chữ ký số đầu tiên (Bài toán IFP)
         │       │
         │       └───► [1983: David Chaum] Phát minh Chữ ký số Mù (Blind Signatures)
         │
         ├───► [1983: K. Itakura] Phát minh Chữ ký số Tập thể đầu tiên
         │
         ├───► [1989-1991: Schnorr, Koblitz & Miller] Mật mã DLP & Đường cong Elliptic (ECDLP)
         │       │
         │       └───► [1995: Horster et al.] Chữ ký số tập thể mù đầu tiên cho E-voting
         │
         └───► [2008-2017: Tranh luận Đơn bài toán vs Đa bài toán khó]
                 ├── Ismail, Tahat, Ahmad (2008): Kết hợp IFP & DLP
                 ├── Moldovyan & Moldovyan (2010, 2011): Blind Multi-signatures trên DLP & GOST
                 └── Nguyễn Tấn Đức (Luận án 2020): Tối ưu hóa Chuẩn hóa & Cấu trúc Nhóm hai chiều

Dòng nghiên cứu thứ nhất bắt nguồn từ công trình nền tảng của Whitfield Diffie và Martin Hellman (1976) phỏng đoán về hàm một chiều, hiện thực hóa bởi Rivest, Shamir và Adleman (1978) với hệ mật RSA. David Chaum (1983) tạo ra bước ngoặt mang tính cách mạng khi giới thiệu khái niệm chữ ký số mù (blind signature), cho phép người yêu cầu nhận được chữ ký hợp lệ mà người ký hoàn toàn không biết nội dung thông điệp gốc, đặt nền móng cho thanh toán nặc danh và bỏ phiếu điện tử. K. Itakura (1983) đồng thời phát minh chữ ký số tập thể (multisignature) nhằm giải quyết nhu cầu xác thực phân cấp của tổ chức. Năm 1995, Horster cùng các cộng sự công bố công trình đầu tiên kết hợp chữ ký tập thể mù trên nền tảng bài toán logarit rời rạc.

Dòng nghiên cứu thứ hai tập trung vào các chuẩn mật mã và tối ưu hiệu năng tính toán. C.P. Schnorr (1989, 1991) phát triển lược đồ chữ ký định danh hiệu năng cao trên nhóm con bậc nguyên tố. Tiếp đó, Neal Koblitz (1987) và Victor Miller (1985) độc lập đề xuất mật mã đường cong elliptic (ECC), cho phép giảm kích thước khóa từ 1024–2048 bit của RSA xuống còn 160–256 bit mà vẫn bảo toàn độ an toàn tương đương. Sự phát triển này thúc đẩy việc chuẩn hóa các tiêu chuẩn quốc gia như GOST R34.10-94 và GOST R34.10-2012 của Liên bang Nga, cũng như chuẩn ECDSA của Mỹ.

Dòng nghiên cứu thứ ba tập trung vào bài toán nâng cao năng lực kháng tấn công thông qua việc kết hợp các bài toán khó. Giới học thuật nảy sinh cuộc tranh luận gay gắt giữa hai trường phái:

  1. Trường phái tiếp cận đơn bài toán khó: Tiêu biểu là Nikolay A. Moldovyan và Alexander A. Moldovyan (2010, 2011), lập luận rằng tối ưu hóa cấu trúc vòng lặp trên DLP hoặc GOST R34.10-94 là đủ để đạt được tính bảo mật thực tế với chi phí tính toán thấp. Tuy nhiên, điểm yếu cốt tử là lược đồ của Moldovyan (2011) phải sử dụng 4 tham số làm mù $(\alpha, \beta, \gamma, \delta)$, tạo gánh nặng tính toán lũy thừa modulo rất lớn và chưa được chứng minh an toàn hình thức.
  2. Trường phái đa bài toán khó: Đại diện bởi Ismail, Tahat và Ahmad (2008), khẳng định sự cần thiết phải lai ghép giữa IFP và DLP để ngăn chặn nguy cơ bẻ khóa khi một trong hai bài toán bị giải thuật toán tiến bộ hóa giải. Tuy nhiên, lược đồ của Ismail et al. (2008) có cấu trúc truyền thông phức tạp, chi phí tính toán pha ký và xác thực cao, thiếu khả năng mở rộng cho tập thể người ký.
  3. Trường phái chứng minh an toàn: Tranh luận sâu sắc giữa việc chứng minh an toàn dựa trên độ phức tạp chuẩn (Complexity-based proofs) theo Ari Juels, Michael Luby và Rafail Ostrovsky (1997) và chứng minh trong Mô hình Tiên tri Ngẫu nhiên (ROM) theo Bellare và Rogaway (1993). Dù Juels et al. nhấn mạnh tính chặt chẽ lý thuyết, mô hình ROM lại chiếm ưu thế tuyệt đối trong việc đánh giá các lược đồ thực tế nhờ tính khả thi tính toán.

Vị thế của luận án được xác lập rõ ràng tại giao điểm của các dòng nghiên cứu: kế thừa tính ưu việt của các chuẩn mật mã đã được kiểm nghiệm thực tế (GOST, Schnorr, EC-Schnorr), giải quyết triệt để bài toán tối ưu hóa chi phí tham số mù của Moldovyan (2011), vượt trội cấu trúc đa bài toán khó của Ismail et al. (2008), đồng thời tiên phong thiết lập cấu trúc nhóm con hữu hạn không vòng hai chiều để rút ngắn kích thước chữ ký.

Đó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 và thách thức các giới hạn lý thuyết mật mã hiện đại trên nhiều phương diện cốt lõi:

  1. Mở rộng lý thuyết chữ ký tập thể mù chuẩn hóa: Mở rộng lý thuyết định danh của Schnorr (1991) và tiêu chuẩn GOST R34.10-94 / GOST R34.10-2012 sang không gian chữ ký mù phân tán. Bằng cách thiết lập cơ chế đồng thuận phân tán thông qua việc tổng hợp các điểm ngẫu nhiên $R = \prod_{i=1}^n R_i \pmod p$ hoặc $C = \sum_{i=1}^n C_i$, luận án chứng minh rằng khóa công khai tập thể $Y = \prod_{i=1}^n Y_i \pmod p$ và chữ ký tập thể $S = \sum_{i=1}^n S_i \pmod q$ có thể đại diện hoàn hảo cho ý chí của toàn bộ tập thể người ký mà không để lộ khóa riêng lẻ $x_i$.
  2. Khung lý thuyết lai ghép hai bài toán khó (Dual-Hard-Problem Framework): Phát triển mô hình lý thuyết kết hợp giữa IFP và DLP. Kẻ tấn công muốn thực hiện hành vi giả mạo hiện sinh dưới tấn công thông điệp lựa chọn thích ứng (EUF-ACMA) buộc phải tìm ra thuật toán bẻ gãy đồng thời hai bài toán khó trong thời gian đa thức:

$$\Pr[\text{Break}{\text{Hybrid}}] \le \min\left(\Pr[\text{Break}{\text{IFP}}], \Pr[\text{Break}_{\text{DLP}}]\right)$$

  1. Thiết lập nền tảng đại số nhóm con hữu hạn không vòng hai chiều: Đề xuất một cấu trúc toán học mới sử dụng nhóm con hai chiều trên trường hữu hạn modulo hợp số $n = pq$, cho phép thu gọn chiều dài chữ ký số mù từ 1024 bit xuống còn các kích thước nhỏ gọn tương đương mật mã đường cong elliptic mà không làm giảm độ phức tạp tính toán của kẻ tấn công.
       ┌────────────────────────────────────────────────────────┐
       │   Cơ sở Toán học & Nền tảng Nhóm Đại số Phức hợp        │
       │   (IFP + DLP + ECDLP + Nhóm con không vòng 2 chiều)    │
       └───────────────────────────┬────────────────────────────┘
                                   │
         ┌─────────────────────────┴─────────────────────────┐
         ▼                                                   ▼
┌─────────────────────────────────┐       ┌─────────────────────────────────┐
│ Lược đồ Tập thể Mù Chuẩn hóa    │       │ Lược đồ Mù Đa Bài toán Khó      │
│ - GOST R34.10-94 / Schnorr      │       │ - Lai ghép RSA & Schnorr        │
│ - GOST R34.10-2012 / EC-Schnorr │       │ - Nhóm con không vòng 2D        │
└────────────────┬────────────────┘       └────────────────┬────────────────┘
                 │                                         │
                 └────────────────────┬────────────────────┘
                                      ▼
       ┌────────────────────────────────────────────────────────┐
       │     Mô hình Chứng minh An toàn trong Không gian ROM    │
       │     (Kháng Tấn công ACMA, Đạt Tính Mù & Chống Giả mạo) │
       └───────────────────────────┬────────────────────────────┘
                                   ▼
       ┌────────────────────────────────────────────────────────┐
       │     Ứng dụng Thực tiễn: Hệ thống E-Voting 4 Tầng       │
       │     (Token Ẩn danh ──► Đăng ký ──► Bỏ phiếu ──► Kiểm)  │
       └────────────────────────────────────────────────────────┘

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

Khung phân tích của luận án tích hợp sâu sắc 4 lý thuyết nền tảng:

  • Lý thuyết Mật mã hóa Bất đối xứng (Asymmetric Cryptography Theory): Định nghĩa không gian khóa bí mật $sk \in \mathbb{Z}_q^*$ và khóa công khai tương ứng $pk = g^{sk} \pmod p$.
  • Lý thuyết Hàm băm một chiều mật mã (Cryptographic Hash Function Theory): Mô hình hóa hàm $H: {0,1}^* \to \mathbb{Z}_q^*$ phân phối đều ngẫu nhiên.
  • Lý thuyết Làm mù giao hoán (Commutative Blinding Theory): Áp dụng cặp toán tử $(f, f^{-1})$ sao cho $f(\text{Sig}(f(M))) = \text{Sig}(M)$, triệt tiêu mọi liên kết giữa bản tin làm mù $M'$ và bản tin gốc $M$.
  • Mô hình Tiên tri Ngẫu nhiên (Random Oracle Model - ROM): Cung cấp công cụ toán học mô phỏng truy vấn trích xuất oracle ($q_e$), truy vấn hàm băm ($q_h$) và truy vấn ký ($q_s$) để chứng minh cận an toàn xác suất.

Điều kiện biên (Boundary conditions) được xác lập rõ ràng: Hệ thống vận hành an toàn tuyệt đối với giả định máy tính cổ điển chưa giải được DLP/IFP trong thời gian đa thức, tham số số nguyên tố $p \ge 1024$ bit, $q \ge 160$ bit, hoặc điểm trên đường cong elliptic có bậc $n \ge 2^{160}$.

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

Thiết kế nghiên cứu

Luận án tuân thủ triệt để triết học nghiên cứu thực chứng logic (Positivism / Formal Deductive Methodology). Bản chất của nghiên cứu mật mã học kỹ thuật máy tính đòi hỏi tính quy diễn toán học chính xác tuyệt đối, kết hợp giữa chứng minh lý thuyết hình thức và đo lường thực nghiệm hiệu năng tính toán.

Thiết kế nghiên cứu đa tầng bao gồm:

  1. Tầng toán học trừu tượng: Thiết lập các định lý, mệnh đề và hệ quả đại số.
  2. Tầng giao thức mật mã: Thiết kế các thuật toán tạo khóa ($\text{Gen}$), ký số ($\text{Sig}$), làm mù ($\text{Blind}$), giải mù ($\text{Unblind}$) và xác thực ($\text{Ver}$).
  3. Tầng đánh giá an toàn: Mô phỏng tấn công giải tích trên mô hình ROM.
  4. Tầng thực nghiệm: Đo lường độ trễ thực thi (thời gian tính toán tính bằng mili-giây) trên môi trường phần cứng chuẩn.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được kiểm soát nghiêm ngặt qua 4 bước:

[BƯỚC 1: XÂY DỰNG GIAO THỨC]
   - Thiết lập tham số đại số (p, q, g, E(GF(p)), n = pq)
   - Thiết kế 4 pha: Làm mù, Ký thành phần, Tổng hợp & Giải mù, Xác thực
                 │
                 ▼
[BƯỚC 2: CHỨNG MINH HÌNH THỨC TRONG ROM]
   - Chứng minh Tính mù: |Pr[b' = b] - 1/2| <= 1/c
   - Chứng minh Chống giả mạo (EUF-ACMA): Khử giả mạo quy về giải DLP/ECDLP
                 │
                 ▼
[BƯỚC 3: PHÂN TÍCH ĐỘ PHỨC TẠP TÍNH TOÁN]
   - Đếm số lượng phép toán cơ sở: Phép nhân Modulo (Mul), Lũy thừa Modulo (Exp), 
     Nhân điểm Elliptic (EC_Mul), Cộng điểm (EC_Add), Nghịch đảo Modulo (Inv)
                 │
                 ▼
[BƯỚC 4: THỰC NGHIỆM ĐO LƯỜNG & ĐỐI SÁNH QUỐC TẾ]
   - Thực nghiệm đo lường độ trễ (ms)
   - So sánh trực tiếp với các công trình: Ismail (2008), Moldovyan (2010, 2011), Minh (2017)

Quy trình chứng minh an toàn trong ROM thiết lập bài toán khử giả mạo. Giả sử tồn tại kẻ giả mạo $\mathcal{A}$ có khả năng phá vỡ lược đồ với xác suất $\epsilon$ trong thời gian $t$, thuật toán mô phỏng $\mathcal{B}$ sẽ tận dụng $\mathcal{A}$ để giải bài toán logarit rời rạc với độ phức tạp:

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

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

Trong đó $E$ là chi phí thời gian thực hiện phép tính lũy thừa modulo. Độ tin cậy và tính hợp thức của nghiên cứu được đảm bảo nhờ kỹ thuật tam giác hóa lý thuyết (triangulation giữa đại số số học, giải tích thuật toán và mô hình hóa an toàn thông tin).

Data và phân tích

Phân tích định lượng dựa trên việc lượng hóa chi phí của các phép toán nguyên thủy trên bộ vi xử lý máy tính:

  • Phép lũy thừa modulo trường lớn ($T_{\text{exp}}$)
  • Phép nhân điểm trên đường cong elliptic ($T_{\text{ec_mul}}$)
  • Phép cộng điểm trên đường cong elliptic ($T_{\text{ec_add}}$)
  • Phép nghịch đảo modulo ($T_{\text{inv}}$)
  • Phép nhân và cộng modulo thông thường ($T_{\text{mul}}, T_{\text{add}}$)

Bảng phân tích đối sánh chi phí tính toán lý thuyết và thực nghiệm giữa các lược đồ:

Lược đồ nghiên cứu Chi phí pha Ký số tập thể mù Chi phí pha Xác thực Độ phức tạp thời gian thực nghiệm (ms) Kích thước chữ ký
Moldovyan (2011) [73] $(4n+2)T_{\text{exp}} + (n+3)T_{\text{mul}}$ $3T_{\text{exp}} + 2T_{\text{mul}}$ Cao (do 4 nhân tử mù) $
LĐ Đề xuất trên GOST R34.10-94 $(2n+2)T_{\text{exp}} + (n+2)T_{\text{mul}}$ $2T_{\text{exp}} + 1T_{\text{mul}}$ Giảm 32.4% so với [73] $
Moldovyan (2010) [72] $(2n+1)T_{\text{exp}} + (n+2)T_{\text{mul}}$ $2T_{\text{exp}} + 1T_{\text{mul}}$ Trung bình $
LĐ Đề xuất trên Schnorr $(2n+1)T_{\text{exp}} + (n+1)T_{\text{mul}}$ $2T_{\text{exp}} + 1T_{\text{mul}}$ Giảm 18.6% so với [72] $
LĐ Đề xuất trên GOST R34.10-2012 $(2n+1)T_{\text{ec_mul}} + n T_{\text{ec_add}}$ $2T_{\text{ec_mul}} + 1T_{\text{ec_add}}$ Tối ưu tài nguyên cực đại $
LĐ Đề xuất trên EC-Schnorr $(2n+1)T_{\text{ec_mul}} + n T_{\text{ec_add}}$ $2T_{\text{ec_mul}} + 1T_{\text{ec_add}}$ Tối ưu tài nguyên cực đại $
Ismail, Tahat, Ahmad (2008) [45] $4T_{\text{exp}} + 3T_{\text{mul}} + 2T_{\text{inv}}$ (Đơn ký) $3T_{\text{exp}} + 2T_{\text{mul}}$ Lớn (Cấu trúc RSA/DLP cũ) 2048 bit
LĐ Đề xuất kết hợp IFP & DLP $(2n+2)T_{\text{exp}} + (n+2)T_{\text{mul}}$ $2T_{\text{exp}} + 2T_{\text{mul}}$ Giảm 27.5% so với [45] 1024–2048 bit

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

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

Quá trình nghiên cứu và thực nghiệm dẫn đến 5 phát hiện mang tính bước ngoặt:

  1. Khử bỏ hoàn toàn tham số làm mù dư thừa: Trong khi lược đồ chữ ký tập thể mù của Moldovyan (2011) bắt buộc sử dụng 4 tham số làm mù $(\alpha, \beta, \gamma, \delta)$, nghiên cứu chứng minh rằng chỉ cần sử dụng 2 tham số ngẫu nhiên $(\alpha, \beta) \in \mathbb{Z}_q^*$ là hoàn toàn thỏa mãn Tính mù (Blindness) theo định nghĩa Goldwasser và Chaum:

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

Phát hiện này giúp cắt giảm ngay lập tức 50% chi phí tính toán lũy thừa trong pha làm mù và giải mù của người yêu cầu.

  1. Kích thước chữ ký bất biến theo số lượng người ký ($n$): Chứng minh thực nghiệm và giải tích khẳng định kích thước chữ ký tập thể mù của các lược đồ đề xuất là hằng số tuyệt đối ($|r| + |s| = 320$ bit đối với hệ chuẩn modulo 1024-bit và 512 bit đối với đường cong elliptic), bất kể $n$ tăng từ 2 lên 100 hay 10.000 người ký. Điều này phá vỡ rào cản phình to dữ liệu của các cấu trúc ghép nối chữ ký truyền thống.

  2. Tính ưu việt tuyệt đối của kiến trúc EC-Schnorr và GOST R34.10-2012: Trên đường cong elliptic $E(GF(p))$, độ phức tạp tính toán của phép nhân điểm $k \cdot G$ thấp hơn từ 4 đến 6 lần so với phép tính lũy thừa $g^k \pmod p$ trên trường số nguyên lớn có cùng mức độ bảo mật (tương đương khóa 160-bit ECC so với 1024-bit RSA). Thời gian xử lý chữ ký tập thể giảm từ hàng trăm mili-giây xuống chỉ còn vài chục mili-giây.

  3. Cơ chế phòng thủ chiều sâu từ bài toán khó lai ghép: Lược đồ kết hợp IFP và DLP loại bỏ điểm yếu chết người của các hệ mật đơn bài toán. Nếu một thuật toán mới xuất hiện giải được bài toán logarit rời rạc trong thời gian sub-exponential, hệ thống vẫn được bảo vệ bởi rào cản phân tích thừa số nguyên lớn RSA, và ngược lại.

  4. Hiện tượng nghẽn cổ chai tại tầng cấp phát Token trong E-Voting: Thực nghiệm hệ thống bỏ phiếu điện tử chỉ ra rằng tầng cấp phát token và đăng ký cử tri chịu áp lực tính toán lớn nhất (chiếm 65% tổng thời gian giao dịch). Việc áp dụng chữ ký tập thể mù phân tán giúp dàn đều tải tính toán ra các máy chủ xác thực, loại bỏ hoàn toàn điểm nghẽn đơn lẻ (Single Point of Failure).

Implications đa chiều

  • Về mặt học thuật: Cung cấp cơ sở lý thuyết hoàn chỉnh cho các nhà nghiên cứu mật mã trong việc thiết kế các giao thức xác thực đa bên (Multi-party Computation) trên các cấu trúc nhóm đại số mới.
  • Về mặt công nghệ: Đặt ra chuẩn mực kỹ thuật mới cho việc tích hợp chữ ký số vào các hệ thống Blockchain, Hợp đồng thông minh (Smart Contracts) và Điện toán đám mây, nơi tài nguyên lưu trữ và băng thông là những yếu tố tối quan trọng.
  • Về mặt chính sách và quản trị công: Cung cấp giải pháp công nghệ khả thi, an toàn để Chính phủ Việt Nam triển khai Đề án Chuyển đổi số Quốc gia, hiện thực hóa các hệ thống Bầu cử điện tử, Đấu thầu qua mạng và Cổng dịch vụ công trực tuyến đảm bảo sự riêng tư của công dân theo Nghị định 130/2018/NĐ-CP.

Limitations và Future Research

Nhằm duy trì tính trung thực học thuật và xác lập biên giới khoa học rõ ràng, luận án chỉ ra 4 hạn chế nội tại:

  1. Mô hình an toàn dựa trên ROM: Mặc dù ROM được chấp nhận rộng rãi trong kỹ nghệ mật mã thực tế, về mặt lý thuyết thuần túy, một lược đồ an toàn trong ROM vẫn có khả năng bị tổn thương khi cài đặt bằng một hàm băm cụ thể trong mô hình chuẩn (Standard Model) nếu hàm băm đó xuất hiện điểm yếu cấu trúc.
  2. Nguy cơ từ Điện toán lượng tử hoàn thiện: Các bài toán IFP, DLP và ECDLP đều có thể bị giải trong thời gian đa thức bởi thuật toán Shor (Shor's Algorithm) khi máy tính lượng tử quy mô lớn (với hàng nghìn qubit vật lý) ra đời. Luận án chưa kịp thời bao hàm mật mã hậu lượng tử (Post-Quantum Cryptography) như mật mã dựa trên mạng tinh thể (Lattice-based).
  3. Độ trễ đồng bộ trong giao tiếp mạng: Quy trình ký tập thể đòi hỏi các thành viên phải đồng thuận trao đổi các giá trị ngẫu nhiên thành phần ($R_i$ hoặc $C_i$) trước khi sinh chữ ký. Nếu mạng viễn thông có độ trễ lớn hoặc có thành viên cố tình bất hợp tác, phiên ký có thể bị đình trệ.
  4. Thực nghiệm trên quy mô hạn chế: Các thử nghiệm hiệu năng mới dừng lại ở môi trường mô phỏng máy trạm đơn lẻ và mạng cục bộ, chưa triển khai thử nghiệm trên mạng phân tán toàn cầu với hàng triệu nút mạng đồng thời.

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: Chuyển đổi các cấu trúc chữ ký tập thể mù sang nền tảng Mật mã Hậu lượng tử, đặc biệt là bài toán học có lỗi (Learning With Errors - LWE) và mạng tinh thể (Lattices).
  • Hướng 2: Nghiên cứu lược đồ chữ ký mù không tương tác (Non-interactive blind signatures) nhằm triệt tiêu hoàn toàn chi phí truyền thông đa vòng giữa người yêu cầu và tập thể người ký.
  • Hướng 3: Mở rộng mô hình sang cơ chế Chữ ký tập thể mù ngưỡng $(t, n)$ – cho phép chỉ cần $t$ trong số $n$ thành viên tham gia là có thể tạo ra chữ ký hợp lệ, tăng khả năng chịu lỗi của hệ thống.
  • Hướng 4: Tích hợp giao thức đề xuất vào mạng phi tập trung Web3 và hệ thống xác minh danh tính tự chủ (Self-Sovereign Identity - SSI).

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

Luận án mang lại những tác động sâu rộng trên cả ba bình diện khoa học, công nghiệp và xã hội:

                  ┌────────────────────────────────────────┐
                  │    TÁC ĐỘNG & ẢNH HƯỞNG TOÀN DIỆN      │
                  └───────────────────┬────────────────────┘
                                      │
         ┌────────────────────────────┼────────────────────────────┐
         ▼                            ▼                            ▼
┌──────────────────┐        ┌──────────────────┐        ┌──────────────────┐
│ HỌC THUẬT QUỐC TẾ│        │ CÔNG NGHIỆP & R&D│        │ CHÍNH PHỦ & XÃ HỘI│
│ - Trích dẫn cao  │        │ - Tối ưu Viễn    │        │ - E-Voting an    │
│   trong ROM &    │        │   thông, Fintech │          toàn tuyệt đối   │
│   Multisig       │        │ - Nhúng IoT &    │        │ - Chuyển đổi số  │
│ - Chuẩn hóa mật mã│       │   Smart Cards    │          Chính phủ điện tử│
└──────────────────┘        └──────────────────┘        └──────────────────┘
  • Tác động học thuật quốc tế: Đóng góp trực tiếp vào kho tàng mật mã học các biến thể chữ ký số mù dựa trên chuẩn GOST và Schnorr với chứng minh ROM hoàn chỉnh, trở thành tài liệu tham khảo giá trị cho các nghiên cứu sinh chuyên ngành An toàn thông tin và Kỹ thuật mật mã.
  • Tái định hình giải pháp công nghiệp: Các doanh nghiệp an ninh mạng, ngân hàng số và fintech có thể ứng dụng trực tiếp các thuật toán để phát triển giải pháp ví điện tử nặc danh, cổng thanh toán bảo vệ quyền riêng tư và hệ thống ký duyệt văn bản điện tử phân cấp cho các tập đoàn đa quốc gia.
  • Lợi ích xã hội và quản trị quốc gia: Đảm bảo tính minh bạch, công bằng và bảo mật tuyệt đối cho các cuộc trưng cầu dân ý, bầu cử đại biểu quốc hội trực tuyến; bảo vệ dữ liệu cá nhân của người dân trước nguy cơ bị giám sát trái phép trong không gian số.

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

Nghiên cứu mang lại giá trị gia tăng rõ rệt cho 5 nhóm đối tượng:

  1. Nghiên cứu sinh và Giới nghiên cứu Mật mã học: Tiếp cận được phương pháp luận chứng minh an toàn trong ROM bài bản, hệ thống phân loại tấn công chi tiết (từ KOA, KMA đến GCMA, DCMA, ACMA) và cấu trúc đại số nhóm con hai chiều độc đáo.
  2. Kỹ sư R&D Công nghệ thông tin & Viễn thông: Sở hữu các thuật toán ký số đã được tối ưu hóa về thời gian thực thi và kích thước bộ nhớ, dễ dàng đóng gói thành các thư viện phần mềm nhúng vào vi điều khiển, thẻ thông minh (Smart Card), thiết bị IoT và thiết bị đầu cuối di động 5G.
  3. Các Cơ quan Quản lý Nhà nước và Ban Cơ yếu: Có thêm cơ sở khoa học vững chắc để thẩm định, xây dựng và ban hành các bộ tiêu chuẩn quốc gia về chữ ký số tập thể, chữ ký số nặc danh trong các hệ thống thông tin trọng yếu quốc gia.
  4. Các Tổ chức Tài chính, Ngân hàng và Sàn Thương mại Điện tử: Ứng dụng để thiết lập các giao thức thanh toán vi mô (micropayments) và tiền kỹ thuật số của Ngân hàng Trung ương (CBDC) bảo vệ quyền riêng tư người dùng.
  5. Cử tri và Người dùng cuối trong Xã hội số: Được thụ hưởng môi trường giao dịch trực tuyến an toàn, tin cậy, nơi danh tính và sự lựa chọn cá nhân được bảo vệ bằng các rào cản toán học không thể xuyên thủng.

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ền tảng nào?

Đóng góp lý thuyết độc đáo nhất là việc thiết lập Lược đồ chữ ký số mù dựa trên cấu trúc Nhóm con hữu hạn không vòng hai chiều trên trường modulo hợp số $n$. Đóng góp này đã mở rộng lý thuyết logarit rời rạc cổ điển của Diffie-Hellman (1976) và hệ mật RSA (1978), tạo ra một không gian đại số đa chiều làm tăng độ phức tạp của bài toán giải mã đối với kẻ tấn công nhưng lại cho phép rút ngắn kích thước biểu diễn của chữ ký số, giải quyết mâu thuẫn cố hữu giữa độ an toàn và chiều dài khóa.

2. Đột phá phương pháp luận của luận án khi so sánh với ít nhất hai công trình quốc tế tiền nhiệm?

So với công trình của Moldovyan (2011) [73], luận án tạo ra bước đột phá khi tinh giảm từ 4 tham số làm mù xuống chỉ còn 2 tham số, giúp giảm chi phí tính toán lũy thừa modulo trong pha tạo chữ ký từ $(4n+2)T_{\text{exp}}$ xuống còn $(2n+2)T_{\text{exp}}$, đồng thời bổ sung chứng minh an toàn hình thức trong ROM mà [73] hoàn toàn thiếu vắng. So với công trình của Ismail, Tahat và Ahmad (2008) [45], luận án đã chuyển đổi thành công cấu trúc đa bài toán khó (IFP + DLP) từ mô hình chữ ký đơn sang mô hình chữ ký tập thể mù với khóa công khai gộp, giảm 27.5% thời gian xử lý và giữ kích thước chữ ký không đổi khi số người ký $n$ tăng cao.

3. Phát hiện bất ngờ nhất từ dữ liệu thực nghiệm là gì?

Phát hiện bất ngờ nhất là việc chuyển đổi từ trường số nguyên lớn $\mathbb{Z}p^*$ sang đường cong elliptic $E(GF(p))$ trong các lược đồ tập thể mù (chuẩn GOST R34.10-2012 và EC-Schnorr) không chỉ giúp giảm kích thước tham số miền mà còn làm triệt tiêu gần như hoàn toàn hiện tượng trễ truyền thông đa vòng khi số lượng người ký $n$ vượt quá 50 thành viên, do chi phí cộng điểm elliptic $n \cdot T{\text{ec_add}}$ có tốc độ thực thi trên CPU nhanh hơn hàng chục lần so với phép nhân modulo lớn $n \cdot T_{\text{mul}}$.

4. Nghiên cứu có cung cấp giao thức tái lập (Replication Protocol) hoàn chỉnh không?

Luận án cung cấp chi tiết toàn bộ các thông số hệ thống, thuật toán sinh khóa ($\text{Gen}$), quy trình 4 pha của các giao thức ký mù, cùng các bảng biểu mô tả luồng dữ liệu (Data Flow Diagrams) của 4 tầng hoạt động trong hệ thống bầu cử điện tử (Bảng danh sách cử tri danhsachcutri, bảng token danhsachtoken, bảng phiếu bầu bangphieubau, bảng kiểm phiếu bangkiemphieu). Mọi nhà nghiên cứu đều có thể tái lập hoàn toàn các kết quả thực nghiệm trên nền tảng ngôn ngữ C/C++ hoặc Python kết hợp với thư viện đại số máy tính OpenSSL / Miracl.

5. Chương trình nghiên cứu 10 năm (10-year research agenda) được vạch ra như thế nào?

Lộ trình 10 năm tập trung vào 3 giai đoạn:

  • Giai đoạn 1 (Năm 1–3): Chuẩn hóa các lược đồ tập thể mù đề xuất thành các tiêu chuẩn kỹ thuật ứng dụng trong Cổng Dịch vụ công Quốc gia và các hệ thống chứng thực số chuyên dùng.
  • Giai đoạn 2 (Năm 4–6): Tích hợp chữ ký tập thể mù vào các mạng Blockchain phân tán thế hệ mới và hợp đồng thông minh bảo mật quyền riêng tư (Zero-Knowledge Proofs / zk-SNARKs).
  • Giai đoạn 3 (Năm 7–10): Nâng cấp toàn diện các giao thức sang nền tảng Mật mã Hậu lượng tử dựa trên mạng tinh thể (Lattice-based cryptography) nhằm vô hiệu hóa hoàn toàn mối đe dọa từ siêu máy tính lượng tử.

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 đề ra, tạo nên một công trình khoa học công phu, chuẩn mực và có giá trị ứng dụng cao. 5 đóng góp cốt lõi của luận án bao gồm:

  1. Thiết kế thành công 4 lược đồ chữ ký số tập thể mù mới dựa trên các chuẩn mật mã hàng đầu: GOST R34.10-94, GOST R34.10-2012, Schnorr và EC-Schnorr, đảm bảo kích thước chữ ký không đổi và tối ưu hóa thời gian xử lý.
  2. Xây dựng lược đồ chữ ký số mù và tập thể mù dựa trên sự kết hợp đồng thời của hai bài toán khó IFP và DLP (RSA và Schnorr), nâng cao vượt bậc khả năng phòng thủ trước các đòn tấn công giải tích mật mã.
  3. Đề xuất cấu trúc bài toán khó mới trên nhóm con hữu hạn không vòng hai chiều, mở ra hướng đi đột phá trong việc thu gọn chiều dài chữ ký số trên các thiết bị giới hạn tài nguyên tính toán.
  4. Thiết lập bản chứng minh an toàn toán học hoàn chỉnh trong Mô hình Tiên tri Ngẫu nhiên (ROM) cho tất cả các lược đồ đề xuất, khẳng định tính bất khả giả mạo dưới các hình thức tấn công thông điệp lựa chọn thích ứng (ACMA).
  5. Ứng dụng thành công các lược đồ đề xuất vào việc thiết kế Hệ thống Bầu cử điện tử 4 tầng hoàn chỉnh, giải quyết trọn vẹn bài toán ẩn danh cử tri, tính toàn vẹn của lá phiếu và khả năng xác thực phân cấp của hội đồng kiểm phiếu.

Công trình không chỉ làm phong phú thêm kho tàng lý thuyết mật mã học Việt Nam mà còn trực tiếp mở ra 3 dòng nghiên cứu mới: mật mã tập thể mù hậu lượng tử, giao thức đồng thuận ẩn danh trên Blockchain, và kiến trúc an ninh thông tin cho các đô thị thông minh (Smart Cities). Di sản học thuật của luận án chính là cầu nối vững chắc đưa các thành tựu toán học trừu tượng vào phục vụ đắc lực cho công cuộc chuyển đổi số an toàn của đất nước.