Tổng quan luận án

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, được thực hiện tại Học viện Công nghệ Bưu chính Viễn thông dưới sự hướng dẫn khoa học của TS. Ngô Đức Thiện và TS. Nguyễn Lê Cường (cùng sự định hướng, góp ý của GS. Nguyễn Bình), có tiêu đề chính thức là "Mã mạng trên một số cấu trúc đại số".

Trong kiến trúc mạng truyền thống, dữ liệu được truyền tải theo cơ chế chuyển tiếp gói tin thuần túy: các nút trung gian chỉ sao chép hoặc chuyển tiếp gói dữ liệu nhận được từ đầu vào sang đầu ra mà không thực hiện xử lý kết hợp nội dung (ngoại trừ việc nhân bản gói trong truyền thông đa điểm - multicast). Kỹ thuật mã mạng (Network Coding - NC) cho phép các nút mạng trung gian thực hiện các phép toán đại số để hòa trộn nhiều gói dữ liệu, từ đó giúp tối ưu hóa dung lượng truyền dẫn, giảm thiểu số phiên truyền, hạ thấp độ trễ và tăng cường tính ổn định của toàn mạng.

Khoảng trống nghiên cứu được tác giả xác định là: Trong phần lớn các nghiên cứu và triển khai mã mạng trước đây, phép toán học chủ yếu được áp dụng lên các gói dữ liệu là phép cộng modulo 2 (phép toán XOR) trên các vector nhị phân. Các phương thức xây dựng mã mạng dựa trên những cấu trúc đại số khác còn ít được khai thác. Trong khi đó, các cấu trúc đại số trừu tượng như vành số, trường số, vành đa thức và nhóm điểm trên đường cong elliptic có tính tường minh cao, sở hữu nhiều tính chất toán học chặt chẽ và thuận lợi cho việc chuyển đổi từ lý thuyết sang kiến trúc phần cứng chuyên dụng cũng như tích hợp các cơ chế bảo mật.

Mục tiêu nghiên cứu của luận án bao gồm 03 mục tiêu cụ thể:

  1. Nghiên cứu đề xuất xây dựng mã mạng trên cấu trúc nhóm cộng và/hoặc nhóm nhân của vành số, trường số, vành đa thức, trường đa thức.
  2. Nghiên cứu đề xuất xây dựng mã mạng dựa trên nhóm cộng các điểm của đường cong elliptic.
  3. Nghiên cứu đề xuất mô hình thực hiện mã mạng an toàn, dựa trên hai hệ mật khóa công khai.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Kỹ thuật mã mạng trong truyền thông (Networking).
  • Phạm vi nghiên cứu: Thực hiện mã mạng trên một số cấu trúc đại số và mô hình mã mạng an toàn nhằm nâng cao hiệu quả và bảo mật truyền tin.

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

Lý thuyết thông tin và mã hóa khởi nguồn từ công trình đo lường lượng thông tin của Hartley R. (1928), các luận điểm về khả năng thông qua và thế chống nhiễu của V. A. Kotelnikov (Kachenhicov), lý thuyết tách tuyến tính của D. V. Ageev, và hệ thống định lý nền tảng của Claude E. Shannon (1948 - 1949). Về mặt xử lý dữ liệu, truyền thông cổ điển phân tách rạch ròi giữa mã hóa nguồn (Source Coding - SC) để nén dữ liệu và mã hóa kênh (Channel Coding - CC) để chống nhiễu trên từng liên kết điểm - điểm.

Khái niệm mã mạng lần đầu tiên xuất hiện trong bài báo "Distributed source coding for satellite communications" của R. Zhang và được phát triển hoàn chỉnh bởi R. Ahlswede, Ning Cai, S.-Y. R. Li, R. W. Yeung (2000) trong công trình "Network information flow". Công trình chứng minh rằng việc cho phép các nút trung gian trộn dữ liệu giúp mạng multicast đạt được dung năng luồng thông tin tối đa (theo định lý Max-flow Min-cut) vượt qua giới hạn của định tuyến truyền thống.

