Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Nghiên cứu phát triển giao thức trao đổi khóa an toàn" được thực hiện bởi nghiên cứu sinh Đỗ Việt Bình dưới sự hướng dẫn khoa học của TS. Nguyễn Hiếu Minh và TS. Nguyễn Mạnh Linh. Luận án được bảo vệ năm 2018 tại Viện Khoa học và Công nghệ Quân sự, thuộc Bộ Quốc phòng, chuyên ngành Cơ sở toán học cho tin học (mã số: 9 46 01 10).

Về tính cấp thiết và khoảng trống nghiên cứu, tác giả chỉ ra rằng trong bảo vệ an toàn thông tin dữ liệu truyền trên mạng, các biện pháp kỹ thuật và hành chính cần phối hợp với biện pháp thuật toán, trong đó biện pháp thuật toán mang lại hiệu quả kinh tế và kỹ thuật cao. Quá trình trao đổi khóa là khâu thiết yếu đối với cả hệ mật mã khóa đối xứng và hệ mật mã khóa công khai, nhưng đồng thời cũng là khâu xung yếu và dễ bị tổn thương nhất trước các hành vi tấn công chủ động lẫn bị động. Khoảng trống nghiên cứu then chốt mà tác giả xác định là: hầu hết các giao thức trao đổi khóa an toàn có tích hợp chữ ký số hiện hành chỉ dựa trên một bài toán khó duy nhất trong lý thuyết số, chẳng hạn như bài toán logarithm rời rạc (DLP), bài toán phân tích thừa số nguyên tố (IFP), bài toán khai căn bậc hai modulo hay bài toán logarithm rời rạc trên đường cong Elliptic (ECDLP). Đặt trong bối cảnh các thuật toán giải mã và năng lực tính toán không ngừng phát triển, nếu bài toán nền tảng bị giải quyết thì toàn bộ giao thức xây dựng trên nó sẽ mất an toàn. Do đó, yêu cầu cấp thiết đặt ra là phải nghiên cứu phát triển các giao thức trao đổi khóa dựa trên sự kết hợp đồng thời hai bài toán khó để gia tăng độ an toàn.

Mục tiêu nghiên cứu của luận án được xác định gồm các nội dung cụ thể:

  1. Nghiên cứu tổng quan cơ sở lý thuyết về các giao thức trao đổi khóa, lược đồ chữ ký số và cơ sở toán học của các bài toán khó giải trong mật mã học.
  2. Xây dựng các lược đồ chữ ký số mới dựa trên sự kết hợp đồng thời hai bài toán khó (kết hợp Rabin và Schnorr; kết hợp RSA và Schnorr).
  3. Phát triển các giao thức trao đổi khóa an toàn có xác thực (DH-MM-KE) tích hợp các lược đồ chữ ký số kết hợp hai bài toán khó đã đề xuất.
  4. Phát triển các giao thức ký và mã hóa đồng thời dựa trên hai bài toán khó (DH-MM-SC) và giao thức ký và mã hóa đồng thời có thể chối từ (DH-MM-DSC) nhằm nâng cao tính an toàn và khả năng chống lại các cuộc tấn công cưỡng bức.
  5. Nghiên cứu các vấn đề liên quan đến bài toán trao đổi khóa nhóm, từ đó đề xuất giao thức trao đổi khóa nhóm mới (NGDH1) nhằm khắc phục hiện tượng lộ khóa cặp, giảm khối lượng tính toán và tạo điều kiện hoán vị hình thành khóa mới thuận tiện.

Đối tượng nghiên cứu của luận án bao gồm: bài toán trao đổi khóa, các giao thức trao đổi khóa an toàn hai bên và nhóm; các khái niệm đại số và cơ sở toán học liên quan; các lược đồ chữ ký số kinh điển như RSA, Rabin, Schnorr, DSA; các giao thức ký và mã hóa đồng thời (signcryption) và mô hình mã hóa có thể chối từ (deniable encryption).

Phạm vi nghiên cứu của đề tài tập trung vào việc thiết kế và phân tích độ an toàn, độ phức tạp tính toán lý thuyết của các giao thức mật mã khóa công khai dựa trên nhóm nhân hữu hạn $Z_p^*$ và các bài toán khó giải DLP, IFP; đồng thời xây dựng các module thực nghiệm nhằm kiểm tra tính đúng đắn về mặt chức năng của các thuật toán đề xuất.

Tổng quan tài liệu và vị trí của luận án

