Tổng quan về luận án

Công trình nghiên cứu tiến sĩ thuộc chuyên ngành Cơ sở toán học cho tin học (mã số: 9 46 01 10) của Nghiên cứu sinh Phạm Văn Hiệp, dưới sự hướng dẫn khoa học của TS. Nguyễn Hữu Mộng và TS. Ngô Trọng Mại tại Viện Khoa học và Công nghệ Quân sự - Bộ Quốc phòng (2022), mang tiêu đề: "Xây dựng một số lược đồ chữ ký số tập thể dựa trên bài toán phân tích số". Nghiên cứu đặt trọng tâm vào việc giải quyết bài toán cốt lõi trong an toàn thông tin hiện đại: nâng cao độ an toàn mật mã học trước sự gia tăng vượt bậc của năng lực tính toán và tối ưu hóa hiệu năng lưu trữ, truyền thông trong các mô hình phê duyệt văn bản điện tử đa cấp độ tại các tổ chức có tư cách pháp nhân.

Bối cảnh khoa học của luận án xuất phát từ sự bùng nổ của các giao dịch điện tử trong chính phủ điện tử, thương mại điện tử, tài chính - ngân hàng và quốc phòng. Tuy nhiên, hạ tầng chữ ký số đơn truyền thống bộc lộ hai lỗ hổng căn bản: (1) Rủi ro mật mã khi độ an toàn chỉ dựa trên một bài toán khó đơn lẻ (như bài toán phân tích số nguyên lớn - IFP trong RSA, hoặc bài toán logarit rời rạc - DLP trong Elgamal/DSA), vốn đứng trước nguy cơ bị phá vỡ nhanh chóng bởi các thuật toán lượng tử như Shor hay hệ thống tính toán phân tán hiệu năng cao; (2) Khoảng trống cấu trúc (structural gap) khi các lược đồ chữ ký tập thể hiện hành chưa đáp ứng đồng thời yêu cầu chứng thực nguồn gốc và tính toàn vẹn dữ liệu ở cả hai cấp độ: cấp độ cá nhân thực thể ký và cấp độ tổ chức quản lý (Certificate Authority - CA nội bộ) mà thực thể đó là thành viên, theo cơ chế kết hợp chặt chẽ mà không làm bùng nổ kích thước chữ ký.

+-----------------------------------------------------------------------------------+
|                        MÔ HÌNH KÝ TẬP THỂ DẠNG KẾT HỢP                            |
|                                                                                   |
|  [Thành viên U1, ..., Un] ---> Sinh khóa & Ký bộ phận (IFP-RSAP / IFP-DLP)       |
|                                           |                                       |
|                                           v                                       |
|  [Đại diện nhóm / CA]    ---> Kết hợp chữ ký & Xác thực cấp độ tổ chức            |
|                                           |                                       |
|                                           v                                       |
|  [Chữ ký tập thể (E, S)] ---> Kích thước cố định = Chữ ký đơn (Tiết kiệm >50% b)  |
+-----------------------------------------------------------------------------------+

Nghiên cứu tập trung giải quyết các câu hỏi nghiên cứu và giả thuyết khoa học sau:

  1. Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập một mô hình chữ ký số tập thể dạng kết hợp cho phép xác thực đồng thời tư cách pháp nhân của tổ chức và trách nhiệm pháp lý của từng cá nhân tham gia ký mà không làm gia tăng độ dài khối chữ ký?
    • Giả thuyết 1 (H1): Mô hình chữ ký tập thể dạng kết hợp tích hợp chứng chỉ khóa công khai (PKC) và chữ ký CA vào cấu trúc đại số của chữ ký tập thể sẽ duy trì kích thước chữ ký bằng kích thước chữ ký đơn, giảm tải tối thiểu 50% chi phí truyền thông so với mô hình phân biệt.
  2. Câu hỏi nghiên cứu 2 (RQ2): Làm thế nào để cấu trúc các lược đồ chữ ký cơ sở dựa trên sự phụ thuộc đồng thời vào hai bài toán khó (IFP kết hợp RSAP, hoặc IFP kết hợp DLP) nhằm loại bỏ nguy cơ bị phá vỡ khi chỉ một bài toán thành phần bị giải?
    • Giả thuyết 2 (H2): Một lược đồ chữ ký chỉ bị phá vỡ khi và chỉ khi kẻ tấn công giải được đồng thời cả hai bài toán thành phần; bài toán phân tích số IFP trong điều kiện đã giải được DLP (hoặc RSAP) vẫn giữ nguyên độ phức tạp phi đa thức.
  3. Câu hỏi nghiên cứu 3 (RQ3): Hiệu năng tính toán và độ phức tạp thời gian của lược đồ tập thể đề xuất có vượt trội hơn các chuẩn quốc tế (như GOST R34.10-94, DSA) và các công trình tiền nhiệm (như LD15, LD1-KPBTN, LD2-PBTN) hay không?
    • Giả thuyết 3 (H3): Việc tối ưu hóa số phép tính lũy thừa modulo và nhân modulo sẽ giúp giảm thời gian tạo và kiểm tra chữ ký tập thể từ 15% đến 35% so với các lược đồ chữ ký đa thành phần truyền thống.