Các mốc phát triển tiếp theo của lý thuyết mã mạng trên thế giới được luận án điểm lại gồm:

  • Mã mạng tuyến tính: S.-Y. R. Li, R. W. Yeung và Ning Cai (2003) chứng minh mã tuyến tính đủ để đạt dung năng trong mạng multicast. R. Koetter và M. Médard (2003) mở rộng khung đại số cho mạng bất kỳ qua hệ phương trình đa thức.
  • Mã mạng thực tiễn và ngẫu nhiên: P. A. Chou, Y. Wu và K. Jain (2003) đề xuất giải pháp đưa vector mã hóa toàn cục (global encoding vector) vào tiêu đề gói tin để giải mã phân tán (Practical Network Coding). T. Ho và các đồng nghiệp phát triển phương pháp mã mạng tuyến tính ngẫu nhiên (Random Linear Network Coding - RLNC).
  • Mã mạng trên cấu trúc đại số và mã chập: Dougherty, Freiling, Zeger (2008) nghiên cứu lý thuyết vành của mã mạng chập dựa trên vành giá trị rời rạc (Discrete Valuation Ring - DVR); Fragouli và Soljanin xây dựng khung thống nhất cho mã tuyến tính; Jaggi và các cộng sự (2005) đề xuất thuật toán đa thức thiết kế ma trận nhị phân cho mạng đơn định; Prasad và Rajan phát triển mã mạng vector. Năm 2009, các nghiên cứu mở rộng sang mã mạng multicast tuyến tính nhị phân trên mạng không tuần hoàn và mạng vô tuyến cộng tác.
  • Mã cho dòng dữ liệu lớn và mã sửa lỗi mạng (Network Error Correction - NEC): Mã BATS (BATched Sparse codes, 2011) kế thừa mã LT (2002); các công trình phân tích ma trận suy biến trong RLNC (2011), mã sửa lỗi không gian con, mã MDS đạt giới hạn Singleton cho mạng tuần hoàn, mã chập cho NEC và mã sửa lỗi mạng trên trường hữu hạn kích thước nhỏ.

Tại Việt Nam, các công trình nghiên cứu về mã mạng còn tương đối khiêm tốn, gồm khóa luận của Nguyễn Thị Thùy Dương (2010), nghiên cứu kết hợp mã mạng lớp vật lý và lựa chọn nút chuyển tiếp của Vũ Đức Hiệp và Trần Xuân Nam, cùng nghiên cứu mã mạng cho hệ thống vô tuyến cộng tác LTE của Lưu Cao Cường và cộng sự.

Vị trí của luận án: Luận án tập trung giải quyết khoảng trống về việc mở rộng không gian toán học cho mã mạng, thay thế thao tác XOR nhị phân bằng các phép toán trên vành số nguyên modulo $\mathbb{Z}_n$, nhóm nhân $\mathbb{Z}_n^*$, vành đa thức $\mathbb{Z}_2[x]/(x^n+1)$, trường Galois $GF(p^m)$ và nhóm điểm đường cong elliptic; đồng thời kết hợp bài toán logarit rời rạc (DLP) cùng các hệ mật Omura - Massey và ElGamal để hình thành cơ chế mã mạng bảo mật.

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

Luận án kết hợp cơ sở toán học thuần túy của lý thuyết thông tin, đại số trừu tượng và mật mã học khóa công khai:

  • Khung lý thuyết: Lý thuyết thông tin và mã hóa (Shannon, Hartley); Lý thuyết dòng cực đại - lát cắt cực tiểu (Max-flow Min-cut Theorem); Lý thuyết số học modulo và đại số trừu tượng (vành giao hoán, nhóm cyclic, trường hữu hạn, vành đa thức thương); Lý thuyết đường cong elliptic trên trường hữu hạn; Lý thuyết độ phức tạp tính toán $O(.)$; Lý thuyết an toàn mật mã dựa trên bài toán logarit rời rạc (DLP).
  • Phương pháp nghiên cứu:
    • Phương pháp nghiên cứu lý thuyết: Thu thập, phân tích, tổng hợp, khái quát hóa và hệ thống hóa các tài liệu khoa học chuyên ngành trong và ngoài nước; sử dụng công cụ suy diễn toán học để xây dựng mô hình đại số cho các hàm mã hóa và giải mã mạng.
    • Phương pháp thực nghiệm: Sử dụng ngôn ngữ lập trình và các công cụ mô phỏng để tính toán thử nghiệm, kiểm chứng tính đúng đắn của các thuật toán đề xuất, đánh giá độ phức tạp tính toán và hiệu năng truyền thông.
  • Nguồn tư liệu: Các bài báo khoa học trên hệ thống IEEE Xplore, các kỷ yếu hội nghị quốc tế (APCC, ATC, NetCod), tạp chí chuyên ngành trong nước (Tạp chí Nghiên cứu KH&CN Quân sự, Tạp chí Thông tin và Truyền thông) và các giáo trình chuyên khảo về đại số và mật mã học.

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