Trong phần tổng quan tài liệu, tác giả đã hệ thống hóa lịch sử phát triển của các cơ chế trao đổi khóa và chữ ký số từ khi hình thành đến thời điểm nghiên cứu:

  • Các giao thức trao đổi khóa hai bên: W. Diffie và M. Hellman (1976) công bố giao thức trao đổi khóa đầu tiên (DH nguyên thủy), đặt nền móng cho mật mã khóa công khai nhưng chưa có cơ chế xác thực danh tính hai đầu cuối. Philip Zimmermann (1991) phát triển giao thức PGP sử dụng hệ mật khóa công khai để phân phối khóa phiên. A. Menezes, Minghua Qu và S. Vanstone (1995) phân tích các điểm yếu trong giao thức một lần truyền của Nyberg - Rueppel và giao thức hai lần truyền của Goss - Yacobi, từ đó đề xuất giao thức MQV có tính năng xác thực khóa ẩn. Đến năm 2005, Hugo Krawczyk chứng minh MQV không an toàn trước tấn công lộ khóa đã biết (KKS) trên mô hình Canetti - Krawczyk và đề xuất giao thức HMQV dùng hàm băm. P. Augustin và cộng sự (2009) mở rộng thành FHMQV và FHMQV-C có xác nhận khóa. Song song đó, Tseng (2002) phát triển biến thể không dùng hàm băm sinh $n^2$ khóa phiên, Li-Chin Hwang và cộng sự (2013, 2014) lần lượt đề xuất các lược đồ sinh $n^2+n$ và $n^2+1$ khóa phiên để chống tấn công KKS.
  • Các giao thức kết hợp trao đổi khóa Diffie - Hellman và chữ ký số: Arazi (1993) đề xuất tích hợp DHKE với lược đồ chữ ký số DSA bằng cách dùng khóa ngắn hạn một lần (ephemeral key). Nyberg và Rueppel (1994) chứng minh giao thức của Arazi không đạt tính an toàn khóa đã biết. L. Harn và cộng sự (1994) sửa đổi giao thức Arazi bằng cách phân phối đồng thời nhiều cặp khóa công khai trong một phiên để tạo ra $n^2-1$ khóa bí mật, chống được tấn công biết khóa và lặp khóa. Năm 2005, Phan chỉ ra giao thức của Harn thiếu tính an toàn hoàn toàn về phía trước (PFS) và tính tươi của khóa (key freshness), đồng thời đề xuất cải tiến; tuy nhiên giao thức của Phan lại làm phát sinh mối quan hệ tường minh giữa hai khóa phiên $K_{AB}$ và $K_{BA}$. Năm 2010, Jie Liu và Jianhua Li bổ sung hai số nguyên ngẫu nhiên tạm thời để triệt tiêu mối quan hệ hiện giữa hai khóa phiên, song giao thức này vẫn chưa chống được kiểu tấn công tiết lộ trạng thái phiên (Session-State Reveal - SSR).
  • Các nghiên cứu về bài toán khó và chữ ký số: R. Rivest, A. Shamir và L. Adleman (1978) công bố hệ mã RSA dựa trên bài toán phân tích thừa số nguyên tố. M. O. Rabin (1979) đề xuất lược đồ dựa trên bài toán khai căn bậc hai modulo hợp số Blum. C. P. Schnorr phát triển lược đồ chữ ký dựa trên logarithm rời rạc. Viện Tiêu chuẩn và Kỹ thuật Quốc gia Hoa Kỳ (NIST) chuẩn hóa thuật toán DSA năm 1991 (FIPS 186, 186-1, 186-2, 186-3). Về phương diện an toàn, S. Goldwasser, S. Micali và R. Rivest (1984) đã xây dựng mô hình phân cấp các dạng tấn công và định nghĩa độ an toàn chống giả mạo thông điệp lựa chọn thích ứng (ACMA).
  • Các thuật toán giải bài toán khó: Hendrik Lenstra Jr. (1985) đề xuất phương pháp phân tích thừa số trên đường cong elliptic (ECM). Dự án ECMNET (1998) và N. Mizony (1999) đã tìm ra các thừa số nguyên tố lớn từ 50 đến 54 chữ số. Thuật toán sàng bậc hai (QS) và sàng trường số (NFS) được sử dụng để phân tích các hợp số lớn (từ 71 chữ số năm 1984 lên 155 chữ số / 512 bit năm 1999). Đối với bài toán DLP, phương pháp số nguyên Gaussian của Brian La Macchia và Andrew Odlyzko (1990) cùng kết quả giải McCurley Diffie - Hellman Challenge của Weber và Denny (1998) với số nguyên tố 129 chữ số thập phân đã chứng minh yêu cầu an toàn phải sử dụng modulo từ 1024 bit trở lên.
  • Giao thức trao đổi khóa nhóm: Nghiên cứu của M. Steiner, G. Tsudik và M. Waidner (giao thức IKA.1, IKA.2 thuộc họ Group Diffie - Hellman - GDH) cung cấp khuôn khổ thỏa thuận khóa nhóm ban đầu (IKA) và các hoạt động bổ trợ nhóm động (AKA).

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết bao gồm:

  1. Thiếu các lược đồ chữ ký số kết hợp giải quyết đồng thời hai bài toán khó (Rabin - Schnorr và RSA - Schnorr) nhằm bảo đảm nếu một bài toán bị phá vỡ thì hệ thống vẫn duy trì tính bảo mật.
  2. Tồn tại lỗ hổng trong các giao thức DHKE tích hợp chữ ký số trước đó (mối quan hệ hiện giữa hai khóa phiên ở giao thức Phan, sự thiếu vắng khả năng chống tấn công SSR ở giao thức Liu - Li).
  3. Sự hạn chế của mô hình "ký rồi mã hóa" truyền thống và sự thiếu vắng cơ chế ký và mã hóa đồng thời có tính năng chối từ hợp lý (plausible deniability) để chống các cuộc tấn công cưỡng bức chủ động.
  4. Hiện tượng lộ khóa cặp và độ phức tạp tính toán cao khi xử lý thay đổi thành viên trong các giao thức trao đổi khóa nhóm hiện hành dựa trên GDH.