Khung lý thuyết nền tảng (Theoretical Framework) của luận án tích hợp: Lý thuyết độ phức tạp tính toán (Computational Complexity Theory), Hệ mật mã khóa công khai RSA (Rivest, Shamir, & Adleman, 1978), Hệ mật mã Logarit rời rạc Elgamal (Taher Elgamal, 1985), Chuẩn chữ ký số Liên bang Nga GOST R34.10-94, và Lý thuyết tấn công an toàn chữ ký số của Shafi Goldwasser, Silvio Micali, & Ronald Rivest (1988). Phạm vi nghiên cứu bao quát từ việc xây dựng công thức giải tích đại số trừu tượng trên vành $\mathbb{Z}_n$ và nhóm nhân $\mathbb{Z}p^*$, phân tích an toàn theo các tiêu chuẩn TCVN 7653:2007, ANSI X9.31, US NIST FIPS 186-3 với độ dài khóa $n{len} \in [1024, 5120]$ bit, đến cài đặt thực nghiệm thuật toán trên máy tính để đo đạc thời gian thực thi chính xác.

Literature Review và Positioning

Lịch sử phát triển chữ ký số bắt đầu từ công trình đột phá của Diffie & Hellman (1976) và Rivest, Shamir, & Adleman (1978). Đến năm 1983, K. Itakura và Nakamura lần đầu tiên đưa ra khái niệm chữ ký số tập thể dựa trên RSA. Tuy nhiên, hạn chế lớn nhất của sơ đồ Itakura là kích thước chữ ký tăng tỷ lệ tuyến tính theo số lượng người tham gia ký ($O(k \cdot |S|)$). Năm 1988, Tatsuaki Okamoto đề xuất lược đồ đa chữ ký (Multi-signature Scheme) khắc phục nhược điểm độ dài, cho phép kích thước chữ ký xấp xỉ chữ ký đơn và không giới hạn thứ tự ký.

Năm 1994, Lein Harn phát triển lược đồ chữ ký ngưỡng dựa trên bài toán DLP, và tiếp tục đề xuất chữ ký số tập thể có phân biệt trách nhiệm vào năm 1999. Tuy nhiên, cấu trúc này nhanh chóng bộc lộ lỗ hổng bảo mật khi Li et al. (2000) chứng minh lược đồ của Harn dễ bị tổn thương trước tấn công tạo khóa lừa đảo (rogue-key attack), cho phép một thành viên gian lận tự tạo chữ ký tập thể mà không cần sự đồng thuận của các thành viên khác. Năm 2001, Lin et al. đưa ra lược đồ chữ ký tập thể định danh (ID-based), nhưng ngay sau đó Mitchell (2001) đã chứng minh cấu trúc này không an toàn trước tấn công giả mạo.

+-----------------------------------------------------------------------------------+
|               TIẾN TRÌNH TIẾP CẬN CHỮ KÝ SỐ ĐA BÀI TOÁN KHÓ                      |
|                                                                                   |
|  [Harn (1994) / Vishnoi et al. (2010)] ---> Kết hợp IFP + DLP                    |
|                                           |                                       |
|                                           v (Bị phá vỡ)                           |
|  [Lee et al. (1996) / Chiou et al. (2013)] -> Chỉ cần giải 1 bài toán khó (DLP)    |
|                                           |                                       |
|                                           v (Khắc phục)                           |
|  [Luận án Phạm Văn Hiệp (2022)]       ---> Độc lập kép: IFP-RSAP & IFP-DLP        |
|                                           |  Chứng minh an toàn ngặt              |
|                                           +-> Mô hình tập thể kết hợp 2 cấp độ    |
+-----------------------------------------------------------------------------------+

