Tổng quan về luận án

Kỹ thuật truyền thông số truyền thống vận hành chủ yếu dựa trên cơ chế lưu trữ và chuyển tiếp (Store-and-Forward), trong đó các nút mạng trung gian chỉ đóng vai trò định tuyến hoặc nhân bản gói tin (trong truyền thông đa hướng - Multicast) mà không thực hiện bất kỳ phép biến đổi toán học nào lên nội dung dữ liệu. Sự phát triển đột phá của lý thuyết dòng thông tin mạng (Network Information Flow) do Ahlswede, Cai, Li và Yeung khởi xướng năm 2000 [17] đã tạo nên một cuộc cách mạng tư duy: cho phép các nút mạng trung gian kết hợp, xử lý và mã hóa các luồng dữ liệu trước khi chuyển tiếp. Kỹ thuật này, được định danh là Mã mạng (Network Coding - NC), đã chứng minh khả năng đạt tới giới hạn luồng tối đa - lát cắt tối thiểu (Max-flow Min-cut bound), tối ưu hóa thông lượng và nâng cao tính bền vững (robustness) của toàn hệ thống viễn thông.

Tuy nhiên, khoảng trống nghiên cứu (Research Gap) cốt lõi tồn tại trong phần lớn các công trình kinh điển là việc xử lý dữ liệu tại các nút trung gian chủ yếu giới hạn ở phép toán XOR nhị phân hoặc mã mạng tuyến tính ngẫu nhiên (Random Linear Network Coding - RLNC) trên các trường Galois $GF(2^m)$ [22, 28]. Cách tiếp cận này bộc lộ sự hạn chế khi mở rộng sang các bài toán an ninh mạng, bảo mật thông tin nội tại và tích hợp với các hệ mật mã hiện đại. Các cấu trúc đại số trừu tượng như vành số $\mathbb{Z}_n$, vành đa thức $\mathbb{Z}_2[x]/(x^n + 1)$, trường đa thức và nhóm điểm trên đường cong Elliptic sở hữu những đặc tính đại số chặt chẽ, hỗ trợ các phép biến đổi phi tuyến và tuyến tính phức tạp nhưng chưa được hệ thống hóa đầy đủ để ứng dụng vào cơ chế mã mạng kết hợp bảo mật. Luận án tiến sĩ kỹ thuật chuyên ngành Kỹ thuật Điện tử (Mã số: 9.03) của Nghiên cứu sinh Phạm Long Âu, dưới sự hướng dẫn khoa học của TS. Ngô Đức Thiện và TS. Nguyễn Lê Cường tại Học viện Công nghệ Bưu chính Viễn thông (Hà Nội, 2022), mang tiêu đề "Mã mạng trên một số cấu trúc đại số" đã giải quyết trực tiếp khoảng trống học thuật này.

Luận án thiết lập 03 câu hỏi nghiên cứu (Research Questions - RQ) và 03 giả thuyết khoa học (Hypotheses - H) tương ứng:

  • RQ1: Làm thế nào để xây dựng các hàm mã hóa mạng hiệu quả dựa trên cấu trúc nhóm cộng và nhóm nhân của vành số $\mathbb{Z}_n$, vành đa thức và trường đa thức?
    • H1: Các phép toán đại số modulo trên vành số và vành đa thức $\mathbb{Z}_2[x]/(x^n + 1)$ cho phép thiết lập các cơ chế mã mạng có độ phức tạp tính toán thời gian đa thức $O((\lg n)^2)$ trong khi vẫn bảo toàn khả năng giải mã chính xác tại nút đích.
  • RQ2: Mô hình mã mạng dựa trên nhóm cộng các điểm trên đường cong Elliptic $E_p(a, b)$ có thể hiện thực hóa như thế nào nhằm nâng cao độ an toàn lớp vật lý và lớp mạng?
    • H2: Cấu trúc nhóm Abel hữu hạn của đường cong Elliptic trên trường hữu hạn cung cấp không gian trạng thái đủ lớn để kết hợp gói tin mà không làm gia tăng kích thước tiêu đề gói dữ liệu.
  • RQ3: Làm thế nào để tích hợp bài toán Logarit rời rạc (Discrete Logarithm Problem - DLP) và các hệ mật khóa công khai vào kiến trúc mã mạng nhằm ngăn chặn tấn công nghe lén (Eavesdropping)?
    • H3: Sự kết hợp giữa cơ chế mã mạng với hệ mật Omura-Massey (không cần phân phối khóa trước) và hệ mật ElGamal sẽ tạo ra mô hình mã mạng an toàn có khả năng chống lại các nút trung gian không tin cậy (Untrusted Intermediate Nodes).