Cơ sở lý thuyết và phương pháp nghiên cứu

Luận án dựa trên các cơ sở toán học và lý thuyết mật mã sau:

  • Lý thuyết nhóm và đại số số học: Cấu trúc nhóm nhân hữu hạn $Z_p^*$ với số nguyên tố lớn $p$, phần tử sinh $g$ bậc $q$; định lý Fermat nhỏ, định lý phần dư Trung Hoa (CRT), hàm phi Euler $\phi(n)$.
  • Hai bài toán khó giải:
    • Bài toán logarithm rời rạc (DLP): Cho số nguyên tố $p$, phần tử sinh $g \in Z_p^$ và $\beta \in Z_p^$, tìm số nguyên dương $a \in Z_p^*$ sao cho $g^a \equiv \beta \pmod p$.
    • Bài toán phân tích thừa số nguyên tố (IFP): Cho số nguyên $n = p \times q$ (với $p, q$ là các số nguyên tố lớn), tìm các thừa số $p$ và $q$. Đi kèm với bài toán này là bài toán tìm căn bậc hai modulo hợp số $x^2 \equiv c \pmod n$ trong hệ mật Rabin với $p, q \equiv 3 \pmod 4$ (số nguyên tố Blum).
  • Khung phân loại an toàn cho chữ ký số và trao đổi khóa:
    • Các dạng tấn công chữ ký số theo Goldwasser - Micali - Rivest: Tấn công chỉ biết khóa (KOA), tấn công thông điệp đã biết (KMA), tấn công thông điệp lựa chọn tổng quát (GCMA), tấn công thông điệp lựa chọn trực tiếp (DCMA), tấn công thông điệp lựa chọn thích ứng (ACMA). Các mức độ phá vỡ: Phá vỡ hoàn toàn (TB), giả mạo tổng quát (UF), giả mạo có lựa chọn (SF), tồn tại giả mạo (EF).
    • Các thuộc tính an toàn của giao thức trao đổi khóa: Độ an toàn khóa đã biết (KKS), an toàn hoàn toàn về phía trước (PFS), tính độc lập khóa, khả năng chối từ hợp lý, bảo vệ định danh, kiểm soát khóa, chống tấn công kẻ đứng giữa (MITM), chống tấn công tiết lộ trạng thái phiên (SSR), chống tấn công cưỡng bức chủ động/bị động, chống tấn công không biết khóa chia sẻ (UKS), chống tấn công từ chối dịch vụ (DoS), chống tấn công lặp lại (Replay), chống tấn công phản xạ (Reflection), chống giả mạo khóa thỏa thuận (KCI), xác thực khóa ẩn (IKA), xác nhận khóa hiện (EKC), xác nhận khóa ẩn (IKC), xác thực khóa hiện (EKA) và thỏa thuận khóa có xác thực cùng xác nhận khóa (AKAKC).
  • Mô hình trao đổi khóa nhóm động (DPG): Phân đoạn khởi tạo khóa ban đầu (IKA) và các hoạt động bổ trợ trao đổi khóa (AKA) khi nhóm có biến động thành viên.