Chương 1: Tổng quan về mã mạng

Chương 1 hệ thống hóa các khái niệm nền tảng về lý thuyết thông tin, mã hóa và nguyên lý hoạt động của mã mạng trong các mô hình truyền thông:

  1. Mô hình hệ thống truyền tin số: Cấu trúc gồm Nguồn tin (rời rạc hoặc liên tục), Máy phát (chứa thiết bị mã hóa nguồn, mã hóa kênh và khối điều chế), Đường truyền/Kênh truyền (chịu tác động của nhiễu làm suy hao và sai lệch tín hiệu), Máy thu (chứa khối giải điều chế và giải mã), và Nơi nhận tin. Luận án phân biệt rõ hai nhiệm vụ: mã hóa nguồn (SC - nén dữ liệu tối ưu theo entropy $H(X)$) và mã hóa kênh (CC - chèn dư thừa chống nhiễu).

  2. Mô hình lưu trữ dữ liệu phân tán: Phân tích hệ thống RAID 4/5 với 3 ổ đĩa lưu trữ hai bit $X, Y$ và bit kiểm tra $X \oplus Y$. Khi một ổ đĩa hỏng (ví dụ ổ 1 chứa $X$), bộ giải mã tái tạo lại $X$ nhờ phép toán $Y \oplus (X \oplus Y) = X$. Mở rộng sang hệ thống lưu trữ đa nguồn và mạng thông tin vệ tinh: với các nguồn độc lập, $H(X) + H(Y) = H(X,Y)$, việc phân tách nguồn là tối ưu trong liên kết điểm - điểm, nhưng khi truyền đa điểm qua trạm vệ tinh, việc kết hợp gói tin tại vệ tinh giúp mở rộng vùng tốc độ mã hóa (coding rate region).

  3. Định nghĩa và nguyên lý mã mạng:

    • Định nghĩa 1: Mã hóa tại một nút trong mạng.
    • Định nghĩa 2: Mã hóa tại một nút mạng có các liên kết không có lỗi.
    • Định nghĩa 3: Mã hóa tại các nút mạng gói (thực hiện ở các tầng phía trên tầng vật lý).

  4. Mô hình mạng cánh bướm (Butterfly network): Nguồn $s$ phát 2 bit $X, Y$ tới hai đích $t_1, t_2$. Kênh trung gian giữa nút 3 và nút 4 chỉ truyền được 1 bit tại một thời điểm. Định tuyến thuần túy gây tắc nghẽn và không thể đồng thời phân phối $X, Y$ cho cả hai đích ở tốc độ tối đa. Bằng cách mã hóa gói tin thành $X \oplus Y$ tại nút 3 và chuyển tiếp qua nút 4, nút $t_1$ khôi phục $Y = X \oplus (X \oplus Y)$ và nút $t_2$ khôi phục $X = Y \oplus (X \oplus Y)$, giúp lưu lượng đạt mức cực đại theo định lý Max-flow Min-cut.

  5. Các lợi ích của mã mạng:

    • Tăng thông lượng (throughput) của hệ thống mạng.
    • Giảm độ phức tạp tính toán (từ bài toán NP-complete trong định tuyến sang thời gian đa thức - polynomial time với mã tuyến tính).
    • Tăng tính bền vững (robustness) trước sự cố thay đổi tô-pô mạng hoặc đứt gãy liên kết.
    • Tăng cường an toàn thông tin do dữ liệu truyền đi là tổ hợp của nhiều nguồn.
    • Tối thiểu hóa trễ truyền dẫn (ví dụ minh họa trên cây Steiner giảm trễ từ 3 đơn vị xuống 2 đơn vị thời gian).
    • Tiết kiệm năng lượng và giảm số phiên truyền dẫn trong mạng vô tuyến (trong mô hình trao đổi dữ liệu giữa 2 nút qua 1 nút chuyển tiếp, mã mạng giảm từ 4 phiên truyền xuống còn 3 phiên truyền).

