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ư, an toàn không gian mạng và bảo vệ chủ quyền dữ liệu số đã trở thành ưu tiên an ninh hàng đầu của mọi quốc gia. Các hạ tầng mạng truyền thông mở như Internet luôn tiềm ẩn những nguy cơ xâm nhập trái phép, tấn công giả mạo danh tính, sửa đổi dữ liệu và đánh cắp tài sản trí tuệ. Trước bối cảnh các thuật toán mã hóa cổ điển bộc lộ nhiều điểm yếu trước sự gia tăng của năng lực tính toán phân tán, luận án tiến sĩ chuyên ngành Khoa học máy tính (Mã số: 9 48 01 01) của Nghiên cứu sinh Nguyễn Đức Toàn, dưới sự hướng dẫn khoa học của PGS. Bùi Thế Hồng và TS. Nguyễn Văn Tảo tại Trường Đại học Công nghệ Thông tin và Truyền thông – Đại học Thái Nguyên, mang tựa đề: "Phát triển một số phương pháp bảo mật và xác thực thông tin", đã tiếp cận trực diện vào các giới hạn cốt lõi của mật mã học hiện đại.

Khoảng trống nghiên cứu (Research Gap) lớn nhất trong bảo mật truyền tin hiện nay nằm ở sự đánh đổi giữa độ an toàn lý thuyết tuyệt đối và tính khả thi tính toán thực tế. Hệ mật mã khóa sử dụng một lần (One-Time Pad - OTP) theo lý thuyết của Claude Shannon (1949) cung cấp độ an toàn không điều kiện (Information-theoretic security), nhưng đòi hỏi độ dài khóa ngẫu nhiên phải bằng đúng độ dài bản rõ, gây ra bế tắc nghiêm trọng trong việc phân phối và lưu trữ khóa cho các tệp dữ liệu dung lượng lớn. Đồng thời, trong lĩnh vực xác thực, các lược đồ chữ ký số truyền thống dựa trên cơ sở hạ tầng khóa công khai (PKI) vấp phải gánh nặng quản lý chứng chỉ số (Certificates Overhead) và sự suy giảm hiệu năng khi mở rộng quy mô ký tập thể hoặc ký mù trong các hệ thống đòi hỏi tính riêng tư cao.

Luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Làm thế nào để thiết kế một lược đồ mã hóa kế thừa tính chất bảo mật của OTP nhưng khắc phục triệt để hạn chế về độ dài khóa phân phối trên kênh truyền?
  • Giả thuyết 1 ($H_1$): Việc sử dụng giá trị hàm băm an toàn 256-bit của bản rõ làm khóa khởi tạo kết hợp với mã hóa khối lặp sẽ tạo ra luồng khóa động có tính chất ngẫu nhiên cao, cho phép trao đổi khóa bảo mật thông qua mật mã bất đối xứng mà không làm giảm bậc an toàn của hệ thống.
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Làm thế nào để xây dựng lược đồ chữ ký số tập thể ủy nhiệm loại bỏ sự phụ thuộc vào hạ tầng chứng chỉ PKI phức tạp?
  • Giả thuyết 2 ($H_2$): Ứng dụng hệ mật mã dựa trên định danh (Identity-Based Cryptography - IBC) kết hợp với các phép toán trên cặp song tuyến (Bilinear Pairings) cho phép tạo ra chữ ký tập thể ủy nhiệm với kích thước và chi phí xác thực là hằng số $O(1)$, bất kể số lượng thành viên tham gia ký.
  • Câu hỏi nghiên cứu 3 ($RQ_3$): Bằng cách nào tối ưu hóa lược đồ chữ ký mù để bảo đảm tính ẩn danh hoàn toàn với chi phí tính toán thấp cho các thiết bị di động?
  • Giả thuyết 3 ($H_3$): Chuyển đổi nền tảng toán học của chữ ký mù sang nhóm điểm trên đường cong Elliptic (ECC) sẽ rút ngắn chiều dài khóa từ 2048-bit xuống 256-bit trong khi vẫn duy trì độ phức tạp giải bài toán Logarit rời rạc trên đường cong Elliptic (ECDLP).

Khung lý thuyết nền tảng của nghiên cứu được xây dựng trên sự tích hợp giữa: Lý thuyết độ an toàn hoàn hảo và nguyên lý Hỗn độn – Khuếch tán (Confusion and Diffusion) của Claude Shannon, Mô hình mạng hoán vị - thay thế (SPN) trong Chuẩn mã hóa nâng cao AES (Daemen & Rijmen), Hệ mật mã định danh Shamir (1984), và Lý thuyết mật mã đường cong Elliptic của Neal Koblitz và Victor Miller.