Phương pháp nghiên cứu kết hợp giữa lý thuyết và thực nghiệm:

  • Phương pháp nghiên cứu lý thuyết: Tác giả sử dụng các công cụ của đại số trừu tượng, lý thuyết số và lý thuyết độ phức tạp tính toán. Tiến hành thiết kế thuật toán, xây dựng các bước chứng minh tính đúng đắn toán học của các lược đồ chữ ký và giao thức trao đổi khóa; đánh giá khả năng kháng các dạng tấn công mật mã theo mô hình chuẩn; phân tích độ phức tạp thời gian thông qua các phép toán cơ bản gồm: thời gian sinh số nguyên tố ngẫu nhiên ($T_{GEN}$), phép tính lũy thừa modulo ($T_{EXP}$), phép nhân modulo ($T_{MUL}$), hàm băm ($T_H$), phép tính nghịch đảo modulo ($T_{INV}$) và phép tính thặng dư Trung Hoa ($T_{CRT}$).
  • Phương pháp thực nghiệm: Xây dựng các module chương trình thử nghiệm để cài đặt các bước của thuật toán, kiểm tra tính khả thi và đo đạc tính đúng đắn trong quá trình thực thi các giao thức đề xuất.
  • Nguồn tư liệu và dữ liệu: Dữ liệu xuất phát từ các tiêu chuẩn công nghiệp và mật mã học quốc tế như IEEE P1363, FIPS 186 (186-1, 186-2, 186-3), tài liệu hướng dẫn NIST 800-57, cùng các kết quả thực nghiệm phân tích thừa số nguyên tố và giải logarithm rời rạc từ các thử nghiệm quốc tế được công bố trong giai đoạn 1984 - 1999.

Nội dung chính theo từng chương

Chương I: TỔNG QUAN VỀ VẤN ĐỀ NGHIÊN CỨU

Chương này trình bày cơ sở lý thuyết tổng quan về bài toán trao đổi khóa và lược đồ chữ ký số. Tác giả diễn giải chi tiết giao thức trao đổi khóa Diffie - Hellman nguyên thủy (1976) trên nhóm $Z_p^*$ với số nguyên tố $p \ge 1024\text{ bit}$ và phần tử sinh $g$, phân tích cơ chế tính toán khóa chia sẻ chung $K_{AB} = (y_B)^{x_A} = (g^{x_B})^{x_A} \equiv g^{x_A x_B} \pmod p$. Tác giả chỉ ra nhược điểm cốt lõi của giao thức DH nguyên thủy là không có cơ chế xác thực danh tính các thực thể, dẫn đến việc dễ bị tấn công kẻ đứng giữa (MITM).

Tiếp đó, chương làm rõ các tiêu chuẩn và tính chất bảo mật của giao thức trao đổi khóa, phân biệt giữa giao thức chuyển khóa (Key Transport) và thỏa thuận khóa (Key Agreement), định nghĩa các khái niệm xác thực khóa ẩn, xác nhận khóa hiện, tính an toàn khóa đã biết (KKS), an toàn phía trước (PFS), an toàn chống lộ trạng thái phiên (SSR) và chống tấn công không biết khóa chia sẻ (UKS). Trong bài toán trao đổi khóa nhóm, tác giả phân tích cấu trúc của nhóm ngang hàng động (DPG), làm rõ hai giai đoạn gồm khởi tạo khóa ban đầu (IKA) và hoạt động phụ trợ trao đổi khóa (AKA) khi nhóm có biến động thành viên (thêm, bớt, hợp nhất, phân chia nhóm).

Ở phần cơ sở toán học, chương trình bày chi tiết về hai bài toán khó: bài toán logarithm rời rạc (DLP) và bài toán phân tích thừa số nguyên tố (IFP). Tác giả phân tích các dạng thuật toán tấn công chuyên dụng và đa dụng, đặc biệt là phương pháp index-calculus, thuật toán sàng bậc hai (QS) và thuật toán sàng trường số (NFS). Để làm rõ mức độ phức tạp và yêu cầu độ dài khóa, tác giả tổng hợp dữ liệu lịch sử các mốc phân tích thừa số nguyên tố từ năm 1984 đến năm 1999 như sau:

Năm Số lượng chữ số thập phân Số lượng bit Năng lực tính toán (MIPS years)
1984 71 236 0.1
1988 106 352 140
1993 120 399 825
1994 129 429 5000
1995 119 395 250
1996 130 432 750
1999 140 466 2000
1999 155 512 8000

Từ các số liệu trên, tác giả khẳng định các tham số modulo $n$ có kích thước 512 bit không còn bảo đảm an toàn, và khuyến nghị độ dài tối thiểu phải từ 1024 bit trở lên. Cuối chương, tác giả trình bày thủ tục tạo khóa, ký, xác thực, chứng minh tính đúng đắn và phân tích độ an toàn của bốn lược đồ chữ ký số tiêu biểu: DSA, Rabin, Schnorr và RSA.

Chương II: PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA CÓ XÁC THỰC DỰA TRÊN HAI BÀI TOÁN KHÓ