Chương 2: Đề xuất xây dựng mã mạng trên một số cấu trúc đại số

Chương 2 trình bày cơ sở toán học số học modulo, cấu trúc đại số và đề xuất các phương pháp xây dựng hàm mã mạng trên vành số, vành đa thức, trường đa thức và đường cong elliptic.

1. Cơ sở số học modulo và độ phức tạp tính toán trong $\mathbb{Z}$

Luận án trình bày chi tiết quan hệ chia hết, thuật toán chia có dư ($a = qb + r$), ước chung lớn nhất (ƯCLN), bội chung nhỏ nhất (BCNN), hàm Phi-Euler $\varphi(n)$, và phân tích thừa số nguyên tố theo Định lý cơ bản của số học.

Độ phức tạp bit của các phép toán cơ bản trên tập số nguyên $\mathbb{Z}$ được tổng hợp:

Phép toán Biểu thức Độ phức tạp bit
Phép cộng $a + b$ $O(\lg a + \lg b) = O(\lg n)$
Phép trừ $a - b$ $O(\lg a + \lg b) = O(\lg n)$
Phép nhân $a \cdot b$ $O(\lg a \cdot \lg b) = O((\lg n)^2)$
  • Thuật toán Euclid: Cho hai số nguyên $a > b \ge 0$, lặp $r \leftarrow a \bmod b, a \leftarrow b, b \leftarrow r$ cho đến khi $b = 0$, trả về ƯCLN với độ phức tạp $O(\log_2^2 n)$ phép toán bit. Ví dụ tính toán cụ thể trong văn bản: với $a = 4864, b = 3458$, thuật toán thực hiện qua 6 bước lặp để cho kết quả $\text{ƯCLN}(4864, 3458) = 38$.
  • Thuật toán Euclid mở rộng: Giải phương trình Đi-ô-phăng $ax + by = d = \text{ƯCLN}(a,b)$. Kết quả thực hiện trên cặp số $(4864, 3458)$ xác định $x = 32, y = -45$ thỏa mãn $4864 \cdot (32) + 3458 \cdot (-45) = 38$.
  • Vành số nguyên modulo $n$ ($\mathbb{Z}_n$): Gồm các lớp thặng dư ${0, 1, \dots, n-1}$. Phần tử $a \in \mathbb{Z}_n$ khả nghịch khi và chỉ khi $\text{ƯCLN}(a,n) = 1$. Nghịch đảo $a^{-1} \bmod n$ được tính bằng Euclid mở rộng qua biểu thức $nx + ay = 1 \Rightarrow ay \equiv 1 \pmod n$.
  • Định lý phần dư Trung Hoa (Chinese Remainder Theorem) và thuật toán Gauss: Giải hệ đồng dư $x \equiv a_i \pmod{n_i}$ với $n_i$ nguyên tố cùng nhau từng đôi một: $$x = \sum_{i=1}^k a_i N_i M_i \bmod n$$ Trong đó $n = \prod n_i$, $N_i = n/n_i$ và $M_i = N_i^{-1} \bmod n_i$, độ phức tạp $O((\lg n)^2)$. Cặp phương trình $x \equiv 3 \pmod 7, x \equiv 7 \pmod{13}$ có nghiệm duy nhất $x \equiv 59 \pmod{91}$.
  • Nhóm nhân $\mathbb{Z}_n^$ và phần tử sinh:* Cấp $|\mathbb{Z}n^| = \varphi(n)$. Định lý Euler khẳng định $a^{\varphi(n)} \equiv 1 \pmod n$; Định lý Fermat khẳng định $a^{p-1} \equiv 1 \pmod p$ với $p$ nguyên tố. Nhóm $\mathbb{Z}_n^$ là cyclic (có phần tử sinh $\alpha$ bậc $\varphi(n)$) khi và chỉ khi $n \in {2, 4, p^k, 2p^k}$ ($p$ nguyên tố lẻ). Ví dụ trong văn bản: $\mathbb{Z}{21}^$ không cyclic vì không có phần tử cấp 12; $\mathbb{Z}_{25}^$ là cyclic với phần tử sinh $\alpha = 2$; $\mathbb{Z}_{13}^*$ có phần tử sinh $\alpha = 6$.
  • Thặng dư bậc hai: $a \in \mathbb{Z}n^$ là thặng dư bậc hai ($a \in Q_n$) nếu tồn tại $x$ sao cho $x^2 \equiv a \pmod n$. Với $p$ nguyên tố lẻ, $|Q_p| = |\overline{Q}p| = (p-1)/2$. Với $\mathbb{Z}{13}^$, $Q{13} = {1, 3, 4, 9, 10, 12}$ và $\overline{Q}_{13} = {2, 5, 6, 7, 8, 11}$.