Cuộc tranh luận học thuật sâu sắc nhất diễn ra xung quanh các lược đồ kết hợp đa bài toán khó. Để phòng ngừa nguy cơ một bài toán toán học đơn lẻ bị giải, hàng loạt tác giả (như Harn, 1994; Huang & Chang, 2005; Vishnoi et al., 2010) đã đề xuất kết hợp IFP và DLP. Tuy nhiên, Lee et al. (1996) và sau đó là Shin-Yan Chiou et al. (2013) đã chứng minh rằng các lược đồ của Harn và Vishnoi thực chất không an toàn trước tấn công giả mạo chữ ký (forgery attack): kẻ thám mã chỉ cần giải quyết một bài toán duy nhất (DLP) là đã có thể vô hiệu hóa toàn bộ hệ thống. Tương tự, lược đồ của Dernova (2014) dựa trên IFP và DLP cũng bị chỉ ra khiếm khuyết trong phương trình xác thực điều kiện $|S| < \epsilon$, dẫn đến việc tính an toàn thực tế chỉ phụ thuộc vào một bài toán đơn.

Tại Việt Nam, các nghiên cứu tiêu biểu bao gồm: Lưu Hồng Dũng (2012) đề xuất mô hình chữ ký số tập thể đáp ứng yêu cầu chứng thực ở hai cấp độ nhưng theo cấu trúc phân biệt (tách rời chữ ký cá nhân và chữ ký CA), gây cồng kềnh trong lưu trữ và truyền thông; Đặng Minh Tuấn (2017) phát triển mô hình chữ ký tập thể đa thành phần tổng quát dựa trên ánh xạ cặp song tuyến tính (Bilinear Pairing) trên đường cong Elliptic; Đào Tuấn Hùng (2017) xây dựng chữ ký tập thể tuần tự dựa trên DLP; Nguyễn Tấn Đức (2020) nghiên cứu chữ ký tập thể mù; Nguyễn Văn Chung et al. (2020) đề xuất chữ ký tập thể ủy nhiệm ID-based.

Vị thế nghiên cứu (Academic Positioning): Luận án của Phạm Văn Hiệp đã định vị chính xác khoảng trống học thuật chưa từng được giải quyết đồng thời trong y văn quốc tế và trong nước:

  • Khắc phục triệt để khiếm khuyết phụ thuộc đơn bài toán của Vishnoi et al. và Dernova bằng cách thiết kế cơ chế khóa và phương trình ký ràng buộc toán học chặt chẽ giữa $(\mathbb{Z}_n, \varphi(n))$ và $(\mathbb{Z}_p^*, g)$.
  • Vượt qua hạn chế của mô hình phân biệt của Lưu Hồng Dũng (2012) bằng việc đề xuất Mô hình chữ ký số tập thể dạng kết hợp, nén chữ ký cá nhân và chữ ký xác nhận của tổ chức vào một khối duy nhất có kích thước cố định.

Đó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à phát triển trực tiếp các lý thuyết nền tảng của Rivest, Shamir, & Adleman (1978), Taher Elgamal (1985) và chuẩn mật mã GOST R34.10-94 thông qua các đóng góp lý thuyết có tính hệ thống:

  1. Thiết lập tiên đề an toàn kép (Dual Hard Problem Principle): Trực tiếp trích dẫn nguyên văn điều kiện an toàn từ luận án:

    "Một ứng dụng mật mã dựa trên hai bài toán khó A và B nếu thỏa mãn các điều kiện: - Muốn tấn công thì phải giải được đồng thời A và B. - Bài toán giải A trong điều kiện giải được B (kí hiệu là bài toán A/B) và bài toán giải B trong điều kiện giải được A (kí hiệu là bài toán B/A) đều là bài toán khó."

  2. Hình thức hóa Lược đồ cơ sở IFP-RSAP: Đề xuất Lược đồ cơ sở I (dạng tổng quát) và Lược đồ cơ sở II, trong đó khóa bí mật kết hợp đồng thời giá trị bí mật cá nhân $x$ và hàm phi Euler $\varphi(n) = (p-1)(q-1)$. Kẻ tấn công muốn trích xuất khóa bí mật bắt buộc phải giải đồng thời bài toán phân tích thừa số nguyên tố lớn $n = p \cdot q$ và bài toán khai căn bậc $e$ modulo $n$.
  3. Hình thức hóa Lược đồ cơ sở IFP-DLP: Thiết kế phương trình tham số hệ thống và phân phối khóa trên nhóm nhân con bậc $q$ thuộc $\mathbb{Z}_p^*$, trong đó $p = 2n + 1$ với $n$ là hợp số RSA khó phân tích. Mức độ an toàn chống lại tấn công lộ khóa mật được chứng minh có độ phức tạp tương đương tích độ khó $\mathcal{O}(\text{IFP}(n)) \times \mathcal{O}(\text{DLP}(p, g))$.

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

Luận án xây dựng khung phân tích tích hợp 3 trụ cột lý thuyết toán học: Lý thuyết số modulo (Modular Number Theory), Cấu trúc nhóm Abel hữu hạn và Lý thuyết thông tin mật mã (Cryptographic Information Theory).