Về mặt phạm vi và ý nghĩa, luận án tập trung khảo sát các khối dữ liệu chuẩn 256-bit, thực nghiệm các bộ tham số đường cong Elliptic trên trường hữu hạn $GF(p)$, kiểm chứng các dãy bit giả ngẫu nhiên theo tiêu chuẩn NIST. Kết quả nghiên cứu mang lại giải pháp đột phá giúp cắt giảm đáng kể chi phí truyền thông và năng lượng tính toán, đặc biệt tương thích với các kiến trúc điện toán biên (Edge Computing) và Internet vạn vật (IoT).

Literature Review và Positioning

Tổng quan y văn quốc tế và trong nước phản ánh hai luồng tiến hóa song song của mật mã học: luồng bảo mật dữ liệu đối xứng/bất đối xứng và luồng xác thực toàn vẹn bằng chữ ký số. Về mật mã đối xứng, từ cấu trúc Feistel trong chuẩn DES (1976) đến chuẩn mã hóa nâng cao AES (NIST, 2001), các nhà nghiên cứu chủ yếu tập trung vào việc tối ưu hóa hàm vòng và mở rộng không gian khóa để chống lại tấn công vét cạn. Tuy nhiên, các chế độ hoạt động kinh điển như ECB (Electronic Codebook), CBC (Cipher Block Chaining), CTR (Counter), OFB (Output Feedback) và CFB (Cipher Feedback) đều bộc lộ hạn chế cố hữu: mô hình ECB làm lộ tính chất thống kê của văn bản; mô hình CBC và CFB có sự phụ thuộc chuỗi lan truyền lỗi trên đường truyền dữ liệu; trong khi đó mã dòng thuần túy lại phụ thuộc tuyệt đối vào chất lượng của bộ sinh số ngẫu nhiên.

Trong lĩnh vực chữ ký số, nghiên cứu về chữ ký tập thể và chữ ký ủy nhiệm chứng kiến nhiều bước nhảy vọt. Năm 1984, Adi Shamir đề xuất hệ mật định danh (IBC) nhằm xóa bỏ gánh nặng phân phối khóa công khai. Đến năm 2001, Dan Boneh và Matthew K. Franklin đã hiện thực hóa hệ mật định danh an toàn dựa trên cặp song tuyến Weil pairing. Tiếp đó, Constantin Popescu (2008, 2012) và Das et al. (2018) đã phát triển các lược đồ chữ ký ủy nhiệm và chữ ký tập thể trên nền tảng bài toán Logarit rời rạc (DLP). Tuy nhiên, các lược đồ của Popescu thường có kích thước chữ ký phình to tuyến tính theo số lượng người tham gia ký, gây quá tải cho kênh truyền và bộ nhớ thiết bị tiếp nhận. Tại Việt Nam, các nghiên cứu của Đặng Minh Tuấn (2010), Lưu Hồng Dũng (2012) hay Phan Đình Diệu (2002) mới dừng lại ở việc khảo sát chữ ký số dựa trên bài toán RSA hoặc DLP cổ điển, chưa giải quyết trọn vẹn việc kết hợp đa hình thức xác thực ủy nhiệm trên hệ mật định danh không chứng chỉ.

Trục nghiên cứu Trường phái truyền thống (RSA / PKI / DLP) Đột phá của Luận án Nguyễn Đức Toàn
Cơ chế phân phối khóa OTP Khóa ngẫu nhiên dài bằng bản rõ ($L_K = L_M$), bế tắc phân phối khóa qua mạng mở. Sử dụng giá trị băm $h(M)$ 256-bit làm khóa $K_0$, phân phối khóa bằng RSA/ECC bất đối xứng.
Quản lý hạ tầng xác thực Dựa trên chứng chỉ khóa công khai X.509 PKI, chi phí duy trì CA rất lớn. Sử dụng Định danh (Identity - chuỗi ID/Email/Thời hạn) loại bỏ chứng chỉ PKI.
Kích thước chữ ký tập thể Kích thước tỷ lệ thuận tuyến tính $O(n)$ với số lượng thành viên ký. Nén kích thước chữ ký và thời gian xác thực về giá trị hằng số $O(1)$.
Độ dài khóa chữ ký mù Khóa RSA cồng kềnh (2048 - 3072 bits) để đạt mức an toàn 112 - 128 bit. Khóa ECC ngắn gọn (256 bits) trên bài toán ECDLP, giảm 88% dung lượng khóa.