2. Các đề xuất xây dựng mã mạng của tác giả

  • Mã mạng trên vành số: Đề xuất các lược đồ mã hóa gói dữ liệu dựa trên:
    • Nhóm cộng của vành số $\mathbb{Z}_n$: Kết hợp các gói tin qua phép cộng modulo $n$.
    • Nhóm nhân $\mathbb{Z}_n^*$: Kết hợp gói tin qua phép nhân các phần tử khả nghịch modulo $n$.
    • Mã mạng Affine trên vành số: Biến đổi gói tin theo dạng hàm affine $y = ax + b \bmod n$.
  • Mã mạng trên vành đa thức và trường đa thức:
    • Xây dựng trên vành đa thức thương $\mathbb{Z}_2[x]/(x^n+1)$ và trường Galois $GF(2^m)$.
    • Đề xuất thuật toán tính lũy thừa các đa thức theo modulo $x^n+1$.
    • Thiết kế mã mạng dựa trên nhóm cộng của vành đa thức, mã mạng trên trường đa thức và mã mạng Affine trên trường đa thức.
  • Mã mạng trên đường cong elliptic:
    • Khai thác nhóm cộng Abel của các điểm trên đường cong elliptic $E$ xác định bởi phương trình $y^2 \equiv x^3 + ax + b \pmod p$ (với các ví dụ như $E_{13}(1,1)$).
    • Gói dữ liệu được ánh xạ thành các điểm trên đường cong elliptic; phép mã mạng tại nút trung gian được thực hiện thông qua phép cộng điểm trên đường cong $P + Q = R$.

Chương 3: Mô hình mã mạng an toàn

Chương 3 giải quyết bài toán bảo mật trong mã mạng bằng cách tích hợp các hệ mật mã khóa công khai:

  1. Bài toán logarit rời rạc (DLP):

    • Khảo sát trên trường số thực $\mathbb{R}$ và trường hữu hạn $\mathbb{Z}_p^*$.
    • Cho phần tử sinh $\alpha$ và phần tử $\beta \in \mathbb{Z}_p^*$, tìm số nguyên $x$ sao cho $\alpha^x \equiv \beta \pmod p$. Khi kích thước trường $p$ đủ lớn, bài toán DLP có độ phức tạp tính toán phi đa thức, bảo đảm tính an toàn mật mã.

  2. Các hệ mật mã tích hợp:

    • Hệ mật Omura - Massey (O-M): Cơ chế truyền tin bảo mật không cần chia sẻ khóa bí mật trước thông qua 3 bước mã hóa/giải mã liên tiếp bằng các khóa nghịch đảo modulo $p-1$.
    • Hệ mật ElGamal: Lược đồ khóa công khai dựa trên bài toán DLP trên trường $\mathbb{Z}_p^*$.

  3. Xây dựng và đánh giá mô hình mã mạng an toàn:

    • Thiết lập mô hình mã mạng an toàn kết hợp phép trộn dữ liệu trung gian với mã hóa khóa công khai.
    • Áp dụng DLP và hệ mật Omura - Massey/ElGamal trực tiếp vào các nút mã mạng, ngăn chặn các tấn công nghe lén (eavesdropping) và sửa đổi gói tin độc hại trên các liên kết truyền thông.
    • Đánh giá tính khả thi và hiệu năng xử lý của mô hình thông qua phân tích độ phức tạp và bảng kiểm chứng truyền tin.

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