Chương II tập trung nghiên cứu, thiết kế và đánh giá các giải pháp kỹ thuật nhằm kết hợp hai bài toán khó vào một hệ thống bảo mật:

  1. Đề xuất hai lược đồ chữ ký số mới dựa trên hai bài toán khó:
    • Lược đồ thứ nhất: Kết hợp bài toán khai căn bậc hai modulo hợp số của Rabin và bài toán logarithm rời rạc của Schnorr. Người ký sử dụng cặp khóa gắn liền với modulo hợp số $n = p \times q$ (với $p, q \equiv 3 \pmod 4$) và nhóm con cấp nguyên tố $q$ của trường hữu hạn.
    • Lược đồ thứ hai: Kết hợp bài toán phân tích thừa số nguyên tố RSA và bài toán logarithm rời rạc Schnorr. Khóa bí mật bao gồm số mũ giải mã RSA $d$ thỏa mãn $e \cdot d \equiv 1 \pmod{\phi(n)}$ kết hợp với thành phần khóa bí mật Schnorr $x$. Tác giả tiến hành chứng minh tính đúng đắn toán học của quá trình ký và xác thực chữ ký cho cả hai lược đồ.
  2. Đánh giá khả năng bảo mật của lược đồ chữ ký số đề xuất: Phân tích chứng minh lược đồ kháng được các kiểu tấn công KOA, KMA, GCMA, DCMA và đạt mức an toàn chống lại tấn công thông điệp lựa chọn thích ứng (ACMA). Kẻ tấn công muốn phá vỡ hoàn toàn (TB) hoặc giả mạo chữ ký (UF, SF, EF) buộc phải giải quyết đồng thời cả hai bài toán khó; nếu một trong hai bài toán bị giải thì hệ thống vẫn duy trì tính bảo mật nhờ bài toán còn lại.
  3. Xây dựng giao thức trao đổi khóa có xác thực DH-MM-KE: Tác giả tích hợp lược đồ chữ ký số kết hợp hai bài toán khó vào giao thức Diffie - Hellman có xác thực. Giao thức cho phép hai bên trao đổi các tham số công khai ngắn hạn, đồng thời ký xác thực các thành phần trao đổi này bằng khóa ký kết hợp hai bài toán khó.
  4. Đánh giá giao thức DH-MM-KE:
    • Về bảo mật: Giao thức đạt các tính chất an toàn khóa đã biết (KKS), an toàn hoàn toàn về phía trước (PFS), độc lập khóa phiên, chống tấn công kẻ đứng giữa (MITM), chống tấn công lặp lại (dùng nhãn thời gian hoặc session ID), chống tấn công không biết khóa chia sẻ (UKS) và chống tấn công lộ trạng thái phiên (SSR). Khắc phục được nhược điểm lộ mối quan hệ hiện giữa hai khóa phiên của giao thức Phan và bổ sung khả năng chống tấn công SSR mà giao thức Liu - Li chưa có.
    • Về hiệu năng: Tác giả lập bảng so sánh độ phức tạp tính toán thời gian của giao thức DH-MM-KE với các giao thức tiền nhiệm thông qua số lượng phép tính $T_{EXP}$, $T_{MUL}$, $T_H$, $T_{INV}$ và $T_{CRT}$, chứng minh rằng mức độ gia tăng chi phí tính toán là chấp nhận được để đổi lấy mức độ an toàn cao hơn.

Chương III: PHÁT TRIỂN GIAO THỨC KÝ VÀ MÃ HÓA ĐỒNG THỜI DỰA TRÊN HAI BÀI TOÁN KHÓ

Chương III giải quyết bài toán tối ưu hóa giữa bảo mật và hiệu năng truyền thông thông qua kỹ thuật ký và mã hóa đồng thời (signcryption):

  1. Phân tích mô hình ký rồi mã hóa truyền thống (Sign-then-Encrypt): Tác giả chỉ ra nhược điểm của mô hình truyền thống là tiêu tốn nhiều tài nguyên tính toán và làm tăng độ dài thông điệp gửi đi (overhead băng thông), do phải thực hiện hai bước thuật toán độc lập và gửi kèm cả bản mã lẫn chữ ký số. Mô hình ký và mã hóa đồng thời tích hợp hai chức năng vào một bước tính toán duy nhất, giúp tiết kiệm chi phí tính toán và giảm kích thước dữ liệu truyền trên kênh.
  2. Đề xuất giao thức ký và mã hóa đồng thời DH-MM-SC: Dựa trên lược đồ chữ ký kết hợp ở Chương II, tác giả xây dựng thuật toán ký - mã hóa ($sc$) ở phía gửi và thuật toán giải mã - xác thực ($uc$) ở phía nhận. Phân tích độ an toàn cho thấy DH-MM-SC cung cấp đồng thời tính bí mật, tính toàn vẹn, tính xác thực nguồn gốc và tính chống chối bỏ dựa trên độ khó đồng thời của IFP và DLP. Bảng đánh giá chi phí tính toán và kích thước bản mã cho thấy DH-MM-SC tối ưu hơn so với việc áp dụng tuần tự hai thuật toán riêng biệt.
  3. Đề xuất giao thức ký và mã hóa đồng thời có thể chối từ DH-MM-DSC: Tác giả mở rộng giao thức để giải quyết bài toán chống tấn công cưỡng bức (coercion attack). Trong kịch bản tấn công cưỡng bức chủ động hoặc bị động, kẻ tấn công ép buộc người gửi hoặc người nhận phải tiết lộ khóa bí mật hoặc bản rõ đã truyền. Giao thức DH-MM-DSC được thiết kế với cơ chế chối từ hợp lý (plausible deniability): người gửi có thể tạo ra các thành phần mã hóa sao cho khi bị cưỡng bức mở khóa, họ có thể đưa ra một khóa ngẫu nhiên khác để giải mã ra một bản rõ ngụy trang hợp lệ mà kẻ tấn công không thể phân biệt được bằng phép thử đa thức. Đây là giao thức ký và mã hóa đồng thời đầu tiên cung cấp khả năng chối từ dựa trên hai bài toán khó.
  4. Đánh giá hiệu năng và kích thước bản ký mã hóa: Tác giả xây dựng các bảng số liệu chi tiết về độ phức tạp thời gian và độ dài chuỗi bit của bản mã sinh ra từ DH-MM-SC và DH-MM-DSC, chứng minh tính khả thi kỹ thuật của mô hình.