Sự tranh luận học thuật sâu sắc tồn tại giữa hai quan điểm: một bên nhấn mạnh tính khả tín tuyệt đối của các cơ sở chứng thực khóa công khai (CA) tập trung trong PKI, trong khi bên đối lập chỉ ra nguy cơ điểm lỗi duy nhất (Single Point of Failure) và nút thắt cổ chai truyền thông của hệ thống này. Luận án định vị chính xác ở giao điểm giải quyết mâu thuẫn trên: khai thác sức mạnh của hệ mật định danh để loại trừ chứng chỉ, đồng thời ứng dụng cặp song tuyến tính trên đường cong Elliptic để gom tụ chữ ký tập thể. So sánh với nghiên cứu quốc tế của Olivier Blazy, Laura Brouilhet, Duong Hieu Phan (2013) về chữ ký số định danh có thể truy nguyên và Gentry & Ramzan (2006) về chữ ký nhóm định danh, công trình của NCS. Nguyễn Đức Toàn đã đưa ra một cấu trúc tinh gọn hơn, hỗ trợ linh hoạt cả hai kịch bản: ký toàn bộ văn bản hoặc ký phân đoạn đa thành phần (Multi-Section) có ủy quyền mà không làm gia tăng độ phức tạp thuật toán.

Đó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 các định lý nền tảng của mật mã học thông qua ba đóng góp lý thuyết cốt lõi:

  1. Mở rộng lý thuyết an toàn OTP của Shannon: Luận án chứng minh rằng việc sử dụng giá trị băm SHA-256 của bản rõ làm khóa khởi tạo $K_0 = h(M)$ trong cơ chế dòng khóa thác liên tiếp $K_i = E_{K_{i-1}}(M_{i-1})$ qua AES-256 vẫn bảo toàn được tính ngẫu nhiên thống kê và tính đơn nhất (Uniqueness) cho mỗi phiên truyền tin. Đúng như luận án khẳng định: "Khóa OTP nguyên bản có độ dài bằng độ dài bản rõ nhưng khóa OTP trong lược đồ này lại là giá trị băm của bản rõ. Do vậy, có thể trao đổi khóa này bằng mã hóa khóa công khai". Đóng góp này tạo cầu nối lý thuyết giữa độ an toàn hoàn hảo (Perfect Secrecy) của Vernam/Shannon và độ an toàn tính toán (Computational Security) của mật mã hiện đại.
  2. Hình thành mô hình bảo mật chữ ký tập thể ủy nhiệm trên Hệ mật định danh: Luận án đề xuất một cấu trúc toán học mới tích hợp quan hệ ủy quyền giữa Người ủy nhiệm (Original Signer) và Người được ủy nhiệm (Proxy Signer) thông qua các phép biến đổi điểm trên nhóm elliptic $G_1$ và cặp song tuyến $\hat{e}: G_1 \times G_1 \to G_2$. Mô hình chứng minh được tính đúng đắn đại số và tính kháng giả mạo không thể phủ nhận dưới bài toán song tuyến Diffie-Hellman (BDHP).
  3. Hình thức hóa an toàn chữ ký mù trên đường cong Elliptic: Luận án mở rộng bài toán Logarit rời rạc trên đường cong Elliptic (ECDLP) vào mô hình ký mù, chứng minh rằng thực thể ký không thể biết được nội dung bản rõ $m$ thông qua hệ số làm mù ngẫu nhiên $r \in \mathbb{Z}_q^*$, nhưng chữ ký sau khi giải mù vẫn có giá trị xác thực công khai toàn vẹn.
+--------------------------------------------------------------------------------+
|                   KHUNG PHÂN TÍCH VÀ CƠ CHẾ BẢO MẬT LAI GHÉP                    |
+--------------------------------------------------------------------------------+
                                                                                  
    [Bản rõ M] ---> [Hàm băm SHA-256] ---> Khóa khởi tạo K0 = h(M) [256-bit]      
         |                                         |                              
         |                                         +---> Mã hóa khóa:             
         |                                               S = E_PKB(E_SKA(K0))     
         v                                                                        
    Khối M1 ------------ XOR ------------> Khối C1                                
         |                ^                                                       
         v                |                                                       
    [AES-256(M1, K0)] -> Khóa K1                                                  
         |                |                                                       
         v                v                                                       
    Khối M2 ------------ XOR ------------> Khối C2                                
         |                ^                                                       
         v                |                                                       
    [AES-256(M2, K1)] -> Khóa K2                                                  
         |                |                                                       
         v                v                                                       
    Khối Mi ------------ XOR ------------> Khối Ci                                
                                                                                  
    ===> Bản mã truyền đi: [ Bản mã C = C1 || C2 || ... || Cn ] + [ Khóa mã hóa S ]

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

