Tổng quan về luận án
Bảo vệ an toàn thông tin trên không gian mạng hiện đại phụ thuộc mang tính sống còn vào các cơ chế mật mã học thuật toán. Trong hệ thống phân phối khóa mật mã, khâu then chốt nhưng tiềm ẩn nhiều lỗ hổng nhất chính là trao đổi khóa (Key Exchange). Luận án Tiến sĩ Toán học chuyên ngành Cơ sở toán học cho tin học (Mã số: 9 46 01 10) với đề tài "Nghiên cứu phát triển giao thức trao đổi khóa an toàn" do Nghiên cứu sinh Đỗ Việt Bình thực hiện dưới sự hướng dẫn của PGS.TS. Nguyễn Hiếu Minh và TS. Nguyễn Mạnh Linh tại Viện Khoa học và Công nghệ Quân sự (2018) đã giải quyết triệt để bài toán hóc búa này.
Bối cảnh khoa học của luận án xuất phát từ một thực tế cốt lõi: "Một giả thiết đặt ra là trong tương lai, khi các bài toán khó giải lần lượt được giải quyết thì các giao thức trao đổi khóa hiện tại sẽ trở thành không an toàn. Do đó, cần phát triển các giao thức mới dựa trên kết hợp các bài toán khó giải để tăng tính an toàn cho giao thức trao đổi khóa." Trước đây, hầu hết giao thức trao đổi khóa có xác thực và chữ ký số chỉ đơn lẻ tựa trên một bài toán khó duy nhất: bài toán Logarithm rời rạc (Discrete Logarithm Problem - DLP) hoặc bài toán Phân tích thừa số nguyên tố (Integer Factorization Problem - IFP). Khi năng lực tính toán phân tán gia tăng cùng các đột phá của thuật toán sàng trường số (Number Field Sieve - NFS) hay thuật toán phân tích trên đường cong elliptic (ECM), các hệ thống đơn nền tảng đứng trước nguy cơ bị phá vỡ hoàn toàn (Total Break).
Để lấp đầy khoảng trống nghiên cứu (research gap) mang tính căn bản này, luận án tập trung giải quyết 4 câu hỏi nghiên cứu cốt lõi:
- Làm thế nào để kết hợp đồng thời hai bài toán khó kinh điển (IFP và DLP) vào một cấu trúc chữ ký số lai mà không làm bùng nổ độ phức tạp tính toán?
- Thiết kế giao thức trao đổi khóa có xác thực hai chiều ($DH-MM-KE$) kháng lại các mô hình tấn công hiện đại như KCI, UKS, SSR và MITM ra sao?
- Có thể hiện thực hóa một cơ chế ký và mã hóa đồng thời (Signcryption) tích hợp tính năng chối từ hợp lý ($DH-MM-DSC$) nhằm chống tấn công cưỡng bức chủ động hay không?
- Tối ưu hóa giao thức trao đổi khóa nhóm ngang hàng động (DPG) để triệt tiêu việc để lộ khóa cặp và hỗ trợ hoán vị khóa với số lượng phép tính tối thiểu ($O(n)$) như thế nào?
Khung lý thuyết của luận án được xây dựng dựa trên đại số trừu tượng, lý thuyết số học modulo, mô hình an toàn Bellare-Rogaway và Canetti-Krawczyk. Nghiên cứu đã thiết lập bước đột phá khi lần đầu tiên đề xuất giao thức ký mã hóa đồng thời có khả năng chối từ dựa trên hai bài toán khó, giảm kích thước bản mã và chi phí tính toán so với mô hình ký-rồi-mã-hóa truyền thống, đồng thời tối ưu hóa giao thức trao đổi khóa nhóm $NGDH1$ cho các cấu trúc mạng tùy biến động.
Literature Review và Positioning
Lịch sử mật mã học hiện đại ghi nhận mốc son năm 1976 khi Whitfield Diffie và Martin Hellman công bố giao thức trao đổi khóa nguyên thủy (DHKE) dựa trên nhóm nhân hữu hạn $\mathbb{Z}_p^*$ với $g$ là phần tử sinh. Tuy nhiên, DHKE thuần túy hoàn toàn bất lực trước tấn công kẻ đứng giữa (Man-In-The-Middle - MITM) do thiếu vắng cơ chế xác thực danh tính. Năm 1993, K. Arazi tiên phong kết hợp DHKE với Chuẩn chữ ký số DSA của NIST (FIPS 186), mở ra kỷ nguyên giao thức trao đổi khóa có xác thực.
Dẫu vậy, các phân tích chuyên sâu sau đó đã chỉ ra hàng loạt khiếm khuyết mang tính hệ thống. Năm 1994, K. Nyberg và R. Rueppel chứng minh giao thức Arazi không đạt độ an toàn khóa đã biết (Known-Key Security - KKS). L. Harn cùng cộng sự (1994) đề xuất phân phối đa khóa công khai để tạo $(n^2 - 1)$ khóa phiên, song đến năm 2005, R. C. W. Phan phát hiện sơ đồ của Harn không đáp ứng tính an toàn đầy đủ về phía trước (Perfect Forward Secrecy - PFS) và làm mới khóa (Key Freshness). Phan đưa ra cải tiến nhưng lại để tồn tại mối quan hệ tường minh (explicit relation) giữa hai khóa phiên $K_{AB}$ và $K_{BA}$. Năm 2010, Jie Liu và Jianhua Li khắc phục mối quan hệ tường minh này bằng việc bổ sung hai số ngẫu nhiên tạm thời, song vẫn bộc lộ lỗ hổng trước tấn công tiết lộ trạng thái phiên (Session-State Reveal - SSR).
[Diffie-Hellman, 1976] ──> [Arazi, 1993] (Tích hợp DSA) ──> [Nyberg-Rueppel, 1994] (Lỗ hổng KKS)
│
┌───────────────────────────────────────────────────────────────────┘
└──> [Harn et al., 1994] (Đa khóa phiên) ──> [Phan, 2005] (Lỗ hổng PFS & Explicit Relation)
│
┌───────────────────────────────────────────────────┘
└──> [Liu & Li, 2010] (Khử Explicit Relation nhưng hở SSR) ──> [Luận án Đỗ Việt Bình, 2018] (DH-MM-KE, Dual-Hard Problems)
Ở nhánh nghiên cứu song song về họ giao thức MQV (Menezes-Qu-Vanstone, 1995; IEEE P1363), Hugo Krawczyk (2005) chỉ ra MQV bị bẻ gãy dưới mô hình tấn công Canetti-Krawczyk và đề xuất HMQV dùng hàm băm. P. Augustin (2009) mở rộng thành FHMQV/FHMQV-C, còn Li-Chin Hwang (2013, 2014) và Tseng (2002) phát triển hướng sinh $n^2 + 1$ khóa phiên.
Đối với trao đổi khóa nhóm (Group Key Agreement), giao thức GDH nguyên thủy của Steiner, Tsudik và Waidner (1996) đối mặt với chi phí tính toán cấp số nhân và rủi ro lộ toàn bộ hệ thống nếu khóa cặp (pairwise key) giữa hai nút trung gian bị thỏa hiệp.
Luận án của Đỗ Việt Bình định vị trực tiếp vào khoảng trống: Sự phụ thuộc đơn nhất vào một bài toán khó và tính dễ tổn thương trước các mô hình tấn công cưỡng bức/lộ khóa trạng thái. Nghiên cứu so sánh trực tiếp với 2 đại diện quốc tế tiêu biểu: mô thức ký mã hóa của Zheng (1997) và mô hình SIGMA của Krawczyk (2003). Luận án chứng minh rằng việc kết hợp bài toán Rabin/RSA (IFP) với Schnorr (DLP) tạo ra rào cản kép vô điều kiện: kẻ tấn công chỉ có thể phá vỡ giao thức nếu và chỉ nếu giải quyết đồng thời cả hai bài toán NP khó trong thời gian đa thức xác suất (PPT).
Đó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à hợp nhất hai nhánh lý thuyết số học nền tảng: Lý thuyết hàm một chiều có cửa sập (Trapdoor One-way Functions) của Rivest-Shamir-Adleman (1978)/Michael O. Rabin (1979) và Lý thuyết Logarithm rời rạc nhóm con hữu hạn của Claus-Peter Schnorr (1991).
Nghiên cứu thiết lập mô hình toán học chặt chẽ với hai sơ đồ chữ ký lai:
- Lược đồ lai 1 ($Rabin-Schnorr$): Thiết lập trên không gian modulo $n = p \cdot q$ (với $p, q \equiv 3 \pmod 4$ là số nguyên tố Blum) tích hợp bài toán khai căn bậc hai modulo và phương trình Schnorr $s = k - x\cdot e \pmod q$.
- Lược đồ lai 2 ($RSA-Schnorr$): Thiết lập trên cặp khóa $(n, e)$ của RSA lồng ghép tham số bậc nguyên tố $q | (p-1)$ của Schnorr.
┌─────────────────────────────────────────────────────────┐
│ HỆ THỐNG MÃ HÓA LAI ĐỘC LẬP │
└────────────────────────────┬────────────────────────────┘
│
┌───────────────────────┴───────────────────────┐
▼ ▼
┌───────────────────────┐ ┌───────────────────────┐
│ Bài toán IFP (RSA) │ │ Bài toán DLP (Schnorr)
│ n = p · q │ │ y = g^x mod p │
│ e · d ≡ 1 mod φ(n) │ │ s = k - x·e mod q │
└───────────┬───────────┘ └───────────┬───────────┘
│ │
└───────────────────────┬───────────────────────┘
▼
┌─────────────────────────────────────────────────────────┐
│ GIAO THỨC DH-MM-KE / DH-MM-SC │
│ Kẻ tấn công phải giải ĐỒNG THỜI cả IFP và DLP │
└─────────────────────────────────────────────────────────┘
Mô hình lý thuyết dẫn đến định lý nền tảng: Độ an toàn của khóa phiên $K_{AB}$ tương đương với độ phức tạp kết hợp $\mathcal{C}_{Combined} = \mathcal{O}(\min(NFS(n), NFS(p)))$, nghĩa là việc bẻ gãy một thành phần không làm sụp đổ tính bí mật toàn cục.
Khung phân tích độc đáo
Khung phân tích của luận án tích hợp 3 trụ cột lý thuyết: Lý thuyết độ phức tạp tính toán (Computational Complexity Theory), Mô hình Oracle Ngẫu nhiên (Random Oracle Model - ROM) theo chuẩn Goldwasser-Micali-Rivest (1984), và Lý thuyết Trò chơi Mật mã học (Cryptographic Game Theory).
Luận án xây dựng phương pháp đánh giá định lượng thông qua vector tham số chi phí tính toán:
$$\vec{T} = [T_{GEN}, T_{EXP}, T_{MUL}, T_{H}, T_{INV}, T_{CRT}]$$
Trong đó:
- $T_{EXP}$: Độ phức tạp thời gian của phép lũy thừa modulo.
- $T_{MUL}$: Độ phức tạp của phép nhân modulo.
- $T_{H}$: Thời gian thực thi hàm băm an toàn ($SHA-256$).
- $T_{INV}$: Phép tính nghịch đảo modulo qua thuật toán Euclid mở rộng.
- $T_{CRT}$: Phép tính thặng dư Trung Hoa (Chinese Remainder Theorem) giải căn bậc hai.
Điều kiện biên (boundary conditions) được xác định tường minh: modulo $n$ và $p$ phải có độ dài tối thiểu $1024 \text{ bit}$ đến $2048 \text{ bit}$, nhóm con bậc $q \ge 160 \text{ bit}$ đến $256 \text{ bit}$, đảm bảo ngăn chặn triệt để thuật toán Sàng trường số đa dụng (General Number Field Sieve - GNFS).
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ủ nghiêm ngặt thế giới quan thực chứng suy diễn toán học (Deductive Positivism) và chủ nghĩa hiện thực phản biện (Critical Realism). Thiết kế nghiên cứu kết hợp giữa chứng minh hình thức (Formal Mathematical Proofs) và mô phỏng thực nghiệm thuật toán trên máy tính xác suất đa thức (Probabilistic Polynomial-Time - PPT Turing Machine).
Thiết kế đa tầng (Multi-level Design) bao gồm:
- Tầng nguyên thủy toán học (Mathematical Primitives): Xây dựng và tối ưu thuật toán nhân lũy thừa Montgomery và thuật toán bình phương-và-nhân ($Exponentiation\text{ }and\text{ }Squaring$).
- Tầng giao thức (Protocol Layer): Thiết kế dòng dữ liệu trao đổi giữa các thực thể Alice ($A$), Bob ($B$) và các thành viên nhóm động $U_i \in {U_1, U_2, \dots, U_n}$.
- Tầng kiểm chứng an toàn (Security Verification Layer): Mô phỏng các kịch bản tấn công chủ động và thụ động.
Quy trình nghiên cứu rigorous
Quy trình đánh giá an toàn được thiết lập qua ma trận 4 cấp độ giả mạo của Goldwasser-Micali-Rivest (GMR):
- Phá vỡ hoàn toàn (Total Break - TB): Thu được khóa riêng $sk = (x, d, p, q)$.
- Giả mạo tổng quát (Universal Forgery - UF): Tìm thuật toán ký tương đương mà không biết khóa bí mật.
- Giả mạo có lựa chọn (Selective Forgery - SF): Tạo chữ ký hợp lệ trên thông điệp $m$ chọn trước.
- Tồn tại giả mạo (Existential Forgery - EF): Tạo chữ ký hợp lệ trên ít nhất một thông điệp ngẫu nhiên.
┌─────────────────────────────────────────────────────────┐
│ HỆ THỐNG MÔ HÌNH HÓA TẤN CÔNG (GMR TREE) │
└────────────────────────────┬────────────────────────────┘
│
┌───────────────────────┴───────────────────────┐
▼ ▼
┌───────────────────────────────┐ ┌───────────────────────────────┐
│ TẤN CÔNG VÀO KHÓA (KOA) │ │ TẤN CÔNG VÀO BẢN TIN (MA) │
│ (Chỉ biết Public Key) │ │ - Known Message (KMA) │
└───────────────────────────────┘ │ - Directed Chosen (DCMA) │
│ - Adaptive Chosen (ACMA) │
└───────────────┬───────────────┘
│
▼
┌───────────────────────────────┐
│ CÁC CẤP ĐỘ PHÁ VỠ GIAO THỨC │
│ TB ──> UF ──> SF ──> EF │
└───────────────────────────────┘
Quy trình bảo đảm độ tin cậy bằng cách kiểm định tính bất biến toán học:
$$\gcd(e, \varphi(n)) = 1 \quad \text{và} \quad g^q \equiv 1 \pmod p$$
Kiểm tra tính hợp lệ của hàm băm $H: {0, 1}^* \rightarrow {0, 1}^k$ dưới các tấn công tiền ảnh (pre-image resistance) và va chạm (collision resistance).
Data và phân tích
Luận án tiến hành tổng hợp và xử lý dữ liệu thực nghiệm lịch sử về độ phức tạp tính toán của bài toán IFP và DLP từ các dự án toàn cầu (như ECMNET, McCurley Diffie-Hellman Challenge [Weber & Denny, Crypto'98]):
| Năm |
Số lượng chữ số thập phân |
Số lượng bit |
Độ phức tạp tính toán (MIPS years) |
| 1984 |
71 |
236 |
0.1 |
| 1988 |
106 |
352 |
140 |
| 1993 |
120 |
399 |
825 |
| 1994 |
129 |
429 |
5,000 |
| 1995 |
119 |
395 |
250 |
| 1996 |
130 |
432 |
750 |
| 1999 |
140 |
466 |
2,000 |
| 1999 |
155 |
512 |
8,000 |
Từ dữ liệu định lượng trên, luận án chứng minh rằng không gian khóa 512-bit đã hoàn toàn bị vô hiệu hóa bởi năng lực tính toán 8,000 MIPS years. Do đó, các tham số trong mô phỏng của luận án được chuẩn hóa ở mức 1024-bit và 2048-bit. Các module kiểm thử thuật toán được hiện thực hóa và phân tích thông qua các phép đo chu kỳ đồng hồ CPU thực tế cho các hàm $T_{EXP}$ và $T_{CRT}$.
Phát hiện đột phá và implications
Những phát hiện then chốt
- Khắc phục triệt để mối quan hệ hiển giữa các khóa phiên ($Explicit\text{ }Relation$): Trong giao thức $DH-MM-KE$, việc lồng ghép 2 số ngẫu nhiên tạm thời độc lập cùng cặp khóa ký lai đã xóa bỏ hoàn toàn mối tương quan đại số giữa $K_{AB}$ và $K_{BA}$, giải quyết triệt để khiếm khuyết của sơ đồ Phan (2005) mà không làm tăng bậc độ phức tạp thời gian.
- Khởi tạo giao thức ký mã hóa đồng thời có thể chối từ ($DH-MM-DSC$): Luận án ghi nhận: "Đây là giao thức ký và mã hóa đồng thời đầu tiên có khả năng chối từ." Giao thức cho phép thực thể truyền tin từ chối hợp lý sự tồn tại của kết nối bảo mật trước kẻ tấn công cưỡng bức chủ động, đồng thời giảm trên $40%$ khối lượng tính toán so với việc thực hiện tuần tự thuật toán ký số RSA/Schnorr rồi mã hóa ElGamal.
- Phát triển giao thức trao đổi khóa nhóm $NGDH1$ tối ưu: Triệt tiêu hoàn toàn rủi ro để lộ khóa cặp (pairwise key compromise). Khi có sự biến động thành viên trong nhóm ngang hàng động (DPG), giao thức chỉ yêu cầu $\mathcal{O}(1)$ thông điệp truyền thông quảng bá và hoán vị khóa với chi phí tính toán cực tiểu, vượt trội so với cấu trúc cây phân cấp GDH nguyên thủy.
- Chứng minh tính kháng cự tuyệt đối trước tấn công lặp và phản xạ: Bằng việc tích hợp định danh phiên ($Session\text{ }ID$), nhãn thời gian ($Timestamp$) và cơ chế thử thách-trả lời ($Challenge-Response$) bất đối xứng hai chiều, giao thức loại bỏ $100%$ khả năng bị tấn công phát lại (Replay Attacks).
┌─────────────────────────────────────────────────────────────┐
│ SO SÁNH CÁC ĐẶC TÍNH BẢO MẬT & HIỆU NĂNG │
└──────────────────────────────┬──────────────────────────────┘
│
┌───────────────────────────────┼───────────────────────────────┐
▼ ▼ ▼
┌────────────────────────┐ ┌────────────────────────┐ ┌────────────────────────┐
│ GIAO THỨC PHAN (2005) │ │ LIU & LI (2010) │ │ DH-MM-KE / DH-MM-DSC │
├────────────────────────┤ ├────────────────────────┤ ├────────────────────────┤
│ • 1 bài toán khó (DLP) │ │ • 1 bài toán khó (DLP) │ │ • 2 BÀI TOÁN (IFP+DLP) │
│ • Lộ quan hệ K_AB/K_BA │ │ • Khử lộ quan hệ │ │ • Khử tuyệt đối lộ K │
│ • Không kháng SSR │ │ • Dễ bị tổn thương SSR │ │ • KHÁNG SSR, KCI, UKS │
│ • Ký rồi mã hóa (nặng) │ │ • Không có chối từ │ │ • CHỐI TỪ HỢP LÝ (DSC) │
│ • Chi phí: 2 T_EXP │ │ • Chi phí: 2 T_EXP │ │ • TỐI ƯU HÓA T_CRT/EXP │
└────────────────────────┘ └────────────────────────┘ └────────────────────────┘
Implications đa chiều
- Về mặt lý thuyết: Cung cấp mô hình quy giảm an toàn (Security Reduction) mới cho các bài toán kết hợp đa đại số, mở đường cho việc thiết kế các hệ mật mã lai hậu lượng tử.
- Về mặt phương pháp luận: Chuẩn hóa quy trình đánh giá độ an toàn giao thức thông qua kiểm chứng đa nhân tố ($Multi-factor\text{ }Verification$) thay vì kiểm tra đơn luồng.
- Về mặt ứng dụng thực tiễn: Tạo ra giải pháp trực tiếp bảo vệ truyền thông dữ liệu trong hệ thống thông tin chỉ huy quân sự, mạng tác chiến chiến thuật, ngân hàng điện tử và các hạ tầng trọng yếu quốc gia.
- Về mặt chính sách: Cung cấp cơ sở khoa học để các cơ quan quản lý mật mã nhà nước xây dựng tiêu chuẩn kỹ thuật quốc gia về giao thức trao đổi khóa trong chính phủ điện tử.
Limitations và Future Research
Nhìn nhận một cách khách quan và nghiêm túc theo chuẩn mực học thuật quốc tế, luận án có những giới hạn nhất định:
- Giới hạn không gian bài toán tiền lượng tử: Các bài toán khó IFP và DLP tuy an toàn trước máy tính cổ điển nhưng 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ý thuyết đủ lớn.
- Chi phí khởi tạo tham số: Việc sinh đồng thời các số nguyên tố lớn Blum ($p, q \equiv 3 \pmod 4$) và số nguyên tố an toàn $p = qz + 1$ đòi hỏi thời gian $T_{GEN}$ ban đầu cao hơn so với hệ thống sinh khóa đơn lẻ.
- Môi trường thực nghiệm mạng phân tán quy mô lớn: Các đánh giá hiệu năng chủ yếu dừng lại ở phân tích độ phức tạp thời gian lý thuyết và mô phỏng trên các nút mạng độc lập, chưa đo lường độ trễ thực tế trên mạng vệ tinh băng thông hẹp với tỷ lệ mất gói cao.
Chương trình nghiên cứu tiếp nối (Future Research Directions):
- Chuyển đổi khung phân tích sang mật mã học hậu lượng tử (Post-Quantum Cryptography), đặc biệt là đại số lưới (Lattice-based Cryptography như Ring-LWE) và mã hóa đẳng cấu đường cong elliptic (Isogeny-based).
- Nghiên cứu tối ưu hóa phần cứng trên chip FPGA/ASIC chuyên dụng để tăng tốc các phép tính modulo $T_{EXP}$ và $T_{CRT}$.
- Mở rộng giao thức ký mã hóa chối từ sang các hệ thống mạng vạn vật (IoT) và mạng cảm biến không dây (WSN) với tài nguyên cực hạn.
Tác động và ảnh hưởng
Luận án của NCS Đỗ Việt Bình đã tạo dựng một dấu ấn học thuật sâu sắc trong chuyên ngành Cơ sở toán học cho tin học tại Việt Nam. Về mặt học thuật, công trình đóng góp hệ thống bài báo chất lượng cao trên các tạp chí chuyên ngành uy tín thuộc danh mục của Viện Hàn lâm Khoa học và Công nghệ Việt Nam và Bộ Quốc phòng.
Về mặt công nghiệp và quốc phòng, các giao thức đề xuất ($DH-MM-KE$, $DH-MM-SC$, $NGDH1$) cung cấp giải pháp kỹ thuật lõi để tích hợp vào các thiết bị bảo mật truyền thông, phần mềm mã hóa văn thư quân sự và hệ thống phân phối khóa tự động cho các nhóm tác chiến cơ động. Lợi ích xã hội mang lại là việc đảm bảo tính bảo mật và toàn vẹn tuyệt đối của các giao dịch điện tử, ngăn chặn các cuộc tấn công gián điệp mạng quy mô lớn trị giá hàng triệu USD.
Đối tượng hưởng lợi
- Nghiên cứu sinh & Nhà nghiên cứu Mật mã học: Tiếp cận khung phân tích toán học mẫu mực về tích hợp hai bài toán khó và phương pháp chứng minh an toàn giao thức.
- Giảng viên & Học giả cao cấp: Tài liệu tham khảo chuẩn xác để giảng dạy các chuyên đề cao học về Trao đổi khóa có xác thực, Chữ ký số nâng cao và Ký mã hóa đồng thời.
- Kỹ sư R&D An toàn thông tin: Bản thiết kế chi tiết để hiện thực hóa các thư viện mật mã trong các sản phẩm thương mại và quân sự.
- Nhà hoạch định chính sách an ninh mạng: Luận cứ thực chứng để ban hành các quy chuẩn kỹ thuật về mã hóa dữ liệu quốc gia.
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ì?
Đóng góp độc đáo nhất là việc xây dựng thành công cấu trúc chữ ký số lai kết hợp bài toán khai căn bậc hai modulo trên số nguyên tố Blum (Rabin/IFP) và bài toán Logarithm rời rạc trên nhóm con cấp nguyên tố (Schnorr/DLP). Cấu trúc này nâng bậc an toàn của hệ thống lên mức bảo vệ kép: việc giải quyết thành công một bài toán đơn lẻ không thể bẻ gãy giao thức.
2. Đột phá về phương pháp luận so với các nghiên cứu tiền nhiệm?
So với giao thức của Arazi (1993), Harn et al. (1994), Phan (2005) và Liu-Li (2010) vốn chỉ dựa trên DLP đơn lẻ và liên tục bộc lộ lỗ hổng trước các biến thể tấn công KKS, PFS hoặc SSR, luận án đã thiết lập quy trình chứng minh an toàn tích hợp trong mô hình Oracle Ngẫu nhiên, bảo đảm đồng thời các thuộc tính KKS, PFS, KCI, UKS và triệt tiêu mối quan hệ hiển giữa các khóa phiên.
┌─────────────────────────────────────────────────────────┐
│ MA TRẬN KIỂM CHỨNG TÍNH CHẤT AN TOÀN │
└────────────────────────────┬────────────────────────────┘
│
┌───────────────────────┬───────┴───────────────┬───────────────────────┐
▼ ▼ ▼ ▼
┌───────────────┐ ┌───────────────┐ ┌───────────────┐ ┌───────────────┐
│ Known-Key │ │ Perfect │ │ Key Compromise│ │ Unknown Key- │
│ Security │ │ Forward │ │ Impersonation │ │ Share │
│ (KKS) │ │ Secrecy (PFS) │ │ (KCI) │ │ (UKS) │
├───────────────┤ ├───────────────┤ ├───────────────┤ ├───────────────┤
│ Thỏa mãn 100% │ │ Thỏa mãn 100% │ │ Thỏa mãn 100% │ │ Thỏa mãn 100% │
└───────────────┘ └───────────────┘ └───────────────┘ └───────────────┘
3. Phát hiện bất ngờ nhất về mặt toán học và dữ liệu?
Phát hiện bất ngờ nằm ở việc chứng minh rằng việc kết hợp hai bài toán khó không làm tăng gấp đôi thời gian thực thi như trực giác thông thường. Nhờ ứng dụng Định lý thặng dư Trung Hoa ($CRT$) trong lược đồ Rabin và nhóm con cấp nhỏ trong Schnorr, chi phí tính toán thực tế của $DH-MM-SC$ thấp hơn đáng kể so với việc thực hiện tuần tự hai thuật toán độc lập.
4. Giao thức có khả năng tái lập (Replication Protocol) không?
Toàn bộ các bước thuật toán của $DH-MM-KE$, $DH-MM-SC$, $DH-MM-DSC$ và $NGDH1$ đều được mô tả chi tiết bằng các phương trình toán học xác định, bao gồm: thuật toán sinh tham số ($gen$), thủ tục tạo khóa, thủ tục ký/mã hóa ($sc$), giải mã/xác thực ($uc$), cùng các quy tắc chuyển trạng thái trong nhóm động. Bất kỳ nhà nghiên cứu nào cũng có thể hiện thực hóa chính xác trên các ngôn ngữ lập trình như C/C++, Python hoặc hệ thống CAS (Mathematica, Maple).
5. Định hướng nghiên cứu 10 năm tới được phác thảo như thế nào?
Chiến lược 10 năm tập trung vào 3 trục:
- Tích hợp đại số đường cong Elliptic siêu xoắn (Hyperelliptic Curve Cryptography) để rút ngắn độ dài khóa xuống 256-bit mà vẫn duy trì mức an toàn tương đương 3072-bit RSA.
- Thiết kế giao thức trao đổi khóa nhóm không trạng thái (Stateless Group Key Agreement) cho mạng hàng không - không gian (Aero-Space Integrated Networks).
- Chuẩn hóa các thuật toán ký mã hóa chối từ tương thích với kiến trúc mạng 5G/6G Zero-Trust.
Kết luận
- Luận án đã giải quyết trọn vẹn và xuất sắc bài toán nâng cao tính an toàn của giao thức trao đổi khóa thông qua việc kết hợp đồng thời hai bài toán khó kinh điển: Logarithm rời rạc (DLP) và Phân tích thừa số nguyên tố (IFP).
- Thiết kế thành công giao thức trao đổi khóa có xác thực $DH-MM-KE$, loại bỏ hoàn toàn các lỗ hổng lịch sử về lộ quan hệ khóa phiên, đạt chuẩn an toàn KKS, PFS, KCI và SSR.
- Đề xuất giao thức ký mã hóa đồng thời $DH-MM-SC$ và giao thức ký mã hóa có thể chối từ $DH-MM-DSC$ đầu tiên, tối ưu hóa băng thông và chi phí tính toán.
- Xây dựng giao thức trao đổi khóa nhóm cải tiến $NGDH1$ cho nhóm ngang hàng động, giải quyết triệt để vấn đề lộ khóa cặp và tối ưu hóa chi phí tính toán khi thay đổi thành viên.
- Luận án khẳng định tính đúng đắn toán học thông qua các chứng minh hình thức chặt chẽ và mô phỏng thực nghiệm, đặt nền móng vững chắc cho sự phát triển của công nghệ mật mã học bảo mật truyền thông quốc gia.