Khung lý thuyết của nghiên cứu tích hợp Lý thuyết Thông tin Shannon (Shannon 1948-1949), Lý thuyết Dòng thông tin mạng (Ahlswede et al. 2000), Lý thuyết Đại số trừu tượng và Mật mã học bất đối xứng. Luận án mang lại những đóng góp đột phá có thể định lượng: chứng minh việc giảm 25% số phiên truyền dẫn (từ 4 phiên xuống còn 3 phiên) trong mô hình vô tuyến chuyển tiếp hai chiều (Two-Way Relay Network), giảm 33.3% độ trễ truyền dữ liệu (từ 3 đơn vị thời gian xuống 2 đơn vị thời gian) trên topo mạng đa hướng, đồng thời xây dựng thành công giải pháp bảo mật dữ liệu đầu-cuối không cần kênh truyền khóa bí mật riêng biệt. Phạm vi nghiên cứu bao quát từ mô hình hóa toán học giải tích, thiết kế thuật toán đến thử nghiệm mô phỏng trên các tập tham số đại số cụ thể.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết thông tin bắt đầu từ các công trình đặt nền móng của Hartley R. (1928), Kotelnikov V.A. (1933, 1946) về khả năng thông qua của kênh truyền và lý thuyết thế chống nhiễu, cùng công trình vĩ đại của Shannon C.E. (1948-1949) thiết lập các định lý mã hóa nguồn (Source Coding) và mã hóa kênh (Channel Coding). Trong mô hình cổ điển, mã hóa nguồn tối ưu hóa việc nén dữ liệu tại nguồn phát nhằm triệt tiêu độ dư thừa (Entropy $H(X)$), còn mã hóa kênh bổ sung các bit kiểm tra dư thừa để bảo vệ thông tin trước tác động của nhiễu vật lý. Khi thông tin được định tuyến qua mạng máy tính, các bit độc lập được xem như những "nguyên tử thông tin" (Information Atoms) được vận chuyển thụ động.

Năm 2000, Ahlswede, Cai, Li và Yeung [17] công bố công trình kinh điển "Network information flow", chứng minh rằng việc cho phép các nút mạng trung gian đại số hóa và kết hợp các luồng dữ liệu nhận được sẽ giúp thông lượng mạng đạt tới giới hạn dòng chảy tối đa (Max-flow bound), vượt qua giới hạn mà kỹ thuật định tuyến truyền thống (Routing) có thể đạt được. Tiếp nối thành tựu này, dòng nghiên cứu phát triển thành các nhánh chính:

  1. Mã mạng tuyến tính (Linear Network Coding - LNC): Yeung và Cai (2003) chứng minh mã tuyến tính là đủ để đạt dung năng trong mạng multicast. Koetter và Médard (2003) [23] mở rộng kết quả cho mạng topo bất kỳ thông qua một khuôn khổ đại số kết nối bài toán mã mạng với nghiệm của hệ phương trình đa thức.
  2. Mã mạng thực tiễn và ngẫu nhiên (Practical & Random Network Coding): Chou, Wu và Jain (2003) [22] đề xuất giải pháp mã mạng thực tiễn bằng cách nhúng véc-tơ mã hóa toàn cục (Global Encoding Vector) vào tiêu đề gói tin. Ho và các đồng nghiệp (2006) [28] phát triển phương pháp mã mạng tuyến tính ngẫu nhiên (RLNC), chứng minh xác suất giải mã thành công tiến tới 1 theo quy luật hàm mũ khi độ dài trường mã hóa tăng.
  3. Mã mạng trên cấu trúc đại số mở rộng: Sau năm 2008, các nghiên cứu bắt đầu xem xét đại số giao hoán và vành giá trị rời rạc (Discrete Valuation Ring - DVR) cho mã mạng chập (Convolutional Network Coding) [37, 38]. Năm 2011, Yang và Shen [42] phát triển mã BATS (BATched Sparse codes) nhằm giảm độ phức tạp tính toán tại các nút trung gian đối với tệp dữ liệu lớn.
                         LÝ THUYẾT THÔNG TIN CỔ ĐIỂN
                      (Hartley 1928, Shannon 1948-1949)
                                     │
                                     ▼
                        DÒNG THÔNG TIN MẠNG (NC)
                        (Ahlswede et al. 2000)
                                     │
         ┌───────────────────────────┼───────────────────────────┐
         ▼                           ▼                           ▼
MÃ MẠNG TUYẾN TÍNH          MÃ MẠNG THỰC TIỄN & RLNC     MÃ MẠNG TRÊN ĐẠI SỐ MỞ RỘNG
(Yeung & Cai 2003,          (Chou et al. 2003,           (Ring/DVR 2008,
 Koetter & Médard 2003)      Ho et al. 2006)              BATS codes 2011)
         │                           │                           │
         └───────────────────────────┼───────────────────────────┘
                                     ▼
                       KHOẢNG TRỐNG HỌC THUẬT:
          - Hạn chế ở phép XOR và trường hữu hạn GF(2^m)
          - Thiếu cơ chế tích hợp bảo mật an toàn nội tại (Secure NC)
                                     │
                                     ▼
                  ĐÓNG GÓP CỦA LUẬN ÁN (PHẠM LONG ÂU, 2022):
      Xây dựng Mã mạng trên Vành số Zn, Vành/Trường đa thức Z2[x]/(x^n+1),
      Đường cong Elliptic Ep(a,b) kết hợp Hệ mật Omura-Massey & ElGamal (DLP)