Khung phân tích của luận án tích hợp bốn trụ cột lý thuyết toán - mật mã học:

  • Lý thuyết thông tin Shannon: Đảm bảo tính bất định cực đại của bản mã $H(M|C) = H(M)$ thông qua hiệu ứng thác ngẫu nhiên của các hàm băm và phép toán XOR dòng.
  • Hệ mật mã định danh Shamir: Sử dụng chuỗi định danh thực tế (tên người dùng, IP, email, timestamp) kết hợp với khóa bí mật chủ $s$ của Trung tâm phát sinh khóa (PKG) để tính toán cặp khóa mà không cần kho lưu trữ chứng chỉ khóa công khai.
  • Hình học đường cong Elliptic trên trường hữu hạn $GF(p)$: Định nghĩa trên phương trình Weierstrass $y^2 = x^3 + ax + b \pmod p$ nhằm tối đa hóa độ phức tạp thuật toán tính toán logarit rời rạc.
  • Cặp song tuyến đối xứng (Symmetric Bilinear Map): Thiết lập ánh xạ $\hat{e}(aP, bQ) = \hat{e}(P, Q)^{ab}$ phục vụ việc gộp các thành phần chữ ký cá nhân $\sigma_i$ thành một đại diện chữ ký duy nhất $\sigma_{agg}$.

Điều kiện biên (Boundary Conditions) được xác định rõ: Toàn bộ các chứng minh an toàn được xây dựng dựa trên giả định thực thể đối kháng có năng lực tính toán đa thức ngẫu nhiên (Probabilistic Polynomial-Time - PPT), không sở hữu máy tính lượng tử có khả năng thực thi thuật toán Shor để giải đa thức bậc thấp trên đường cong Elliptic.

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

Thiết kế nghiên cứu

Nghiên cứu áp dụng trường phái thực chứng (Positivism) kết hợp phương pháp diễn dịch toán học (Deductive Mathematical Proofs) và kiểm thử thực nghiệm mô phỏng máy tính. Thiết kế nghiên cứu đa tầng bao gồm ba cấp độ rõ ràng:

  1. Cấp độ cơ sở nguyên thủy (Primitives Level): Thiết kế và phân tích các hàm một chiều, hàm băm SHA-256, phép thế S-Box và biến đổi affine trong trường hữu hạn $GF(2^8)$ của chuẩn AES.
  2. Cấp độ giao thức (Protocol Level): Thiết kế các quy trình tương tác đa bước: Sinh tham số hệ thống (Setup), Trích xuất khóa (Extract), Sinh chữ ký mù/ủy nhiệm (Sign), Gộp chữ ký tập thể (Aggregate) và Xác minh (Verify).
  3. Cấp độ kiểm chứng độ an toàn (Security Analysis Level): Đánh giá khả năng kháng các cuộc tấn công kinh điển bao gồm Tấn công bản rõ lựa chọn thích ứng (Adaptive Chosen Message Attacks - ACMA), Tấn công văn bản đã biết (Known Message Attacks - KMA), Tấn công văn bản ngẫu nhiên (Random Message Attacks - RMA) và Tấn công sinh nhật (Birthday Attack).

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ nghiêm ngặt mô hình quy chuẩn mật mã học:

  • Mô hình hóa trong Random Oracle Model (ROM): Các hàm băm mật mã được giả định hoạt động như một thực thể ngẫu nhiên lý tưởng, phản hồi một chuỗi bit ngẫu nhiên duy nhất cho mỗi truy vấn đầu vào mới.
  • Phương pháp rút gọn độ an toàn (Security Reduction): Chứng minh rằng nếu một đối thủ PPT có thể giả mạo chữ ký số với xác suất $\epsilon$ không thể bỏ qua, thì đối thủ đó có thể sử dụng thuật toán này để giải bài toán ECDLP hoặc BDHP với độ phức tạp đa thức – điều mâu thuẫn với giả thuyết nền tảng của mật mã học.
  • Bộ tiêu chí đánh giá dãy bit giả ngẫu nhiên: Luận án xây dựng quy trình kiểm thử độ ngẫu nhiên của dãy bit đầu ra dựa trên các tiêu chuẩn thống kê khắt khe tương đương chuẩn NIST SP 800-22:
    • Kiểm tra tần suất bit đơn (Monobit Frequency Test).
    • Kiểm tra tần suất khối bit (Block Frequency Test).
    • Kiểm tra các chuỗi liên tiếp (Runs Test).
    • Kiểm tra khoảng cách chuỗi lặp số nguyên tố và tính chu kỳ.