+-----------------------------------------------------------------------------------+
|                        KHUNG PHÂN TÍCH ĐẠI SỐ TÍCH HỢP                            |
|                                                                                   |
|  [Vành số nguyên Zn]        [Nhóm nhân Zp*]          [Hàm băm một chiều H]        |
|  (IFP & RSAP: n = p.q)      (DLP: Bậc q | p - 1)     (SHA-256 / SHA-512)          |
|           \                       |                       /                       |
|            \                      |                      /                        |
|             v                     v                     v                         |
|      +-------------------------------------------------------+                    |
|      |    PHƯƠNG TRÌNH LIÊN KẾT ĐẠI SỐ TRỰC TIẾP GIỮA CÁC KHÓA|                    |
|      |  - Khóa công khai kết hợp: Y = Product(yi)            |                    |
|      |  - Cam kết ngẫu nhiên: R = Product(Ri) mod n          |                    |
|      |  - Chữ ký đại diện: S = Sum(si) mod phi(n) hoặc mod q|                    |
|      +-------------------------------------------------------+                    |
|                                   |                                               |
|                                   v                                               |
|      [Bộ kiểm tra duy nhất Ver(M, E, S, Y_group, PK_CA) = {True, False}]          |
+-----------------------------------------------------------------------------------+
  • Định nghĩa Chữ ký tập thể dạng kết hợp: Là bộ đôi $(E, S)$ hoặc $(R, S)$ được hình thành từ sự cộng tác của $k$ thành viên ký $U_1, U_2, \dots, U_k$ và cơ quan chứng thực CA, trong đó chữ ký của CA đóng vai trò chốt chặn pháp lý được tích hợp trực tiếp vào tham số công khai nhóm $Y$ và giá trị băm $E = H(M ,||, R)$, loại bỏ hoàn toàn tính dư thừa dữ liệu.
  • Điều kiện biên (Boundary Conditions): Lược đồ vận hành với điều kiện tiên quyết: (1) Chiều dài khóa $n_{len} \ge 2048$ bit đối với hệ mật dân dụng và $n_{len} \ge 3072$ bit đối với hệ thống an ninh - quốc phòng theo khuyến nghị TCVN 7653:2007; (2) Các số nguyên tố bổ trợ $p_1, p_2, q_1, q_2$ của $p \pm 1$ và $q \pm 1$ phải thỏa mãn tiêu chuẩn kiểm tra xác suất theo FIPS 186-3 và ANSI X9.31; (3) Hàm băm mật mã $H(\cdot)$ thỏa mãn tính kháng tiền ảnh (pre-image resistance) và kháng xung đột (collision resistance).

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ủ thế giới quan khoa học thực chứng (Positivism) và chủ nghĩa duy lý toán học (Mathematical Rationalism). Thiết kế nghiên cứu đa tầng kết hợp giữa chứng minh diễn dịch hình thức (Deductive Formal Proofs) và kiểm chứng thực nghiệm tính toán (Computational Empirical Verification).

+-----------------------------------------------------------------------------------+
|                        QUY TRÌNH PHƯƠNG PHÁP NGHIÊN CỨU                           |
|                                                                                   |
|  [1. Thiết kế Toán học]  --> Xây dựng không gian tham số, vành Zn, modulo p, q   |
|                                   |                                               |
|  [2. Chứng minh Hình thức] --> Chứng minh tính đúng đắn: Ver(M, S) = True         |
|                                   |                                               |
|  [3. Phân tích Độ an toàn]--> Mô hình tiên tri ngẫu nhiên (ROM) chống 4 kiểu MA  |
|                                   |                                               |
|  [4. Đánh giá Phức tạp]  --> Định lượng số phép tính: To, Tmul, Tinv, Th          |
|                                   |                                               |
|  [5. Thực nghiệm C/C++]   --> Đo thời gian chạy thực tế (ms) với nlen = 1024-5120 |
+-----------------------------------------------------------------------------------+
  • Mô hình hóa đa cấp độ: Cấp độ 1 (Individual Signer Level) chịu trách nhiệm về nội dung cam kết dữ liệu $M$; Cấp độ 2 (Organizational/CA Level) xác thực tính hợp pháp về tư cách thành viên và cấp thẩm quyền phê duyệt.
  • Tiêu chí chọn mẫu tham số: Toàn bộ tham số số học $(p, q, n, g, e, d)$ được tạo sinh nghiêm ngặt theo các tiêu chuẩn:
    • Chuẩn xử lý thông tin Liên bang Mỹ FIPS 186-3: Chiều dài modulo $n$ từ 1024 đến 3072 bit; độ dài ước nguyên tố tối thiểu $|p_1|, |q_1| > 140$ bit đối với $n = 2048$ bit.
    • Chuẩn công nghiệp ANSI X9.31: $n_{len} = 1024 + 256s$ ($s \ge 0$), độ dài số nguyên tố bổ trợ từ 100 đến 120 bit.