Tranh luận học thuật quốc tế tập trung vào sự đánh đổi (Trade-off) giữa độ phức tạp tính toán tại nút mạng và độ an toàn bảo mật dữ liệu. Các phương pháp mã mạng tuyến tính nhị phân truyền thống tối ưu hóa tốc độ xử lý phần cứng nhờ phép toán XOR nhưng hoàn toàn mất khả năng bảo vệ dữ liệu trước các cuộc tấn công nghe lén nếu kẻ tấn công thu thập đủ số lượng gói tin độc lập tuyến tính. Ngược lại, việc triển khai mã hóa mật mã ở tầng ứng dụng (End-to-End Encryption) triệt tiêu khả năng trộn gói tin tại tầng mạng. So sánh với hai nghiên cứu quốc tế tiêu biểu: công trình của Koetter & Médard (2003) giải quyết bài toán đại số hóa ma trận truyền dẫn nhưng chưa giải quyết vấn đề bảo mật phân tán; nghiên cứu của Fragouli et al. (2006) về mã mạng không dây chỉ dừng lại ở việc tối ưu hóa mức tiêu thụ năng lượng. Luận án của Phạm Long Âu đã định vị nghiên cứu vào điểm giao thoa giữa cấu trúc đại số phi trường thuần túy và mô hình bảo mật lớp mạng (Secure Network Coding), cung cấp các cấu trúc toán học cụ thể để thực thi mã mạng an 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 nền tảng lý thuyết của mã mạng từ các trường nhị phân cổ điển sang các cấu trúc đại số phong phú hơn, thiết lập cơ sở toán học tường minh cho việc thiết kế các thuật toán mã mạng thế hệ mới:

  1. Mở rộng lý thuyết mã mạng trên vành số $\mathbb{Z}_n$: Luận án xây dựng cơ chế mã mạng dựa trên nhóm cộng $(\mathbb{Z}_n, +)$, nhóm nhân $(\mathbb{Z}_n^*, \cdot)$ và phép biến đổi Affine $f(x) = (a \cdot x + b) \pmod n$. Luận án chứng minh điều kiện cần và đủ để giải mã duy nhất là hệ số biến đổi $a$ phải là phần tử khả nghịch trong $\mathbb{Z}_n$, tức thỏa mãn ước chung lớn nhất $\gcd(a, n) = 1$.
  2. Thiết lập mô hình mã mạng trên vành đa thức và trường đa thức: Nghiên cứu đã hình thức hóa việc mã hóa các khối dữ liệu biểu diễn dưới dạng đa thức thuộc vành thương $\mathbb{Z}_2[x]/(x^n + 1)$. Luận án phát triển thuật toán tính lũy thừa đa thức và chứng minh rằng các phép toán cộng, nhân đa thức cho phép thực hiện việc phân tán và tái tạo dữ liệu với độ an toàn cao hơn so với mã hóa chuỗi bit đơn thuần.
  3. Mô hình hóa mã mạng trên đường cong Elliptic: Luận án đề xuất một cấu trúc mã mạng hoàn toàn mới dựa trên phép cộng điểm trên đường cong Elliptic $E_p(a, b)$ xác định bởi phương trình Weierstrass: $$y^2 \equiv x^3 + ax + b \pmod p$$ với điều kiện bất biến đại số $4a^3 + 27b^2 \not\equiv 0 \pmod p$. Việc ánh xạ các gói dữ liệu thành các điểm trên đường cong Elliptic và thực hiện phép cộng điểm tại nút trung gian đã thiết lập một bước chuyển mô hình (Paradigm Shift), kết hợp hoàn hảo giữa năng lực kết hợp thông tin của mã mạng và độ phức tạp tính toán của bài toán Logarit rời rạc trên đường cong Elliptic (ECDLP).

Mô hình lý thuyết tổng quát được đặc trưng bởi các mệnh đề toán học:

  • Mệnh đề 1 (Tính giải mã được của mã mạng Affine trên $\mathbb{Z}_n$): Cho gói tin nguồn $x \in \mathbb{Z}_n$. Nếu nút trung gian mã hóa gói tin thành $y \equiv ax + b \pmod n$ với $\gcd(a, n) = 1$, nút đích luôn khôi phục được $x$ thông qua phép biến đổi $x \equiv a^{-1}(y - b) \pmod n$, trong đó $a^{-1}$ được xác định duy nhất bằng thuật toán Euclid mở rộng.
  • Mệnh đề 2 (Tính đóng của nhóm điểm Elliptic trong mã mạng): Phép cộng hai điểm dữ liệu $P(x_1, y_1)$ và $Q(x_2, y_2)$ trên $E_p(a, b)$ tạo ra một điểm $R(x_3, y_3) = P + Q$ cũng thuộc $E_p(a, b)$, đảm bảo tính hợp lệ của luồng thông tin trung gian mà không làm tràn không gian trạng thái.

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

Khung phân tích của luận án tích hợp chặt chẽ ba trụ cột lý thuyết: Lý thuyết Thông tin, Cấu trúc Đại số Hiện đại và Hệ Mật mã Khóa công khai.

                               KHUNG PHÂN TÍCH ĐỘC ĐÁO
┌───────────────────────────────────────────────────────────────────────────────────┐
│ TRỤ CỘT 1: LÝ THUYẾT THÔNG TIN & MÃ MẠNG                                          │
│ - Mô hình dòng thông tin mạng (Ahlswede 2000)                                     │
│ - Định lý Max-flow Min-cut & Cây Steiner                                          │
│ - Tối ưu hóa phiên truyền & giảm trễ truyền dẫn                                   │
└────────────────────────────────────────┬──────────────────────────────────────────┘
                                         │
                                         ▼
┌───────────────────────────────────────────────────────────────────────────────────┐
│ TRỤ CỘT 2: CẤU TRÚC ĐẠI SỐ NÂNG CAO                                               │
│ - Vành số nguyên modulo Zn: Số học đồng dư, Hàm Phi-Euler φ(n), Thặng dư bậc 2 Qn │
│ - Vành/Trường đa thức Z2[x]/(x^n+1): Thuật toán lũy thừa đa thức, số học đa thức  │
│ - Đường cong Elliptic Ep(a,b): Phép cộng điểm Abel, Luật hình học Chord-and-Tangent│
└────────────────────────────────────────┬──────────────────────────────────────────┘
                                         │
                                         ▼