Data và phân tích

Toàn bộ các thuật toán được cài đặt thực nghiệm trên hệ thống máy tính cấu hình tiêu chuẩn, sử dụng ngôn ngữ C/C++ và các thư viện chuyên dụng về đại số máy tính như Miracl Crypto SDK.

+---------------------------------------------------------------------------------+
| QUY TRÌNH MÃ HÓA VÀ XÁC THỰC BẢN MÃ THEO LƯỢC ĐỒ OTP ĐỀ XUẤT                    |
+---------------------------------------------------------------------------------+
[Bên gửi A]                                                           [Bên nhận B]
    |                                                                      |
    |-- (1) Băm bản rõ M: K0 = SHA256(M) --------------------------------->|
    |-- (2) Khóa mã hóa: S = RSA_Enc_PKB(RSA_Sign_SKA(K0)) --------------->|
    |-- (3) Mã hóa khối AES: C1 = M1 XOR K0; Ki = AES(Mi-1, Ki-1) -------->|
    |-- (4) Truyền dữ liệu: Gửi [ Bản mã C || Bản mã khóa S ] ------------->|
    |                                                                      |
    |                                    (5) B nhận [ C || S ]             |
    |                                    (6) B giải mã khóa:               |
    |                                        K0' = RSA_Ver_PKA(RSA_Dec_SKB(S))
    |                                    (7) B xác thực:                   |
    |                                        Kiểm tra K0' == SHA256(C_block1)|
    |                                    (8) Giải mã tuần tự M1, M2... Mn  |

Phân tích hiệu năng định lượng cho thấy:

  • Độ phức tạp tính toán: Việc chuyển đổi chữ ký tập thể sang cặp song tuyến tính giúp giảm thiểu tổng số phép nhân điểm trên đường cong Elliptic từ $n$ lần xuống còn $1$ phép gộp điểm duy nhất, đưa thời gian kiểm tra xác thực chữ ký của tập thể $n$ người về tiệm cận thời gian kiểm tra chữ ký của một cá nhân đơn lẻ.
  • Tiết kiệm dung lượng kênh truyền: Chữ ký tập thể đề xuất có độ dài cố định $|S| = 256$ bits, không phụ thuộc vào quy mô $n$ của nhóm ký (khác biệt hoàn toàn so với mô hình ghép chuỗi truyền thống có kích thước $n \times 256$ bits).

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

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

Luận án đã mang lại 4 phát hiện mang tính đột phá cho cả mật mã đối xứng và bất đối xứng:

  1. Khả thi hóa hệ mật One-Time Pad cho bản rõ dung lượng lớn: Bằng cách sử dụng giá trị băm $h(M)$ 256-bit làm hạt giống khóa khởi đầu $K_0$, lược đồ đã giải quyết được nghịch lý phân phối khóa của Vernam. Khóa cần trao đổi qua kênh công khai bất đối xứng luôn có kích thước cố định 256-bit, bất kể tệp dữ liệu nguồn có dung lượng hàng Megabytes hay Gigabytes, loại bỏ hoàn toàn nút thắt truyền tải khóa.
  2. Cơ chế xác thực kép đồng thời (Simultaneous Confidentiality and Authentication): Khóa $K_0$ vừa đóng vai trò khóa gốc tạo chuỗi mã dòng, vừa là bản tóm lược thông điệp đại diện cho chữ ký số của người gửi ($S = E_{PK_B}(E_{SK_A}(K_0))$). Điều này đảm bảo tính bí mật, tính toàn vẹn và tính chống chối bỏ trong một quy trình thống nhất, không cần phải thực thi riêng rẽ các giao thức ký-trước-mã-sau (Sign-then-Encrypt) cồng kềnh.
  3. Đột phá nén chữ ký số tập thể ủy nhiệm trên nền tảng IBC: Luận án chứng minh rằng: "Kích thước của chữ ký số tập thể và thời gian xác thực được tính có độ dài và thời gian tính tương đương của một thành viên, nên chữ ký số tập thể tiết kiệm được rất nhiều không gian lưu trữ và thời gian tính toán so với chữ ký lặp của từng thành viên". Lược đồ cho phép phân quyền ký linh hoạt trên từng phân đoạn của văn bản (Multi-section signing) mà vẫn duy trì tính bất biến của kích thước chữ ký.
  4. Tối ưu hóa chữ ký mù trên đường cong Elliptic kháng tấn công ACMA: Luận án đề xuất lược đồ chữ ký mù loại bỏ hoàn toàn các lỗ hổng rò rỉ thông tin trong các giao dịch tài chính ẩn danh hoặc bỏ phiếu điện tử, đáp ứng đầy đủ hai tính chất toán học: Tính mù (Blindness) và Tính không thể giả mạo (Unforgeability).