Quy trình nghiên cứu rigorous

Quy trình đánh giá an toàn được đặt trong mô hình tấn công chuẩn hóa của Shafi Goldwasser et al. (1995), bao gồm kiểm thử khả năng chống chịu trước 4 cấp độ tấn công văn bản tăng dần:

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

Đồng thời, nghiên cứu phân tích tính bất biến của hệ thống trước 4 mức độ phá vỡ: Phá vỡ hoàn toàn (Total Break), Giả mạo tổng quát (Universal Forgery), Giả mạo có lựa chọn (Selective Forgery), và Giả mạo có tồn tại (Existential Forgery).

Data và phân tích

Độ phức tạp tính toán được định lượng hóa thông qua việc quy đổi về các phép toán số học cơ bản trên vành modulo lớn:

  • $T_e$: Thời gian thực hiện phép tính lũy thừa modulo ($a^b \pmod n$).
  • $T_{mul}$: Thời gian thực hiện phép nhân modulo ($a \cdot b \pmod n$).
  • $T_{inv}$: Thời gian thực hiện phép tính nghịch đảo modulo ($a^{-1} \pmod n$).
  • $T_h$: Thời gian thực hiện hàm băm mật mã ($H(M)$).
  • $T_{add}$: Thời gian thực hiện phép cộng đại số.

Môi trường cài đặt thử nghiệm được xây dựng bằng ngôn ngữ lập trình C/C++ tích hợp thư viện số học đa chính xác lớn (Multiprecision Arithmetic Libraries như GMP/MIRACL), chạy trên hệ điều hành Linux 64-bit với các tập dữ liệu thử nghiệm có kích thước modulo tăng dần: 1024 bit, 2048 bit, 3072 bit, 4096 bit và 5120 bit.

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

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

Luận án mang lại 5 phát hiện then chốt với bằng chứng giải tích và số liệu định lượng rõ ràng:

  1. Tính đúng đắn toán học tuyệt đối (Mathematical Soundness): Luận án đã chứng minh giải tích thành công tính đúng đắn của phương trình xác minh chữ ký cho cả hai họ lược đồ IFP-RSAP và IFP-DLP. Khi các thành viên thực hiện đúng quy trình ký, phương trình kiểm tra luôn thỏa mãn đồng nhất thức: $$\text{Ver}(M, E, S, Y, \text{PK}_{CA}) \equiv \text{True}$$
  2. Kháng tấn công giả mạo tuyệt đối (Provable Security against Forgery): Chứng minh rằng không thể thực hiện giả mạo có tồn tại dưới mô hình ACMA nếu không phân tích được $n$ ra thừa số nguyên tố ($p, q$) hoặc không giải được logarit rời rạc trên $\mathbb{Z}_p^*$. Nếu kẻ thám mã giả mạo thành công chữ ký số tập thể mà không biết khóa bí mật $x_i$, ta có thể sử dụng thuật toán thám mã đó như một chương trình con (subroutine) để giải quyết bài toán IFP hoặc DLP trong thời gian đa thức xác suất (Probabilistic Polynomial Time - PPT), điều mâu thuẫn với giả thuyết an toàn mật mã học hiện đại.
  3. Tối ưu hóa không gian lưu trữ và truyền thông: Lược đồ chữ ký số tập thể IFP-DLP đề xuất tạo ra cặp chữ ký $(E, S)$ có kích thước cố định bằng đúng kích thước của chữ ký đơn ($|E| + |S| = |q| + |q| = 2|q|$), hoàn toàn độc lập với số lượng thành viên tham gia ký $k$.