Chương IV: PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA NHÓM

Chương IV chuyển trọng tâm nghiên cứu sang bài toán thỏa thuận khóa trong các mạng truyền thông nhóm ngang hàng động (DPG):

  1. Phân tích các giao thức trao đổi khóa nhóm GDH hiện có: Tác giả khảo sát chi tiết giao thức IKA.1 và IKA.2 của Steiner và cộng sự. Trong các giao thức này, các thành viên truyền tin tuần tự qua nhiều chặng (rounds) để tính toán lũy thừa modulo kế tiếp nhằm hình thành khóa nhóm. Tác giả chỉ ra hai hạn chế lớn của IKA:
    • Nguy cơ làm lộ khóa cặp giữa các thành viên trung gian trong quá trình trao đổi thông tin.
    • Chi phí tính toán và truyền thông trong giai đoạn hoạt động phụ trợ (AKA) rất lớn khi nhóm có sự thay đổi (thêm thành viên mới hoặc loại bỏ thành viên cũ), do phải thiết lập lại cấu trúc liên lạc phức tạp.
  2. Đề xuất giao thức trao đổi khóa nhóm NGDH1: Tác giả thiết kế cấu trúc luân chuyển thông điệp và cơ chế tính toán mới giữa các thành viên nhóm. Giao thức cho phép các thành viên kết hợp các phần tử ngẫu nhiên của mình vào khóa nhóm mà không làm lộ các giá trị bí mật trung gian.
  3. Đánh giá giao thức NGDH1:
    • Không để lộ khóa cặp: Cơ chế biến đổi modulo đảm bảo không bên nào ngoài hai đối tượng liên quan có thể suy diễn được khóa thành phần của nhau.
    • Dễ dàng hoán vị để hình thành khóa mới: Khi có sự kiện thay đổi thành viên trong giai đoạn AKA (thành viên gia nhập hoặc rời nhóm), nhóm chỉ cần thực hiện việc hoán vị và cập nhật thành phần khóa với số lượng bước trao đổi tối thiểu, không cần chạy lại toàn bộ quy trình IKA từ đầu.
    • Đánh giá độ phức tạp: Tác giả so sánh độ phức tạp của NGDH1 với IKA.1 và IKA.2, chứng minh giao thức đề xuất giảm thiểu số lượng phép tính lũy thừa modulo ($T_{EXP}$) và số lượng thông điệp truyền trên mạng đối với nhóm có $n$ thành viên.

Kết quả và những đóng góp mới