Implications đa chiều

  • Về mặt lý thuyết: Bổ sung cơ sở toán học cho việc kết hợp các hệ mật đối xứng khối (AES) vào cấu trúc mã dòng ngẫu nhiên động; chuẩn hóa mô hình an toàn cho chữ ký số tập thể ủy nhiệm không dùng chứng chỉ số.
  • Về mặt phương pháp luận: Thiết lập khung phương pháp đánh giá dãy bit giả ngẫu nhiên có thể ứng dụng rộng rãi cho việc kiểm định các mô-đun phần cứng an toàn (Hardware Security Modules - HSM) và chip mật mã chuyên dụng.
  • Về mặt ứng dụng thực tiễn: Cung cấp giải pháp trực tiếp cho hạ tầng Chính phủ điện tử, ngân hàng số và các hệ thống thương mại điện tử:
    • Chính phủ số: Cho phép các quy trình ký duyệt liên phòng ban, phê duyệt văn bản hành chính theo tầng nấc ủy quyền mà không làm gia tăng kích thước lưu trữ của cơ sở dữ liệu.
    • Hệ thống IoT và thiết bị di động: Giảm thiểu mức tiêu thụ năng lượng và băng thông truyền nhận trên các thiết bị cảm biến hạn chế tài nguyên.
    • Bỏ phiếu điện tử và tiền kỹ thuật số: Ứng dụng chữ ký mù trên ECC để bảo đảm quyền riêng tư tuyệt đối cho người dùng trong các giao dịch điện tử.

Limitations và Future Research

Mặc dù đạt được những đóng góp học thuật và thực tiễn vững chắc, luận án cũng chỉ rõ các giới hạn biên cần được tiếp tục phát triển:

  1. Vấn đề lưu ký khóa (Key Escrow Problem) trong hệ mật IBC: Trong mô hình mật mã định danh, Trung tâm phát sinh khóa (PKG) nắm giữ khóa bí mật chủ (Master Secret Key) nên có thể tính toán được khóa riêng của mọi người dùng. Điều này đòi hỏi PKG phải là một thực thể hoàn toàn tin cậy (Fully Trusted Authority), tạo ra rủi ro tiềm tàng nếu PKG bị xâm nhập.
  2. Nguy cơ từ Điện toán lượng tử (Post-Quantum Vulnerability): Các lược đồ xây dựng trên nền tảng bài toán Logarit rời rạc trên đường cong Elliptic (ECDLP) và phân tích thừa số nguyên tố (RSA) về mặt lý thuyết sẽ bị phá vỡ hoàn toàn nếu máy tính lượng tử quy mô lớn xuất hiện và thực thi thuật toán Shor.
  3. Giới hạn kiểm thử tấn công kênh kề trên phần cứng nhúng (Side-Channel Attacks): Các thực nghiệm trong luận án chủ yếu tập trung vào độ an toàn thuật toán và mô phỏng phần mềm; chưa đánh giá toàn diện các dạng tấn công vật lý như phân tích điện năng tiêu thụ vi sai (DPA) hay phân tích bức xạ điện từ trên các vi điều khiển nhúng.

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

  • Phát triển các lược đồ chữ ký số định danh phi tập trung (Decentralized Identity) không cần PKG tin cậy bằng cách ứng dụng công nghệ sổ cái phân tán (Blockchain).
  • Mở rộng các lược đồ mã hóa lai ghép sang mật mã hậu lượng tử (Post-Quantum Cryptography), đặc biệt là mật mã dựa trên mạng tinh thể (Lattice-based Cryptography) như NTRU hoặc Ring-LWE.
  • Nghiên cứu cơ chế tự động kiểm định an toàn giao thức thời gian thực và đóng gói các thuật toán thành lõi IP phần cứng chuyên dụng trên nền tảng vi mạch FPGA/ASIC.

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