Tiêu chí so sánh Lược đồ IFP-RSAP tập thể (Luận án) Lược đồ LD15 tập thể Lược đồ IFP-DLP tập thể (Luận án) Lược đồ LD-C2_M232 [16] Lược đồ LD1/LD2 [9]
Cơ sở bài toán khó Đồng thời IFP + RSAP Phân tích số IFP Đồng thời IFP + DLP Đường cong Elliptic (ECDLP) Logarit rời rạc DLP
Kích thước chữ ký Cố định ($ n + n $)
Số phép tính lũy thừa ($T_e$) phía ký $k \cdot T_e + 1$ $(2k + 1) T_e$ $k \cdot T_e + 2$ $(3k + 2) T_e$ $(2k + 1) T_e$
Số phép tính lũy thừa ($T_e$) kiểm tra $2 T_e$ $3 T_e$ $2 T_e$ $4 T_e$ $3 T_e$
Thời gian xử lý tổng thể Giảm 24.6% Mức chuẩn Giảm 31.8% Mức chuẩn Giảm 12.5%
  1. Hiệu năng kiểm tra chữ ký đột phá: Chi phí tính toán của thuật toán xác thực phía người nhận chỉ tiêu tốn đúng $2 T_e + 1 T_{mul} + 1 T_h$ đối với lược đồ IFP-DLP cơ sở II, thấp hơn đáng kể so với lược đồ chuẩn Elgamal và GOST R34.10-94 khi áp dụng cho mô hình nhóm.
  2. Cơ chế xác thực kép phân cấp (Dual-tier Authentication): Luận án đã hiện thực hóa thành công cơ chế loại bỏ rủi ro gian lận nội bộ. Một thành viên bất kỳ trong nhóm không thể tự ý phát hành chữ ký tập thể nếu thiếu khóa bí mật của CA, và ngược lại, CA không thể tự ý giả mạo chữ ký của các thành viên do không nắm giữ khóa bí mật cá nhân $x_i$.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp phương pháp luận mới trong việc thiết kế các thuật toán mật mã lai (hybrid primitives), mở rộng không gian nghiên cứu cho các hệ mật có khả năng kháng thám mã cao.
  • Về mặt phương pháp luận: Chuẩn hóa quy trình chuyển đổi từ lược đồ chữ ký đơn cơ sở sang lược đồ chữ ký tập thể dạng kết hợp, đóng vai trò khung mẫu (framework) cho việc phát triển các biến thể chữ ký số khác như chữ ký mù, chữ ký ủy nhiệm, chữ ký phân ngưỡng.
  • Về mặt thực tiễn và chính sách: Trực tiếp trích dẫn căn cứ pháp lý từ văn bản luận án:

    "Nghị định số 130/2018/NĐ-CP, ngày 27/9/2018 của Chính phủ Việt Nam quy định luật giao dịch điện tử về chữ ký số, trong đó ghi rõ: chữ ký số là một dạng chữ ký điện tử được tạo ra bằng sự biến đổi một thông điệp dữ liệu sử dụng hệ thống mật mã khóa công khai. Qua đó, người nhận có thể xác định được sự toàn vẹn nội dung của thông điệp dữ liệu dựa trên thông điệp dữ liệu ban đầu và khóa công khai của người gửi." Luận án đóng góp giải pháp kỹ thuật trực tiếp phục vụ Chỉ thị số 02/CT-TTg ngày 23/01/2019 của Thủ tướng Chính phủ về tăng cường sử dụng chữ ký số chuyên dùng trong cơ quan nhà nước, đáp ứng chuẩn hóa quy trình ký duyệt văn bản điện tử phân cấp từ chuyên viên, trưởng phòng, lãnh đạo đơn vị đến bộ phận văn thư đóng dấu số.

Limitations và Future Research

Nghiên cứu thể hiện tính khách quan học thuật qua việc thẳng thắn thừa nhận các giới hạn kỹ thuật:

  1. Rào cản Mật mã hậu lượng tử (Post-Quantum Cryptography Threat): Dù việc kết hợp đồng thời IFP, RSAP và DLP nâng cao ngưỡng an toàn trước các máy tính cổ điển, cả ba bài toán này về mặt lý thuyết vẫn thuộc lớp bài toán có thể giải được trong thời gian đa thức bằng thuật toán Shor trên máy tính lượng tử lý tưởng (Quantum Computers).
  2. Độ trễ truyền thông trong pha tương tác tạo cam kết (Round-trip Overhead): Quá trình tạo chữ ký tập thể đòi hỏi các thành viên phải trải qua pha tương tác chia sẻ tham số cam kết ngẫu nhiên ($R_i$) trước khi tính toán thành phần chữ ký $S_i$. Trong môi trường mạng có độ trễ cao hoặc mất kết nối cục bộ, thời gian gom chữ ký có thể bị kéo dài.
  3. Giới hạn quy mô thử nghiệm thực địa: Các thử nghiệm hiệu năng trong luận án tập trung trên môi trường máy chủ mô phỏng và mạng cục bộ, chưa đo đạc đầy đủ trên các thiết bị nhúng IoT hoặc thiết bị di động có năng lực tính toán hạn chế (Constrained Devices).

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

  • Hướng 1: Nghiên cứu chuyển đổi mô hình chữ ký số tập thể dạng kết hợp sang nền tảng Mật mã hậu lượng tử, đặc biệt là Mật mã dựa trên mạng tinh thể (Lattice-based Cryptography) như bài toán Ring-LWE và Module-LWE.
  • Hướng 2: Thiết kế giao thức tạo chữ ký tập thể không tương tác (Non-interactive Collective Signatures) nhằm triệt tiêu hoàn toàn độ trễ truyền thông trong pha gom chữ ký ngẫu nhiên.
  • Hướng 3: Ứng dụng mô hình kết hợp vào các hợp đồng thông minh (Smart Contracts) trên mạng lưới chuỗi khối (Blockchain) phân tán và hệ thống xác thực danh tính số phi tập trung (Decentralized Identifiers - DID).

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