Căn cứ vào nội dung văn bản luận án, các kết quả và đóng góp mới của công trình bao gồm:

  1. Về mặt lý luận:
    • Xây dựng hai lược đồ chữ ký số mới tích hợp đồng thời hai bài toán khó: kết hợp bài toán khai căn modulo của Rabin với logarithm rời rạc của Schnorr; và kết hợp bài toán phân tích thừa số nguyên tố RSA với logarithm rời rạc Schnorr. Các lược đồ này được chứng minh toán học đạt mức an toàn chống lại tấn công thông điệp lựa chọn thích ứng (ACMA).
    • Thiết lập giao thức trao đổi khóa có xác thực DH-MM-KE trên cơ sở tích hợp lược đồ chữ ký số kết hợp hai bài toán khó. Giao thức khắc phục được nhược điểm tồn tại mối quan hệ hiện giữa hai khóa phiên của giao thức Phan (2005) và bổ sung khả năng chống tấn công lộ trạng thái phiên (SSR) mà giao thức Liu - Li (2010) chưa đáp ứng được.
    • Xây dựng giao thức ký và mã hóa đồng thời DH-MM-SC dựa trên hai bài toán khó, giúp giảm thiểu độ phức tạp tính toán và chi phí truyền thông so với mô hình ký rồi mã hóa truyền thống.
    • Đề xuất giao thức ký và mã hóa đồng thời có thể chối từ DH-MM-DSC dựa trên hai bài toán khó. Đây là giao thức ký mã hóa đồng thời đầu tiên cung cấp tính năng chối từ hợp lý, cho phép chống lại các cuộc tấn công cưỡng bức chủ động và bị động.
    • Xây dựng giao thức trao đổi khóa nhóm NGDH1 cải tiến từ họ giao thức GDH, loại bỏ nguy cơ lộ khóa cặp giữa các thành viên và tối ưu hóa thủ tục hoán vị tạo khóa mới trong các hoạt động phụ trợ thay đổi thành viên nhóm (AKA).
  2. Về mặt thực tiễn và kiến nghị giải pháp:
    • Xây dựng các module phần mềm thực nghiệm để kiểm tra và xác nhận tính đúng đắn chức năng của các thuật toán đề xuất.
    • Đề xuất các giải pháp kỹ thuật có khả năng áp dụng trực tiếp vào việc bảo vệ an toàn truyền thông dữ liệu trong các hệ thống mạng quân sự và dân sự, các nhóm truyền thông ngang hàng động (DPG), nơi đòi hỏi mức độ an toàn cao trước nguy cơ các bài toán mật mã đơn lẻ bị hóa giải trong tương lai.

Hạn chế và hướng nghiên cứu tiếp

Dựa trên các nội dung được trình bày trong phạm vi văn bản luận án, các hạn chế và hướng nghiên cứu tiếp theo được ghi nhận như sau:

  • Hạn chế:
    • Việc kết hợp hai bài toán khó giải (Rabin/RSA kết hợp Schnorr) vào cùng một lược đồ chữ ký và giao thức trao đổi khóa đòi hỏi hệ thống phải quản lý đồng thời hai tập tham số khóa và thực hiện nhiều phép tính toán số học trên trường hữu hạn hơn, dẫn đến độ phức tạp tính toán và dung lượng lưu trữ khóa lớn hơn so với các hệ mật mã đơn lẻ truyền thống.
    • Các thử nghiệm thực nghiệm trong luận án chủ yếu tập trung vào việc xây dựng các module nhằm kiểm tra tính đúng đắn về mặt chức năng của giao thức, chưa triển khai đo đạc hiệu năng diện rộng trên các hạ tầng mạng thực tế quy mô lớn hoặc các thiết bị di động có tài nguyên tính toán hạn chế.
  • Hướng nghiên cứu tiếp:
    • Tối ưu hóa các thuật toán tính toán số học modulo để giảm thời gian thực thi của các giao thức DH-MM-KE, DH-MM-SC và DH-MM-DSC.
    • Tiếp tục nghiên cứu mở rộng mô hình kết hợp bài toán khó sang các cấu trúc đại số khác, chẳng hạn như mật mã trên đường cong Elliptic (ECC) hoặc mật mã hậu lượng tử.
    • Triển khai ứng dụng và đánh giá giao thức NGDH1 trong các kịch bản mạng định hướng nhóm cụ thể với số lượng nút mạng lớn và độ trễ thay đổi liên tục.

Giá trị tham khảo

Luận án là tài liệu tham khảo hữu ích cho các đối tượng chuyên môn sau:

  • Nghiên cứu sinh, học viên cao học và sinh viên chuyên ngành Cơ sở toán học cho tin học, An toàn thông tin và Mật mã học: Công trình cung cấp hệ thống cơ sở lý thuyết đầy đủ về các bài toán khó DLP, IFP; quy trình thiết kế, chứng minh tính đúng đắn và đánh giá độ an toàn của lược đồ chữ ký số và giao thức trao đổi khóa theo các tiêu chuẩn quốc tế.
  • Giảng viên và các nhà nghiên cứu an toàn mạng: Cung cấp phương pháp luận chi tiết trong việc phân tích các lỗ hổng mật mã của các giao thức đã công bố (như giao thức Arazi, Harn, Phan, Liu - Li, IKA) và kỹ thuật kết hợp đa bài toán khó để nâng cấp độ an toàn giao thức.
  • Kỹ sư phát triển phần mềm an toàn thông tin và chuyên gia thiết kế hệ thống bảo mật: Các nội dung kỹ thuật tại Chương II (giao thức DH-MM-KE), Chương III (giao thức DH-MM-SC và DH-MM-DSC) và Chương IV (giao thức NGDH1) là tài liệu tham khảo trực tiếp cho việc xây dựng các module trao đổi khóa hai bên, ký mã hóa đồng thời chống cưỡng bức và thiết lập khóa phiên cho các nhóm làm việc động trong môi trường truyền thông không an toàn.

Câu hỏi thường gặp