Các đóng góp chính của luận án bao gồm:

  1. Về mặt lý luận:

    • Mở rộng cơ sở toán học của kỹ thuật mã mạng từ các phép toán nhị phân truyền thống (XOR) sang các cấu trúc đại số trừu tượng bao gồm vành số $\mathbb{Z}_n$, nhóm nhân $\mathbb{Z}_n^*$, vành đa thức $\mathbb{Z}_2[x]/(x^n+1)$, trường Galois và nhóm điểm trên đường cong elliptic.
    • Thiết lập các thuật toán mã hóa mạng tuyến tính và mã mạng Affine trên các cấu trúc đại số mới, cung cấp cơ sở toán học để tính toán nghịch đảo và phục hồi gói tin tại các nút đích.

  2. Về mặt thực tiễn và ứng dụng:

    • Đề xuất mô hình mã mạng an toàn kết hợp với bài toán logarit rời rạc và các hệ mật Omura - Massey, ElGamal, giải quyết đồng thời bài toán tối ưu thông lượng mạng và bảo mật dữ liệu tại các nút trung gian.
    • Tạo tiền đề cho việc triển khai mã mạng trên các mạch vi điện tử phần cứng chuyên dụng nhờ tính cấu trúc của đại số đa thức và đường cong elliptic.

  3. Công bố khoa học:

    • 01 bài báo trên Tạp chí Nghiên cứu Khoa học và Công nghệ Quân sự (2018).
    • 02 bài báo trong kỷ yếu hội nghị quốc tế thuộc hệ thống IEEE Xplore: Hội nghị APCC 2019 (TP. Hồ Chí Minh) và Hội nghị Quốc tế ATC 2019.
    • 01 bài báo trên Tạp chí Khoa học Công nghệ Thông tin và Truyền thông (2019).

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

  • Hạn chế: Nghiên cứu chủ yếu tập trung vào việc thiết lập mô hình toán học đại số, thuật toán mã hóa/giải mã và kiểm chứng mô phỏng thuật toán; chưa tiến hành thử nghiệm trên môi trường mạng thực tế quy mô lớn hoặc hiện thực hóa trên các vi mạch phần cứng chuyên dụng (FPGA/ASIC).
  • Hướng nghiên cứu tiếp:
    • Nghiên cứu tối ưu hóa tốc độ xử lý và giảm thiểu tài nguyên phần cứng khi tính toán các phép toán nhóm trên đường cong elliptic và đa thức bậc cao tại các nút mạng chuyển tiếp.
    • Mở rộng mô hình mã mạng an toàn cho các tô-pô mạng vô tuyến cộng tác phức tạp, mạng Ad-hoc, mạng cảm biến không dây và mạng truyền thông thế hệ mới.
    • Kết hợp mã mạng trên cấu trúc đại số với các cơ chế mã hóa sửa lỗi mạng (NEC) để đối phó với kênh truyền có nhiễu và tấn công giả mạo gói tin (pollution attacks).

Giá trị tham khảo

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

  • Nghiên cứu sinh, học viên cao học và sinh viên: Chuyên ngành Kỹ thuật Điện tử, Viễn thông, Công nghệ Thông tin và An toàn Thông tin có thể tham khảo Chương 1 để nắm tổng quan lý thuyết thông tin, mã mạng và mô hình mạng cánh bướm; tham khảo Chương 2 để tiếp cận hệ thống kiến thức số học modulo và đại số trừu tượng ứng dụng.
  • Giảng viên và nhà nghiên cứu: Cung cấp khung lý thuyết đại số mở rộng (vành đa thức, nhóm điểm elliptic) và các thuật toán tính toán độ phức tạp phục vụ giảng dạy lý thuyết mã hóa và truyền tin số.
  • Kỹ sư phát triển hệ thống: Tham khảo Chương 3 để thiết kế các giao thức mã mạng an toàn, bảo vệ dữ liệu trong các hệ thống lưu trữ phân tán, mạng vô tuyến và mạng truyền thông chuyển tiếp.

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