+-----------------------------------------------------------------------------------+
|                        MA TRẬN TÁC ĐỘNG VÀ ẢNH HƯỞNG                              |
|                                                                                   |
|  [Học thuật]        ---> Thiết lập chuẩn mực thiết kế an toàn kép (IFP+RSAP/DLP)  |
|  [Chính phủ số]    ---> Hiện thực hóa luồng ký đa cấp theo Chỉ thị 02/CT-TTg       |
|  [Tài chính & Thuế] ---> Giảm 50% băng thông giao dịch ký số khối lượng lớn        |
|  [An ninh Quốc phòng]-> Nâng ngưỡng an toàn nlen >= 3072 bit theo TCVN 7653:2007  |
+-----------------------------------------------------------------------------------+
  • Tác động học thuật: Mở ra hướng nghiên cứu mới trong thiết kế các giao thức mật mã đa bài toán khó, tạo nguồn tài liệu tham khảo chất lượng cao cho các nghiên cứu sinh, học viên cao học chuyên ngành An toàn thông tin và Mật mã học toán học. Dự kiến đóng góp hàng chục trích dẫn khoa học trong các tạp chí chuyên ngành uy tín.
  • Chuyển đổi công nghiệp & Dịch vụ công: Cung cấp giải pháp công nghệ trực tiếp cho các nhà cung cấp dịch vụ chứng thực chữ ký số công cộng (Public CA) và chuyên dùng (Government CA). Tối ưu hóa băng thông cho Cổng Dịch vụ công Quốc gia, hệ thống Khai thuế điện tử của Tổng cục Thuế, Cổng thông tin một cửa Hải quan và hệ thống giám sát chứng khoán, xử lý hàng triệu giao dịch ký mỗi ngày với chi phí máy chủ giảm từ 20% đến 30%.
  • Ý nghĩa xã hội & Quốc phòng: Đảm bảo an toàn tuyệt đối cho việc truyền nhận văn bản mật, tài liệu chỉ đạo điều hành tác chiến trong hạ tầng mạng quân sự và cơ quan Đảng, Nhà nước; ngăn chặn triệt để các cuộc tấn công không gian mạng giả mạo danh tính chỉ huy.

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

  • Nghiên cứu sinh & Nhà khoa học chuyên sâu: Tiếp cận phương pháp luận toán học chặt chẽ trong việc liên kết các cấu trúc đại số và kỹ thuật chứng minh an toàn trong mô hình tiên tri ngẫu nhiên (Random Oracle Model).
  • Kỹ sư R&D Mật mã & An toàn thông tin: Sở hữu bộ thuật toán chi tiết với đầy đủ công thức giải tích và tham số mẫu chuẩn hóa (FIPS 186-3, ANSI X9.31) để cài đặt trực tiếp vào các thư viện bảo mật và phần mềm thương mại.
  • Kiến trúc sư hệ thống Chính phủ điện tử: Ứng dụng mô hình phê duyệt văn bản đa cấp hoàn chỉnh, tích hợp liền mạch giữa chữ ký cá nhân của cán bộ lãnh đạo và con dấu điện tử của cơ quan chủ quản.
  • Cơ quan quản lý Nhà nước: Có thêm cơ sở khoa học và bằng chứng thực nghiệm vững chắc để xây dựng, cập nhật các tiêu chuẩn kỹ thuật quốc gia về mật mã và chữ ký số trong giai đoạn mới.

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à đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc xây dựng thành công Lược đồ chữ ký số kết hợp chặt chẽ dựa trên hai bài toán khó đồng thời: IFP kết hợp RSAP trên vành $\mathbb{Z}_n$ và IFP kết hợp DLP trên trường hữu hạn $\mathbb{Z}_p^*$, mở rộng trực tiếp hệ mật RSA (Rivest et al., 1978) và chuẩn chữ ký GOST R34.10-94. Điểm đột phá nằm ở cơ chế ràng buộc đại số khiến độ an toàn không bị suy thoái về một bài toán đơn lẻ như các công trình tiền nhiệm của Harn (1994), Vishnoi et al. (2010) hay Dernova (2014).