┌───────────────────────────────────────────────────────────────────────────────────┐
│ TRỤ CỘT 3: HỆ MẬT MÃ BẢO MẬT NỘI TẠI (SECURE NETWORK CODING)                      │
│ - Bài toán Logarit Rời rạc (DLP & ECDLP)                                          │
│ - Hệ mật Omura-Massey: Truyền tin bảo mật 3 bước không cần chia sẻ khóa trước     │
│ - Hệ mật ElGamal: Mã hóa khóa công khai tích hợp trên các nút chuyển tiếp         │
└───────────────────────────────────────────────────────────────────────────────────┘

Phương pháp phân tích dựa trên sự kết hợp thuật toán:

  • Sử dụng thuật toán Euclid mở rộng để giải phương trình vô định Đi-ô-phăng (Diophantine Equation) dạng $n \cdot x + a \cdot y = 1$, cho phép tìm nghịch đảo nhân $a^{-1} \pmod n$ trong thời gian đa thức $O((\lg n)^2)$.
  • Ứng dụng Định lý phần dư Trung Hoa (Chinese Remainder Theorem - CRT) để phân tích các hệ thống đồng dư bậc nhất khi truyền tin song song trên nhiều kênh phân mảnh: $$x \equiv \sum_{i=1}^k a_i N_i M_i \pmod n, \quad N_i = \frac{n}{n_i}, \quad M_i = N_i^{-1} \pmod{n_i}$$
  • Khai thác lý thuyết thặng dư bậc hai $Q_n$ và hàm Phi-Euler $\varphi(n)$ để xác định cấp của phần tử $ord(a)$ và phần tử nguyên thủy (phần tử sinh), đảm bảo tính tuần hoàn tối đa của chuỗi khóa mã hóa.

Điều kiện biên (Boundary Conditions) được xác lập rõ ràng: Hệ thống yêu cầu modulo $n$ phải có các thừa số nguyên tố đủ lớn để chống lại các thuật toán phân tích số nguyên (như thuật toán sàng trường số đại số - NFS); đối với đường cong Elliptic, số lượng điểm $#E(\mathbb{F}_p)$ phải thỏa mãn định lý Hasse: $$p + 1 - 2\sqrt{p} \le #E(\mathbb{F}_p) \le p + 1 + 2\sqrt{p}$$ nhằm ngăn ngừa các cuộc tấn công chuyển đổi đường cong dị thường.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ thế giới quan khoa học thực chứng (Positivism), kết hợp chặt chẽ giữa suy diễn toán học hình thức (Formal Mathematical Deduction) và thực nghiệm mô phỏng thuật toán. Thiết kế nghiên cứu đa tầng (Multi-level Design) được cấu trúc qua ba cấp độ:

  • Cấp độ đại số vi mô (Micro-Algebraic Level): Khảo sát các tính chất số học, cấu trúc nhóm, vành, trường và độ phức tạp bit của từng phép toán đại số cơ bản.
  • Cấp độ nút mạng trung gian (Intermediate Node Level): Thiết kế các thuật toán mã hóa, trộn gói, chuyển tiếp và tính toán tiêu đề mã hóa tại từng thực thể định tuyến.
  • Cấp độ topo mạng vĩ mô (Macro-Topology Level): Đánh giá hiệu năng của giao thức mã mạng trên các mô hình topo mạng chuẩn như mạng cánh bướm (Butterfly Network), mạng truyền thông vô tuyến cộng tác (Cooperative Radio Networks) và mạng chuyển tiếp hai chiều (Two-Way Relay).

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu bao gồm các bước logic khép kín:

  1. Mô hình hóa toán học: Thiết lập không gian trạng thái, định nghĩa các hàm mã hóa $f: \mathcal{M}^k \to \mathcal{M}$ và hàm giải mã $g: \mathcal{M}^m \to \mathcal{M}^k$ trên cấu trúc đại số đã chọn.
  2. Phát triển thuật toán: Thiết kế thuật toán mã hóa và giải mã chi tiết, xác định cấu trúc dữ liệu cho gói tin và véc-tơ hệ số.
  3. Phân tích độ phức tạp: Đánh giá độ phức tạp tính toán (Time Complexity) và độ phức tạp không gian lưu trữ (Space Complexity) theo ký hiệu $O(\cdot)$.
  4. Kiểm chứng độ tin cậy và tính đúng đắn (Triangulation):
    • Tính giá trị cấu trúc (Construct Validity): Đảm bảo các mô hình toán học phản ánh chính xác luồng dữ liệu mạng thực tế.
    • Tính giá trị nội tại (Internal Validity): Chứng minh toán học chặt chẽ rằng quá trình giải mã luôn khôi phục chính xác 100% dữ liệu gốc khi kênh truyền không có lỗi $(\text{BER} = 0)$.
    • Tính giá trị bên ngoài (External Validity): Đánh giá khả năng tương thích của giải pháp khi triển khai trên các kiến trúc mạng không dây LTE/5G và mạng phân phối nội dung P2P.
                    QUY TRÌNH NGHIÊN CỨU RIGOROUS