Công trình của NCS. Nguyễn Đức Toàn đóng góp giá trị học thuật và định hình thực tiễn triển khai an toàn thông tin tại Việt Nam:

  • Tác động học thuật: Cung cấp nguồn tài liệu tham khảo chất lượng cao cho các nhóm nghiên cứu chuyên sâu về Mật mã học và An toàn thông tin; đặt tiền đề cho các bài báo khoa học trên các tạp chí và kỷ yếu hội thảo uy tín (như các công bố phối hợp cùng Đại tá, TS. Đặng Minh Tuấn).
  • Chuyển đổi công nghiệp: Cung cấp giải pháp công nghệ trực tiếp cho các doanh nghiệp phần mềm bảo mật, các nhà cung cấp dịch vụ chứng thực chữ ký số công cộng (Public CA) và các ngân hàng thương mại nhằm nâng cao năng lực bảo mật cho cổng thanh toán trực tuyến.
  • Ảnh hưởng chính sách và thể chế: Luận án đóng góp luận cứ khoa học thực tiễn phục vụ việc hoàn thiện các tiêu chuẩn kỹ thuật quốc gia về chữ ký số và dịch vụ chứng thực chữ ký số theo các định hướng của Bộ Thông tin và Truyền thông, phục vụ đắc lực cho Đề án chuyển đổi số quốc gia.

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

  • Nghiên cứu sinh và Giới nghiên cứu mật mã: Tiếp cận được phương pháp luận toán học chặt chẽ trong việc chứng minh tính đúng đắn và độ an toàn của các lược đồ chữ ký số dựa trên cặp song tuyến và hệ mật định danh.
  • Kiến trúc sư an ninh mạng và Kỹ sư phần mềm R&D: Sở hữu thuật toán mã hóa lai ghép OTP – AES – RSA và các lược đồ chữ ký số tập thể tối ưu để tích hợp ngay vào các sản phẩm phần mềm thương mại, ứng dụng di động, giải pháp Blockchain và hệ thống điều khiển công nghiệp SCADA/IoT.
  • Cơ quan quản lý Nhà nước và Doanh nghiệp số: Có cơ sở khoa học tin cậy để lựa chọn các giải pháp công nghệ bảo mật nội địa hóa, giảm thiểu sự phụ thuộc vào các giải pháp phần mềm độc quyền từ nước ngoài, tiết kiệm ngân sách đầu tư hạ tầng chữ ký số.

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 độc đáo nhất là việc tái định nghĩa cơ chế tạo luồng khóa One-Time Pad bằng cách kết hợp giá trị băm $h(M)$ của chính bản rõ làm khóa gốc khởi tạo $K_0$, sau đó điều khiển quá trình sinh khóa động thông qua các vòng lặp mã hóa AES-256. Luận án đã mở rộng Lý thuyết an toàn vô điều kiện của Claude Shannon (1949), chuyển hóa bài toán bất khả thi về truyền tải khóa có độ dài bằng bản rõ $L_K = L_M$ trong Vernam cipher thành bài toán phân phối khóa bất đối xứng có độ dài cố định 256-bit với độ an toàn tính toán tuyệt đối.

2. Sự đổi mới về phương pháp luận của nghiên cứu này khi so sánh với ít nhất 2 nghiên cứu quốc tế trước đó?

So với nghiên cứu của Constantin Popescu (2008) về chữ ký số ủy nhiệm và Das et al. (2018) về các lược đồ chữ ký tập thể đa thành phần:

  • Các nghiên cứu của Popescu và Das dựa trên bài toán Logarit rời rạc truyền thống đòi hỏi hệ thống chứng chỉ PKI phức tạp và kích thước chữ ký mở rộng tuyến tính $O(n)$ theo số lượng thành viên ký.
  • Nghiên cứu của luận án đổi mới phương pháp luận bằng cách sử dụng Hệ mật định danh (IBC) kết hợp Cặp song tuyến (Bilinear Pairings), giúp loại bỏ hoàn toàn chứng chỉ số, đồng thời nén toàn bộ chữ ký tập thể của $n$ thành viên thành một điểm duy nhất trên đường cong Elliptic với chi phí xác thực là hằng số $O(1)$.

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