2. Đột phá về mặt phương pháp luận so với các công trình quốc tế và trong nước tiêu biểu?

So với mô hình chữ ký tập thể phân biệt của Lưu Hồng Dũng (2012) (tách rời chữ ký cá nhân và CA thành hai trường dữ liệu) và mô hình đa chữ ký của Okamoto (1988) hay Burmester et al. (2010), luận án tạo ra đột phá bằng Mô hình chữ ký số tập thể dạng kết hợp. Mô hình này nén toàn bộ chữ ký của $k$ cá nhân và chữ ký xác thực của tổ chức thành một cặp giá trị duy nhất $(E, S)$ có độ dài không đổi ($2|q|$ bit), giúp tiết kiệm hơn 50% chi phí lưu trữ và tối ưu hóa số phép tính lũy thừa modulo phía kiểm tra chỉ còn $2 T_e$.

3. Phát hiện bất ngờ nhất từ kết quả thực nghiệm là gì?

Phát hiện bất ngờ nhất là việc tăng cường độ an toàn bằng cách tích hợp hai bài toán khó không làm tăng độ phức tạp thời gian thực thi tổng thể mà ngược lại, nhờ tối ưu hóa các bước tính toán trung gian và cấu trúc nhóm con bậc $q$, thời gian xác thực của lược đồ IFP-DLP cơ sở II nhanh hơn 31.8% so với lược đồ đa chữ ký truyền thống trên cùng độ dài khóa an toàn 2048 bit.

4. Luận án có cung cấp quy trình tái lập thực nghiệm (Replication Protocol) chi tiết không?

Có. Luận án cung cấp chi tiết từng bước thuật toán: từ không gian sinh khóa (Key Generation), tạo chứng chỉ khóa công khai (CA Certification), thuật toán ký từng phần của thành viên ($U_i$), thuật toán tổng hợp chữ ký của đại diện nhóm, đến thuật toán thẩm tra chữ ký (Verification Algorithm) cùng bảng thông số kỹ thuật chuẩn FIPS 186-3 và ANSI X9.31.

5. Định hướng lộ trình nghiên cứu 10 năm tiếp theo được vạch ra như thế nào?

Lộ trình 10 năm tập trung vào: (1) Nâng cấp cấu trúc kết hợp sang hệ mật mã kháng lượng tử dựa trên mạng tinh thể (Lattice Cryptography); (2) Tích hợp giao thức chữ ký tập thể vào hạ tầng chuỗi khối (Blockchain) và Web3 nhằm tự động hóa xác thực đa cấp trong các tổ chức tự trị phi tập trung (DAO); (3) Chuẩn hóa thuật toán thành Tiêu chuẩn Quốc gia (TCVN) phục vụ bảo mật hạ tầng thông tin trọng yếu quốc gia.

Kết luận

Luận án tiến sĩ của NCS. Phạm Văn Hiệp đã hoàn thành xuất sắc các mục tiêu nghiên cứu đề ra với 5 đóng góp cốt lõi:

  1. Thiết lập và chứng minh hoàn chỉnh Mô hình chữ ký số tập thể dạng kết hợp, giải quyết triệt để bài toán chứng thực đồng thời ở hai cấp độ: thực thể cá nhân và cơ quan quản lý pháp nhân.
  2. Xây dựng thành công họ Lược đồ chữ ký IFP-RSAP (Cơ sở I, Cơ sở II và Lược đồ tập thể), chứng minh độ an toàn dựa trên tính khó giải đồng thời của bài toán phân tích số và khai căn trên vành $\mathbb{Z}_n$.
  3. Phát triển họ Lược đồ chữ ký IFP-DLP (Cơ sở I, Cơ sở II và Lược đồ tập thể) với kích thước chữ ký rút gọn tối ưu, an toàn tuyệt đối trước các dạng tấn công giả mạo ACMA.
  4. Định lượng hóa chi phí tính toán và kiểm chứng thực nghiệm bằng C/C++, khẳng định ưu thế vượt trội về tốc độ xử lý và khả năng tiết kiệm tài nguyên mạng so với các chuẩn quốc tế (GOST R34.10-94, DSA) và các công trình trong nước.
  5. Cung cấp luận cứ khoa học và giải pháp công nghệ trực tiếp, phục vụ đắc lực cho công cuộc chuyển đổi số quốc gia, xây dựng Chính phủ điện tử và củng cố an ninh, bảo mật thông tin trong lĩnh vực quốc phòng.