┌──────────────────────────────────────────────────────────────────────────┐
│ BƯỚC 1: MÔ HÌNH HÓA TOÁN HỌC HÌNH THỨC                                   │
│ - Định nghĩa hàm mã hóa/giải mã trên vành số, đa thức, đường cong Elliptic│
│ - Thiết lập không gian mẫu và không gian khóa                            │
└────────────────────────────────────┬─────────────────────────────────────┘
                                     │
                                     ▼
┌──────────────────────────────────────────────────────────────────────────┐
│ BƯỚC 2: THIẾT KẾ THUẬT TOÁN & PHÂN TÍCH ĐỘ PHỨC TẠP                      │
│ - Thuật toán Euclid mở rộng: O((lg n)^2)                                 │
│ - Thuật toán cộng/nhân điểm Elliptic & Thuật toán lũy thừa đa thức       │
└────────────────────────────────────┬─────────────────────────────────────┘
                                     │
                                     ▼
┌──────────────────────────────────────────────────────────────────────────┐
│ BƯỚC 3: THỰC NGHIỆM ĐẠI SỐ & ĐỐI CHIẾU DỮ LIỆU SỐ HỌC                     │
│ - Khảo sát vành số: Z13, Z17, Z19, Z21, Z25                              │
│ - Khảo sát nhóm điểm Elliptic: E13(1, 1)                                 │
│ - Mô phỏng hệ mật DLP: Omura-Massey & ElGamal                            │
└────────────────────────────────────┬─────────────────────────────────────┘
                                     │
                                     ▼
┌──────────────────────────────────────────────────────────────────────────┐
│ BƯỚC 4: ĐÁNH GIÁ HIỆU NĂNG MẠNG & PHÂN TÍCH BẢO MẬT                      │
│ - So sánh số phiên truyền dẫn (giảm từ 4 xuống 3)                        │
│ - Tối ưu hóa độ trễ (giảm từ 3 xuống 2 đơn vị thời gian)                 │
│ - Đánh giá khả năng kháng nghe lén tại nút trung gian                    │
└──────────────────────────────────────────────────────────────────────────┘

Data và phân tích

Luận án đã thực hiện các phân tích số học cụ thể trên các không gian đại số xác định:

  • Phân tích số học modulo trên $\mathbb{Z}_n$:
    • Khảo sát nhóm nhân $\mathbb{Z}{21}^* = {1, 2, 4, 5, 8, 10, 11, 13, 16, 17, 19, 20}$ với cấp $\varphi(21) = 12$. Luận án chứng minh $\mathbb{Z}{21}^*$ không có phần tử sinh (không phải nhóm cyclic).
    • Khảo sát $\mathbb{Z}_{25}^*$ có phần tử sinh $\alpha = 2$ với cấp $\varphi(25) = 20$.
    • Xác định tập thặng dư bậc hai $Q_{13} = {1, 3, 4, 9, 10, 12}$ và thặng dư không bậc hai $\overline{Q}{13} = {2, 5, 6, 7, 8, 11}$ trên $\mathbb{Z}{13}^*$ với phần tử sinh $\alpha = 6$.
  • Phân tích trên nhóm đường cong Elliptic $E_{13}(1, 1)$: Xác định chính xác tọa độ các điểm hữu hạn thỏa mãn phương trình $y^2 \equiv x^3 + x + 1 \pmod{13}$, tạo nền tảng cho việc gán nhãn và mã hóa tọa độ gói tin.
  • Phân tích bài toán Logarit rời rạc (DLP): Khảo sát trường $\mathbb{Z}_{19}^*$ với phần tử sinh $\alpha = 2$, xây dựng bảng giá trị hàm mũ $y = 2^x \pmod{19}$ và bảng tra cứu logarit rời rạc tương ứng $\log_2(x) \pmod{19}$, chứng minh tính bất đối xứng một chiều làm cơ sở bảo mật.
  • Đánh giá độ phức tạp bit của các thuật toán:
    • Phép cộng/trừ trong $\mathbb{Z}$: $O(\lg a + \lg b) = O(\lg n)$.
    • Phép nhân trong $\mathbb{Z}$: $O((\lg a)(\lg b)) = O((\lg n)^2)$.
    • Thuật toán Euclid tìm $\gcd(a, b)$: $O(2 \log_2 n)$.
    • Thuật toán Euclid mở rộng: $O((\lg n)^2)$ phép toán bit.

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

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

  1. Mã mạng Affine trên vành số và vành đa thức tăng cường độ bảo mật nội tại: Việc áp dụng hàm mã hóa tuyến tính kết hợp độ dời $f(x) = (ax + b) \pmod n$ hoặc trên vành đa thức $\mathbb{Z}_2[x]/(x^n + 1)$ cho phép ẩn giấu hoàn toàn phân phối xác suất thống kê của các gói tin gốc. Kẻ tấn công không thể giải mã nếu không có khóa bí mật $(a, b)$, ngay cả khi thu chặn được toàn bộ các gói tin trung gian trên đường truyền.
  2. Cơ chế mã mạng trên đường cong Elliptic tối ưu hóa tỷ lệ tiêu đề (Overhead): Phép cộng điểm trên $E_p(a, b)$ cho phép tổng hợp nhiều gói tin thành một điểm duy nhất trên đường cong. Nhờ cấu trúc tọa độ compact, kích thước tiêu đề của gói tin mã mạng được giữ nguyên không đổi, loại bỏ hiện tượng bùng nổ kích thước véc-tơ mã hóa toàn cục vốn là nhược điểm lớn của RLNC truyền thống khi kích thước mạng mở rộng.
  3. Mô hình mã mạng an toàn với hệ mật Omura-Massey loại bỏ yêu cầu tiền phân phối khóa: Luận án chứng minh việc áp dụng giao thức chuyển tiếp ba bước của Omura-Massey cho phép hai nút đầu cuối trao đổi dữ liệu an toàn qua các nút trung gian mã mạng mà không cần chia sẻ khóa bí mật từ trước. Dữ liệu được mã hóa lần lượt bởi khóa riêng của bên gửi ($e_A$), khóa riêng của bên nhận ($e_B$), sau đó giải mã lần lượt bằng các khóa nghịch đảo ($d_A, d_B$) thỏa mãn $e \cdot d \equiv 1 \pmod{p-1}$.
  4. Tối ưu hóa hiệu năng mạng định lượng được:
    • Trong mô hình truyền thông vô tuyến cộng tác hai chiều với nút chuyển tiếp trung gian (Hình 1.9 trong luận án), phương pháp truyền thống đòi hỏi 4 phiên truyền riêng biệt ($s_1 \to v$, $v \to s_2$, $s_2 \to v$, $v \to s_1$). Phương pháp mã mạng đề xuất chỉ cần đúng 3 phiên truyền (giảm 25% số phiên truyền và tiết kiệm 25% năng lượng tiêu thụ).
    • Trong mô hình mạng phân phối đa hướng (Hình 1.8 trong luận án), mã mạng loại bỏ hiện tượng nghẽn tại nút thắt cổ chai, giảm độ trễ tối đa từ 3 đơn vị thời gian xuống còn 2 đơn vị thời gian (tối ưu hóa 33.3% thời gian truyền).
                      SO SÁNH HIỆU NĂNG ĐỊNH LƯỢNG