Phát hiện thực nghiệm quan trọng là việc sử dụng trực tiếp bản mã của khối dữ liệu trước đó để làm đầu vào sinh khóa động tiếp theo (kế thừa triết lý của mô hình CFB/CBC) kết hợp với hàm băm SHA-256 không những không làm suy giảm tốc độ xử lý của chuẩn AES-256 mà còn tạo ra hiệu ứng tuyết lở (Avalanche Effect) đạt xấp xỉ 50% độ biến đổi bit chỉ sau 1 vòng mã hóa, giúp chuỗi bit giả ngẫu nhiên vượt qua 100% các bài kiểm tra thống kê khắt khe của NIST SP 800-22 mà không cần thêm các thuật toán xáo trộn bổ trợ tốn kém tài nguyên.

4. Luận án có cung cấp quy trình nhân bản (Replication Protocol) hoàn chỉnh không?

Có. Luận án mô tả chi tiết toàn bộ các bước toán học từ thiết lập tham số ban đầu, thuật toán trích xuất khóa, các công thức toán học tường minh cho quy trình mã hóa/ký số và giải mã/xác thực kèm theo các lưu đồ thuật toán phân rã (Hình 2.6, Hình 2.7). Các tham số đường cong Elliptic, kích thước khối trạng thái (State Matrix), các ma trận thế S-box, phép biến đổi MixColumns và các hàm băm chuẩn đều được công bố chi tiết, cho phép các nhà nghiên cứu độc lập lập trình tái lập chính xác 100% trên các nền tảng ngôn ngữ C/C++ hoặc Python.

5. Lộ trình nghiên cứu 10 năm tiếp theo được định hình như thế nào?

Lộ trình 10 năm mở rộng nghiên cứu bao gồm 3 giai đoạn chiến lược:

  • Giai đoạn 1 (2-3 năm): Giải quyết triệt để bài toán Key Escrow trong hệ mật định danh bằng cách tích hợp mô hình chữ ký không chứng chỉ (Certificateless Cryptography) và tính toán đa bên an toàn (SMPC).
  • Giai đoạn 2 (4-6 năm): Chuyển đổi các cấu trúc chữ ký tập thể và chữ ký mù từ nền tảng đường cong Elliptic sang các hệ mật mã kháng lượng tử (Post-Quantum Cryptography) dựa trên cấu trúc mạng tinh thể (Lattice-based cryptography như Module-LWE).
  • Giai đoạn 3 (7-10 năm): Đóng gói và chuẩn hóa các giao thức thành các chuẩn mật mã nhúng thời gian thực cho hạ tầng mạng 6G, xe tự hành (V2X) và hệ thống mạng lượng tử quốc gia.

Kết luận

Luận án tiến sĩ của NCS. Nguyễn Đức Toàn đã hoàn thành xuất sắc mục tiêu nghiên cứu với 5 đóng góp học thuật và thực tiễn cốt lõi:

  1. Phát triển thành công lược đồ bảo mật lai ghép OTP – AES256 – SHA256: Giải quyết dứt điểm nút thắt phân phối khóa của hệ mật Vernam, hiện thực hóa cơ chế mã hóa dòng hiệu năng cao với độ dài khóa trao đổi cố định 256-bit.
  2. Xây dựng bộ tiêu chuẩn kiểm tra thống kê dãy bit giả ngẫu nhiên: Cung cấp công cụ đo lường và đánh giá định lượng chất lượng luồng khóa mật mã.
  3. Đề xuất lược đồ chữ ký số tập thể ủy nhiệm trên Hệ mật định danh (IBC): Tối ưu hóa kích thước chữ ký và thời gian xác thực về bậc hằng số $O(1)$, loại bỏ hoàn toàn chi phí duy trì chứng chỉ số PKI.
  4. Cải tiến lược đồ chữ ký mù trên đường cong Elliptic (ECC): Đảm bảo tính ẩn danh hoàn hảo với kích thước khóa rút ngắn 88% so với các giải pháp RSA truyền thống, tương thích tối ưu cho các thiết bị hạn chế tài nguyên.
  5. Đề xuất lược đồ chữ ký số tập thể dựa trên cặp song tuyến tính: Đưa ra mô hình xác thực đa thành phần có khả năng chứng minh an toàn chặt chẽ dưới mô hình Random Oracle Model.

Công trình không chỉ góp phần nâng cao năng lực lý thuyết mật mã trong nước mà còn mở ra những hướng nghiên cứu quan trọng về mật mã định danh, an toàn mạng phân tán và bảo vệ dữ liệu trong kỷ nguyên số.