1. Khác biệt cơ bản giữa mạng định tuyến truyền thống và mạng sử dụng kỹ thuật mã mạng là gì?
Trong mạng định tuyến truyền thống, các nút trung gian chỉ có nhiệm vụ lưu trữ, sao chép và chuyển tiếp gói tin nguyên bản, xử lý các luồng dữ liệu độc lập. Trong mạng sử dụng mã mạng, các nút trung gian được phép thực hiện các phép toán đại số để hòa trộn nhiều gói tin nhận được từ các kênh vào thành một hoặc nhiều gói tin mới trước khi phát đi, giúp mạng đạt thông lượng tối đa theo định lý Max-flow Min-cut và giảm số phiên truyền.

2. Tại sao luận án lại đề xuất xây dựng mã mạng trên vành số, vành đa thức và đường cong elliptic thay vì chỉ dùng phép XOR?
Phép toán XOR nhị phân truyền thống có tính chất đại số hạn chế. Việc mở rộng sang các cấu trúc đại số như $\mathbb{Z}_n$, $\mathbb{Z}_2[x]/(x^n+1)$, $GF(p^m)$ và đường cong elliptic cung cấp không gian toán học phong phú hơn, cho phép xây dựng các thuật toán mã Affine linh hoạt, dễ dàng tối ưu hóa khi thiết kế phần cứng vi mạch, đồng thời tạo điều kiện thuận lợi để tích hợp trực tiếp các thuật toán mật mã bảo mật vào quá trình xử lý gói tin.

3. Mô hình mạng cánh bướm (Butterfly network) giải quyết xung đột đường truyền như thế nào?
Trong mô hình mạng cánh bướm, hai nguồn phát hai bit $X$ và $Y$ tới hai đích qua một liên kết thắt cổ chai ở giữa (nút 3 sang nút 4). Định tuyến thông thường không thể gửi đồng thời cả hai bit qua liên kết đơn này. Mã mạng giải quyết xung đột bằng cách thực hiện phép toán kết hợp $X \oplus Y$ tại nút 3, chuyển tiếp qua nút 4; nhờ đó các nút đích nhận được gói tin kết hợp này cùng với một luồng truyền thẳng để giải mã thành công cả hai dữ liệu $X$ và $Y$.

4. Luận án tích hợp những cơ chế mật mã nào để xây dựng mô hình mã mạng an toàn trong Chương 3?
Tác giả sử dụng bài toán logarit rời rạc (DLP) trên trường hữu hạn kết hợp với hai hệ mật mã khóa công khai là Hệ mật Omura - Massey (cho phép truyền tin an toàn không cần khóa dùng chung từ trước qua 3 lượt truyền) và Hệ mật ElGamal để bảo vệ tính bí mật và toàn vẹn của dữ liệu trong quá trình mã hóa mạng tại các nút trung gian.

5. Kết quả nghiên cứu của luận án đã được công bố tại những diễn đàn khoa học nào?
Các kết quả chính của luận án đã được công bố trong 04 công trình khoa học, bao gồm: 01 bài báo trên Tạp chí Nghiên cứu Khoa học và Công nghệ Quân sự (2018), 02 bài báo trong kỷ yếu hội nghị quốc tế của IEEE (APCC 2019 và ATC 2019), và 01 bài báo trên Tạp chí Khoa học Công nghệ Thông tin và Truyền thông (2019).

Kết luận

Luận án "Mã mạng trên một số cấu trúc đại số" của NCS. Phạm Long Âu đã nghiên cứu và phát triển kỹ thuật mã mạng từ cơ chế XOR nhị phân cổ điển sang các cấu trúc đại số trừu tượng bao gồm vành số, trường số, vành đa thức và nhóm điểm trên đường cong elliptic. Tác giả đã xây dựng các thuật toán mã mạng tuyến tính, mã mạng Affine và tích hợp bài toán logarit rời rạc cùng các hệ mật Omura - Massey và ElGamal để hình thành mô hình mã mạng an toàn. Kết quả nghiên cứu được kiểm chứng qua các công bố khoa học trong nước và quốc tế, đóng góp cơ sở lý thuyết và giải pháp kỹ thuật cho việc nâng cao hiệu năng, độ tin cậy và tính bảo mật trong hệ thống truyền thông số.