┌──────────────────────────────────────────────────────────────────────────┐
│ TIÊU CHÍ 1: SỐ PHIÊN TRUYỀN DẪN VÔ TUYẾN 2 CHIỀU                         │
│ Truyền thống (Routing): [ 4 phiên ] ════════════════════════════         │
│ Mã mạng đề xuất (NC):   [ 3 phiên ] ══════════════════ (Tiết kiệm 25%)   │
├──────────────────────────────────────────────────────────────────────────┤
│ TIÊU CHÍ 2: ĐỘ TRỄ TRUYỀN DỮ LIỆU ĐA HƯỚNG                               │
│ Định tuyến truyền thống: [ 3 đ.vị trễ ] ═════════════════════════         │
│ Mã mạng đề xuất:         [ 2 đ.vị trễ ] ══════════════════ (Giảm 33.3%)   │
├──────────────────────────────────────────────────────────────────────────┤
│ TIÊU CHÍ 3: ĐỘ PHỨC TẠP TÍNH TOÁN GIẢI MÃ                                │
│ Thuật toán đề xuất (Euclid mở rộng): O((lg n)^2) - Thời gian đa thức      │
│ Khả năng kháng nghe lén tại nút trung gian: Đạt chuẩn an toàn DLP/ECDLP   │
└──────────────────────────────────────────────────────────────────────────┘

Implications đa chiều

  • Về mặt lý thuyết: Đặt nền móng vững chắc cho việc nghiên cứu cấu trúc mã mạng phi tuyến và mã mạng đại số tại Việt Nam; cung cấp công cụ toán học chuẩn xác để tích hợp lý thuyết số và hình học đại số vào kỹ thuật mạng truyền thông.
  • Về mặt phương pháp luận: Cung cấp khung phương pháp luận hoàn chỉnh từ xây dựng giải tích toán học, chứng minh tính đóng, tính khả nghịch đến thiết kế thuật toán phân tán có thể áp dụng cho nhiều mô hình mạng phức tạp.
  • Về ứng dụng thực tiễn:
    • Mạng thông tin vô tuyến cộng tác và 5G/6G: Giảm số khe thời gian truyền dẫn (Time Slots), tối ưu hóa hiệu quả sử dụng phổ tần vô tuyến và tiết kiệm năng lượng cho các trạm chuyển tiếp (Relay Stations).
    • Mạng vệ tinh và thông tin quân sự: Đảm bảo an toàn thông tin tuyệt đối khi truyền dữ liệu qua các vệ tinh trung gian không tin cậy bằng cách áp dụng hệ mật Omura-Massey và ElGamal trực tiếp tại lớp mạng.
    • Hệ thống lưu trữ phân tán (RAID thế hệ mới): Nâng cao khả năng phục hồi dữ liệu khi có nhiều ổ đĩa bị lỗi đồng thời dựa trên mã mạng vành đa thức.

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn nghiên cứu (Limitations):

  1. Độ phức tạp tính toán tại nút trung gian: Mặc dù độ phức tạp của các phép toán trên $\mathbb{Z}_n$ và đường cong Elliptic đạt mức thời gian đa thức $O((\lg n)^2)$, chi phí xử lý này vẫn cao hơn đáng kể so với phép toán XOR nhị phân thuần túy ($O(1)$ trên thanh ghi phần cứng), đòi hỏi năng lực xử lý mạnh hơn tại các nút mạng IoT hạn chế tài nguyên.
  2. Quy mô thử nghiệm thực tế: Các kết quả nghiên cứu chủ yếu được kiểm chứng trên mô hình toán học giải tích và mô phỏng thuật toán; chưa được triển khai thử nghiệm trên các phần cứng chuyên dụng thời gian thực (như FPGA/ASIC) hoặc trên các mạng vô tuyến diện rộng thực tế.
  3. Phạm vi cấu trúc đại số: Nghiên cứu tập trung vào các cấu trúc đại số giao hoán và đường cong Elliptic dạng chuẩn; chưa mở rộng sang các cấu trúc đại số phi giao hoán (Non-commutative Algebras) như đại số Quaternion hay Octonion.

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

  • Tối ưu hóa phần cứng và thiết kế vi mạch chuyên dụng (FPGA) để tăng tốc các phép toán cộng điểm Elliptic và nhân modulo tốc độ cao tại nút mạng.
  • Nghiên cứu kết hợp mã mạng trên cấu trúc đại số với mã sửa lỗi mạng (Network Error Correction - NEC) để chống lại đồng thời cả lỗi ngẫu nhiên trên kênh truyền và tấn công giả mạo dữ liệu (Pollution Attacks).
  • Mở rộng sang các hệ mật mã hậu lượng tử (Post-Quantum Cryptography), như mật mã dựa trên dàn (Lattice-based Cryptography), tích hợp vào cơ chế mã mạng an toàn nhằm đối phó với sự xuất hiện của máy tính lượng tử.

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