1. Tại sao tác giả cho rằng việc kết hợp đồng thời hai bài toán khó (DLP và IFP) là cần thiết cho giao thức trao đổi khóa?

Theo tác giả, các giao thức trao đổi khóa an toàn hiện nay hầu hết chỉ dựa trên một bài toán khó duy nhất (hoặc DLP hoặc IFP). Khi năng lực tính toán và các thuật toán giải mã phát triển (như các thuật toán sàng trường số NFS, thuật toán ECM), nếu một bài toán khó bị giải quyết thì toàn bộ các giao thức xây dựng trên bài toán đó sẽ bị phá vỡ hoàn toàn. Việc kết hợp hai bài toán khó bảo đảm rằng hệ thống mật mã chỉ bị phá vỡ khi kẻ tấn công giải được đồng thời cả hai bài toán; nếu một trong hai bài toán bị hóa giải thì giao thức vẫn duy trì được tính bảo mật.

2. Giao thức trao đổi khóa DH-MM-KE ở Chương II đã khắc phục những điểm yếu cụ thể nào của các giao thức tiền nhiệm?

Giao thức DH-MM-KE khắc phục hai hạn chế kỹ thuật lớn của các nghiên cứu trước đó:

  • Khắc phục mối quan hệ hiện (explicit relation) giữa hai khóa phiên $K_{AB}$ và $K_{BA}$ vốn tồn tại trong giao thức của Phan (2005).
  • Bổ sung khả năng chống tấn công tiết lộ trạng thái phiên (Session-State Reveal - SSR) mà giao thức cải tiến của Jie Liu và Jianhua Li (2010) chưa giải quyết được.

3. Điểm đặc thù của giao thức DH-MM-DSC được đề xuất trong Chương III là gì?

DH-MM-DSC là giao thức ký và mã hóa đồng thời (signcryption) có khả năng chối từ (plausible deniability) đầu tiên được xây dựng trên cơ sở hai bài toán khó. Tính năng này cho phép bên gửi chống lại các cuộc tấn công cưỡng bức chủ động và bị động bằng cách tạo ra khả năng mở khóa thông điệp thành một bản rõ ngụy trang hợp lệ khác khi bị ép buộc, khiến kẻ tấn công không thể xác định được tính trung thực của người gửi.

4. Giao thức NGDH1 ở Chương IV giải quyết những vấn đề gì của giao thức trao đổi khóa nhóm IKA?

Giao thức NGDH1 giải quyết hai nhược điểm của họ giao thức IKA (IKA.1 và IKA.2 của Steiner và cộng sự):

  • Loại bỏ nguy cơ để lộ khóa cặp giữa các thành viên trung gian trong quá trình trao đổi dữ liệu chặng.
  • Tối ưu hóa cấu trúc tính toán và giảm số lượng bản tin trao đổi trong giai đoạn AKA, cho phép dễ dàng hoán vị và tính toán lại khóa nhóm khi có sự biến động thành viên (thêm hoặc bớt người tham gia) mà không cần chạy lại toàn bộ quy trình khởi tạo từ đầu.

5. Dữ liệu lịch sử phân tích thừa số nguyên tố giai đoạn 1984 - 1999 trong luận án phản ánh điều gì về độ dài khóa an toàn?

Dữ liệu lịch sử tại Bảng 1.1 cho thấy kích thước hợp số được phân tích thành công tăng từ 71 chữ số thập phân (236 bit) năm 1984 lên 155 chữ số thập phân (512 bit) vào năm 1999 nhờ sự phát triển của thuật toán NFS và tính toán phân tán. Điều này chứng minh rằng các hệ mật sử dụng modulo 512 bit không còn an toàn và đặt ra yêu cầu bắt buộc các tham số modulo an toàn phải có độ dài từ 1024 bit trở lên.

Kết luận

Luận án "Nghiên cứu phát triển giao thức trao đổi khóa an toàn" của tác giả Đỗ Việt Bình đã giải quyết trọn vẹn bài toán nâng cao độ an toàn cho các giao thức mật mã thông qua việc tích hợp đồng thời hai bài toán khó giải là logarithm rời rạc và phân tích thừa số nguyên tố. Tác giả đã thiết kế thành công hai lược đồ chữ ký số kết hợp, giao thức trao đổi khóa có xác thực DH-MM-KE, các giao thức ký mã hóa đồng thời DH-MM-SC và DH-MM-DSC có tính năng chối từ, cùng giao thức trao đổi khóa nhóm NGDH1 tối ưu cho mạng ngang hàng động. Toàn bộ các đề xuất đều được chứng minh tính đúng đắn toán học, đánh giá độ an toàn theo mô hình lý thuyết mật mã chuẩn và kiểm tra chức năng bằng các module thực nghiệm. Công trình là tài liệu khoa học có hệ thống, đóng góp thiết thực cho lĩnh vực Cơ sở toán học cho tin học và an toàn thông tin mạng.