Nghiên cứu của NCS. Phạm Long Âu đã tạo ra những ảnh hưởng học thuật và thực tiễn rõ rệt:

                            TÁC ĐỘNG VÀ ẢNH HƯỞNG
┌──────────────────────────────────────────────────────────────────────────┐
│ 1. CÔNG BỐ QUỐC TẾ & QUỐC GIA                                            │
│ - 02 bài báo IEEE Xplore (IEEE APCC 2019, IEEE ATC 2019)                 │
│ - 02 bài báo chuyên ngành uy tín trong nước (Tạp chí KH&CN Quân sự 2018, │
│   Tạp chí CNTT&TT 2019)                                                  │
├──────────────────────────────────────────────────────────────────────────┤
│ 2. ĐỊNH HƯỚNG CÔNG NGHIỆP VIỄN THÔNG                                     │
│ - Tối ưu hóa giao thức định tuyến và chuyển tiếp trong mạng 5G/6G        │
│ - Giảm 25% mức tiêu thụ năng lượng tại các trạm chuyển tiếp vô tuyến     │
├──────────────────────────────────────────────────────────────────────────┤
│ 3. AN NINH MẠNG & TRUYỀN THÔNG BẢO MẬT                                   │
│ - Ứng dụng trong truyền thông quân sự và mạng cảm biến không dây chiến thuật│
│ - Cơ chế mã hóa phân tán không cần tiền chia sẻ khóa                     │
└──────────────────────────────────────────────────────────────────────────┘
  • Tác động học thuật: Các kết quả của luận án đã được công bố trên các diễn đàn khoa học uy tín, bao gồm 02 bài báo tại các hội nghị quốc tế thuộc danh mục IEEE Xplore (IEEE APCC 2019 tại TP. Hồ Chí Minh, IEEE ATC 2019 tại Hà Nội) và 02 bài báo trên các tạp chí khoa học chuyên ngành trong nước (Tạp chí Nghiên cứu KH&CN Quân sự năm 2018, Tạp chí Khoa học Công nghệ Thông tin và Truyền thông năm 2019). Luận án là tài liệu tham khảo mẫu mực về ứng dụng đại số trừu tượng trong kỹ thuật điện tử - viễn thông tại Việt Nam.
  • Tác động công nghiệp và an ninh quốc gia: Cung cấp giải pháp kiến trúc an toàn cho hạ tầng truyền thông vệ tinh, mạng quân sự chiến thuật và mạng IoT công nghiệp, nơi dữ liệu đòi hỏi tính toàn vẹn và bảo mật cao khi đi qua các vùng mạng trung gian không kiểm soát được.

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

  • Nghiên cứu sinh và Giảng viên chuyên ngành Kỹ thuật Viễn thông, Mật mã học, Toán ứng dụng: Tiếp cận một khung lý thuyết hoàn chỉnh kết hợp giữa cấu trúc đại số và kỹ thuật mạng; kế thừa các mô hình toán học để phát triển các đề tài nghiên cứu chuyên sâu.
  • Kỹ sư R&D và Kiến trúc sư Hệ thống Viễn thông: Ứng dụng các thuật toán mã mạng Affine và mã mạng đường cong Elliptic để thiết kế các giao thức định tuyến tối ưu, giảm tiêu thụ năng lượng và tăng thông lượng cho mạng vô tuyến 5G/6G, mạng cảm biến không dây (WSN) và mạng vệ tinh.
  • Chuyên gia An toàn Thông tin và An ninh Mạng: Khai thác mô hình mã mạng an toàn dựa trên hệ mật Omura-Massey và ElGamal để triển khai các giải pháp bảo mật dữ liệu phân tán, ngăn chặn hiệu quả các mối đe dọa nghe lén và tấn công phân tích lưu lượng.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?
Trả lời: Đóng góp độc đáo nhất là việc hình thức hóa và chứng minh thành công cơ chế mã mạng trên nhóm điểm của đường cong Elliptic $E_p(a, b)$ và vành số $\mathbb{Z}_n$. Công trình đã mở rộng trực tiếp Lý thuyết dòng thông tin mạng (Network Information Flow Theory) của Ahlswede et al. (2000) và Lý thuyết mã mạng tuyến tính của Koetter & Médard (2003) từ không gian trường hữu hạn truyền thống sang các cấu trúc nhóm Abel hình học và vành đại số tổng quát.

2. Đổi mới phương pháp luận của luận án thể hiện như thế nào khi so sánh với các nghiên cứu trước đây?
Trả lời: So với nghiên cứu mã mạng tuyến tính ngẫu nhiên (RLNC) của Ho et al. (2006) và mã mạng thực tiễn của Chou et al. (2003) vốn phụ thuộc vào việc gắn véc-tơ hệ số tuyến tính ngẫu nhiên trên trường nhị phân, luận án đổi mới bằng cách tích hợp trực tiếp phép biến đổi Affine $f(x) = ax + b \pmod n$ và phép cộng điểm Elliptic. Phương pháp này giải quyết đồng thời bài toán tối ưu thông lượng và bài toán bảo mật lớp mạng thông qua độ phức tạp của bài toán Logarit rời rạc (DLP), điều mà các nghiên cứu trước đây chưa thực hiện được.

3. Phát hiện bất ngờ và phản trực giác nhất trong luận án được chứng minh bằng dữ liệu là gì?
Trả lời: Phát hiện đáng chú ý là việc triển khai hệ mật Omura-Massey trong mã mạng cho phép truyền thông bảo mật tuyệt đối qua các nút trung gian mà hai nút đầu cuối hoàn toàn không cần trải qua giai đoạn phân phối hoặc trao đổi khóa bí mật từ trước (Pre-shared Key Exchange). Bằng chứng thực nghiệm số học trên trường $\mathbb{Z}{19}^*$ và $\mathbb{Z}{13}^*$ chứng minh rằng quá trình mã hóa 3 bước ($e_A \to e_B \to d_A \to d_B$) triệt tiêu hoàn toàn khả năng giải mã của nút chuyển tiếp trung gian nhưng vẫn bảo toàn tính chính xác của dữ liệu phục hồi tại đích với tỷ lệ lỗi bằng 0.

4. Luận án có cung cấp đầy đủ giao thức để tái lập nghiên cứu (Replication Protocol) không?
Trả lời: Có. Luận án cung cấp đầy đủ các thuật toán chi tiết: Thuật toán chia Euclid kinh điển ($O(2 \log_2 n)$), Thuật toán Euclid mở rộng tìm nghịch đảo modular ($O((\lg n)^2)$), Thuật toán lũy thừa đa thức theo modulo $x^n + 1$, bảng giá trị điểm trên đường cong $E_{13}(1, 1)$, cùng các bảng tra cứu thặng dư bậc hai và logarit rời rạc trên $\mathbb{Z}_{19}^*$. Tất cả các tham số và bước thực thi đều được trình bày minh bạch, cho phép tái lập 100% trên các môi trường lập trình toán học (như MATLAB, Python, C/C++).

5. Định hướng nghiên cứu 10 năm tới được vạch ra từ luận án là gì?
Trả lời: Định hướng 10 năm tới bao gồm việc phát triển các cấu trúc Mã mạng Hậu lượng tử (Post-Quantum Secure Network Coding) dựa trên hình học đại số phi giao hoán và đại số dàn (Lattice-based Algebra), kết hợp với thiết kế vi mạch phần cứng tăng tốc tính toán thời gian thực cho các mạng lượng tử và mạng không gian - mặt đất tích hợp (Space-Air-Ground Integrated Networks - SAGIN).

Kết luận

Luận án tiến sĩ kỹ thuật "Mã mạng trên một số cấu trúc đại số" của NCS. Phạm Long Âu là một công trình nghiên cứu công phu, xuất sắc, giải quyết thành công những thách thức cốt lõi tại điểm giao thoa giữa lý thuyết thông tin và đại số hiện đại. Những đóng góp cụ thể của luận án bao gồm:

  1. Hệ thống hóa và mở rộng thành công lý thuyết mã mạng từ trường nhị phân cổ điển sang các cấu trúc vành số $\mathbb{Z}_n$, vành đa thức $\mathbb{Z}_2[x]/(x^n + 1)$ và trường đa thức.
  2. Đề xuất và xây dựng hoàn chỉnh thuật toán mã mạng dựa trên nhóm cộng các điểm trên đường cong Elliptic $E_p(a, b)$, xác lập phương pháp kết hợp gói tin bảo mật với chi phí tiêu đề tối ưu.
  3. Thiết lập thành công mô hình mã mạng an toàn tích hợp bài toán Logarit rời rạc (DLP) và hai hệ mật khóa công khai (Omura-Massey và ElGamal), loại bỏ nguy cơ nghe lén tại các nút trung gian không tin cậy.
  4. Chứng minh định lượng hiệu năng vượt trội của giải pháp: giảm 25% số phiên truyền dẫn vô tuyến và giảm 33.3% độ trễ truyền dữ liệu trên các topo mạng kinh điển.
  5. Công bố 04 công trình khoa học chất lượng cao trên các tạp chí chuyên ngành uy tín và hội thảo quốc tế thuộc hệ thống IEEE Xplore.

Công trình đánh dấu bước tiến quan trọng trong việc nâng cao hiệu năng và độ an toàn của hệ thống truyền thông số, mở ra các hướng nghiên cứu giàu tiềm năng về mã mạng đại số và an ninh mạng thế hệ mới trong tương lai.