Tổng quan về luận án

Sự bùng nổ của hạ tầng mạng diện rộng và mô hình truyền thông TCP/IP đã đặt ra những thách thức chưa từng có đối với an ninh quốc gia và an toàn thông tin của các tổ chức kinh tế - xã hội. Trong bối cảnh các cuộc tấn công mạng diễn ra đa tầng từ lớp ứng dụng đến hạt nhân hệ thống, việc thiết lập các kênh truyền dữ liệu bảo mật, toàn vẹn và xác thực trở thành nhiệm vụ mang tính sống còn. Luận án tiến sĩ kỹ thuật chuyên ngành Hệ thống thông tin (Mã số: 62.04) của nghiên cứu sinh Nguyễn Ngọc Điệp, dưới sự hướng dẫn khoa học của PGS.TS Hoàng Minh tại Học viện Công nghệ Bưu chính Viễn thông (2017), mang tên: "Nghiên cứu, xây dựng giải pháp tích hợp mật mã vào quá trình truyền tin đảm bảo an toàn thông tin trên mạng máy tính", đại diện cho một công trình tiên phong giải quyết bài toán tự chủ công nghệ an toàn thông tin tại Việt Nam.

Tác giả khẳng định rõ tính cấp thiết mang tầm chiến lược trong văn bản luận án: "theo quan điểm mật mã, chúng ta không thể sử dụng các sản phẩm bảo mật thông tin của nước ngoài để bảo mật thông tin trên mạng thuộc phạm vi bí mật Nhà nước như: lĩnh vực An ninh Quốc phòng. Vấn đề đặt ra là chúng ta phải chủ động tạo ra các sản phẩm bảo mật thông tin trên mạng máy tính, với các module mật mã kiểm soát hoàn toàn và độ an toàn của sản phẩm do các module mật mã quyết định."

+-----------------------------------------------------------------------------------+
|               KHUNG KIẾN TRÚC BẢO MẬT ĐƯỜNG TRUYỀN PMBM_VPN                       |
+-----------------------------------------------------------------------------------+
|  [Tầng Ứng dụng & Dịch vụ]: Web, Mail, Truyền file, Âm thanh, Hình ảnh động       |
|  -------------------------------------------------------------------------------  |
|  [Giao diện Mạng ảo]: Module TUN/TAP (Đóng gói và xử lý gói tin IP trong suốt)   |
|  -------------------------------------------------------------------------------  |
|  [Bảo mật SSL/TLS Tùy biến]:                                                      |
|   + Bắt tay / Trao đổi khóa: RSA Tham số An toàn (e: 94-254/512 bit, d >= 1220b)  |
|   + Mã hóa dòng dữ liệu: Mã khối BC_VPN (128-bit block, 256-bit key)              |
|   + Tầng tuyến tính tối ưu: Ma trận tựa vòng C.like2(2, Cir(1, 106, 2)) MDS       |
|  -------------------------------------------------------------------------------  |
|  [Tầng Vận tải / Mạng]: TCP / UDP - Hạ tầng Mạng Công cộng / Internet             |
+-----------------------------------------------------------------------------------+

Khoảng trống nghiên cứu (Research Gap) cốt lõi được xác định gồm ba điểm nghẽn lớn trong tài liệu học thuật và thực tiễn kỹ thuật:

  1. Thiếu một giải pháp can thiệp mật mã khả thi ở tầng mạng/vận tải có khả năng bảo vệ trong suốt mọi ứng dụng (bao gồm thoại, video streaming thời gian thực) mà không cần chỉnh sửa mã nguồn của từng phần mềm ứng dụng riêng lẻ.
  2. Các điểm yếu cấu trúc và tấn công tiềm ẩn trong giao thức SSL/TLS tiêu chuẩn (như tấn công làm mất thông điệp ChangeCipherSpec, tấn công quay lui phiên bản/thuật toán, tấn công đệm CBC - Vaudenay padding oracle, và lỗ hổng rò rỉ bộ nhớ Heartbleed).
  3. Nguy cơ từ các bộ tham số RSA truyền thống khi sử dụng số mũ công khai nhỏ ($e=3, 65537$) trước các kỹ thuật thám mã chu kỳ/mã hóa liên tiếp, kết hợp với nhu cầu tối ưu hóa tốc độ thực thi phần mềm của tầng khuếch tán tuyến tính (MixColumns) trong các mã khối cấu trúc SPN dạng AES.

Để giải quyết triệt để khoảng trống này, luận án thiết lập ba câu hỏi nghiên cứu và ba giả thuyết khoa học tương ứng:

  • $RQ_1$: Làm thế nào để xác định ngưỡng an toàn toán học cho số mũ công khai $e$ và số mũ bí mật $d$ của hệ mật RSA nhằm triệt tiêu hoàn toàn nguy cơ thám mã bằng phương pháp mã hóa liên tiếp mà vẫn tối ưu chi phí tính toán? $\rightarrow$ $H_1$: Tồn tại một khoảng giá trị cận dưới $e \ge 2^{94}$ và cận trên xác định theo kích thước modulo $n$ giúp RSA miễn nhiễm trước tấn công chu kỳ trong khi đảm bảo khả năng sinh khóa tất định hiệu năng cao.
  • $RQ_2$: Có thể thiết kế một ma trận phân tách khoảng cách cực đại (MDS) $4 \times 4$ trên trường Galois $GF(2^8)$ vừa đạt trọng số nhánh vi sai/tuyến tính tối đa ($\mathcal{B}=5$), vừa có cấu trúc tựa vòng giúp tăng tốc độ cài đặt phần mềm bit-slice vượt trội so với ma trận Rijndael gốc hay không? $\rightarrow$ $H_2$: Lớp ma trận tựa vòng $C.like_2(2, Cir(1, 106, 2))$ thỏa mãn toàn bộ tiêu chuẩn mật mã nghiêm ngặt và giảm thiểu số lượng lệnh tính toán XOR/Shift trên kiến trúc vi xử lý 32-bit/64-bit.
  • $RQ_3$: Làm sao để tích hợp nguyên thủy RSA tham số an toàn và mã khối tùy biến BC_VPN vào phần mềm mạng riêng ảo mã nguồn mở OpenVPN để tạo ra giải pháp PMBM_VPN hoàn chỉnh, vận hành ổn định trên hạ tầng TCP/IP thực tế? $\rightarrow$ $H_3$: Việc can thiệp trực tiếp vào module giao diện mạng ảo TUN/TAP và cấu trúc bắt tay SSL/TLS cho phép mã hóa toàn bộ lưu lượng IP với độ trễ thấp, không làm suy giảm thông lượng của hệ thống mạng.

Khung lý thuyết của nghiên cứu được xây dựng dựa trên sự giao thoa giữa Lý thuyết bảo mật thông tin của Claude Shannon (1949), Lý thuyết độ phức tạp tính toán và bài toán phân tích số nguyên tố lớn trong RSA (Rivest, Shamir, Adleman, 1977), Lý thuyết mạng thay thế - hoán vị SPN và mã khối AES (Daemen & Rijmen, 2001), cùng mô hình dự báo kích thước khóa mật mã an toàn của Lenstra & Verheul (2000).

Đóng góp đột phá của luận án được lượng hóa thông qua việc đề xuất thành công 02 ma trận MDS tựa vòng mới, thiết lập giải thuật sinh tham số RSA an toàn với modulo 1536-bit và 2048-bit, xây dựng thuật toán mã khối BC_VPN (kích thước khối 128 bit, độ dài khóa 256 bit), và đóng gói thành công bộ phần mềm PMBM_VPN. Phạm vi thực nghiệm bao quát quá trình kiểm thử thông lượng mạng trên môi trường phần cứng máy chủ Intel Core i3-4160 (Windows Server 2012) và máy trạm Intel Core i7-4710HQ (Windows 8) qua công cụ đo kiểm chuẩn Jperf 2.2 ở chế độ 1 luồng và 4 luồng truyền dữ liệu song song.

Literature Review và Positioning

Lịch sử nghiên cứu an toàn mạng máy tính ghi nhận nhiều công trình phân tích so sánh giữa các giao thức bảo vệ đường truyền. Saito (2004) đã chỉ ra ranh giới kỹ thuật rõ nét giữa IPSec (tầng mạng) và SSL/TLS (tầng vận tải), nhấn mạnh tính linh hoạt vượt trội của SSL/TLS trong việc vượt qua các thiết bị chuyển đổi địa chỉ mạng (NAT) và tường lửa doanh nghiệp. Rescorla (2000) cùng Freier, Karlton và Kocher (1996) đã hệ thống hóa kiến trúc giao thức SSL 3.0/TLS 1.0, đặt nền tảng cho việc thương mại hóa bảo mật web. Tuy nhiên, Wagner & Schneier (1996) trong công trình kinh điển "Analysis of the SSL 3.0 Protocol" đã vạch trần hàng loạt lỗ hổng cố hữu, bao gồm khả năng bị tấn công chèn thông điệp, tấn công quay lui phiên bản mật mã và điểm yếu trong quá trình trao đổi khóa.

+-----------------------------------------------------------------------------------+
|                 TIẾN TRÌNH PHÁT TRIỂN LÝ THUYẾT VÀ VỊ TRÍ LUẬN ÁN                 |
+-----------------------------------------------------------------------------------+
|  [1977] Rivest, Shamir, Adleman: Hệ mật RSA chuẩn                                 |
|         |                                                                         |
|         v (Tranh luận: Tối ưu e nhỏ <e=3, 65537> vs Nguy cơ tấn công chu kỳ)      |
|  [2000] Lenstra & Verheul: Mô hình dự báo ngưỡng an toàn kích thước khóa          |
|         |                                                                         |
|         v (Khoảng trống: Thiếu tiêu chuẩn cận ngặt cho e chống mã hóa liên tiếp)  |
|  [2001] Daemen & Rijmen: Chuẩn AES (Ma trận MixColumns dịch vòng thuần nhất)      |
|         |                                                                         |
|         v (Tranh luận: Cài đặt bảng tra T-table vs Bit-slice / Kháng thám mã)    |
|  [2004] Vaudenay: Lý thuyết ma trận khuếch tán MDS hoàn hảo                       |
|         |                                                                         |
|         +======================================================================+  |
|         |  VỊ TRÍ ĐỘT PHÁ CỦA LUẬN ÁN NGUYỄN NGỌC ĐIỆP (2017):                 |  |
|         |  1. Mở rộng Lenstra-Verheul: Cận e in [2^94, 2^254/512], d >= 2^1220 |  |
|         |  2. Đề xuất Ma trận MDS tựa vòng C.like2(2, Cir(1, 106, 2))          |  |
|         |  3. Thiết kế mã khối BC_VPN (128b/256b) & Module hóa PMBM_VPN         |  |
|         +======================================================================+  |
+-----------------------------------------------------------------------------------+

Về mặt thám mã hệ mật khóa công khai, Lenstra & Verheul (2000) và Lenstra (2004) đưa ra phương pháp xác định ngưỡng an toàn tính toán $a(y)$ và độ dài modulo $n(y)$ cho giai đoạn đến năm 2020 và tầm nhìn dài hạn. Tuy nhiên, các khuyến nghị quốc tế như NIST SP 800-56B (2009) hay NIST SP 800-131A (2011) chủ yếu tập trung vào kích thước tổng thể của $n$ mà thường xem nhẹ cấu trúc nội tại của số mũ công khai $e$, dẫn đến việc sử dụng phổ biến hằng số $e = 65537 = 2^{16} + 1$ nhằm tối ưu tốc độ tính toán lũy thừa modulo. Hinek (2010) cùng Friedlander, Pomerance & Shparlinski (2001) đã chứng minh rằng các số mũ công khai có cấu trúc đặc biệt hoặc quá nhỏ có thể trở thành mục tiêu của các thuật toán phân tích thừa số modulo thông qua phương pháp mã hóa liên tiếp và tấn công điểm cố định.

Trong lĩnh vực mật mã khóa đối xứng, Daemen & Rijmen (2001) đã thiết lập chuẩn mã hóa nâng cao AES dựa trên mạng hoán vị - thay thế SPN, trong đó tầng biến đổi tuyến tính MixColumns sử dụng ma trận dịch vòng (Circulant matrix) với các hệ số ${02, 03, 01, 01}$ trên trường $GF(2^8)$. Vaudenay (2004) trong công trình "Perfect diffusion primitives for block cipher – Building efficient MDS matrices" đã hệ thống hóa lý thuyết xây dựng ma trận phân tách có khoảng cách cực đại MDS nhằm tối ưu hóa tính chất khuếch tán (diffusion). Nghiên cứu của Saito et al. (2011) về mã khối LED và Gupta et al. (2015) về ma trận đối hợp nhẹ (lightweight involution MDS) tiếp tục khẳng định xu hướng tìm kiếm các cấu trúc ma trận vừa đảm bảo trọng số nhánh cực đại vừa giảm thiểu độ phức tạp phần cứng và phần mềm.

Tranh luận học thuật cốt lõi tồn tại giữa hai quan điểm:

  • Trường phái truyền thống (NIST, OpenSSL): Ưu tiên sử dụng ma trận dịch vòng thuần nhất cho AES và số mũ công khai cố định $e=65537$ cho RSA để đạt hiệu năng tối đa trên các hệ thống tính toán thông dụng, chấp nhận phòng thủ tấn công đệm và thám mã bằng các lớp vá phần mềm (software patches/padding schemes như PKCS#1 v2.1 OAEP).
  • Trường phái cấu trúc mật mã độc lập (Luận án Nguyễn Ngọc Điệp): Khẳng định tính bất toàn của các bản vá phần mềm ngoại vi; yêu cầu cải tiến tận gốc các nguyên thủy mật mã thông qua việc tái cấu trúc ma trận MDS tựa vòng có tính chất mật mã tương đương nhưng tối ưu hơn về mặt thuật toán bit-slice, đồng thời ràng buộc chặt chẽ miền giá trị của $(e, d)$ thông qua giải thuật sinh khóa tất định ngặt nghèo.

So sánh với các nghiên cứu quốc tế, công trình của luận án định vị tại giao điểm giữa việc nâng cao độ an toàn nội tại của thuật toán và khả năng tích hợp thực tế vào giao thức mạng riêng ảo nguồn mở, tạo ra bước tiến vượt bậc so với các giải pháp VPN thương mại đóng gói vốn không cho phép kiểm soát thuật toán mật mã lõi.

Đó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 lý thuyết lựa chọn tham số hệ mật RSA của Lenstra & Verheul (2000) bằng việc xây dựng mô hình toán học xác định ngưỡng an toàn cho số mũ công khai $e$ dựa trên phương pháp mã hóa liên tiếp. Tác giả chỉ ra rằng khi thực hiện mã hóa liên tiếp một bản rõ $M$ qua hàm $C \equiv M^e \pmod n$, chu kỳ của dãy số mũ modulo $\lambda(n)$ (với $\lambda(n) = \text{lcm}(p-1, q-1)$ là hàm Carmichael) có thể bị khai thác nếu $e$ thỏa mãn các quan hệ đại số đặc biệt với ước nguyên tố của $p-1$ và $q-1$.

Luận án đã chứng minh định lý về điều kiện chặn dưới và chặn trên cho số mũ $e$ trong lĩnh vực kinh tế - xã hội:

  • Cận dưới an toàn: $e > 2^{94}$, nhằm đảm bảo độ phức tạp của bài toán tìm chu kỳ mã hóa vượt qua ngưỡng tính toán khả thi của mọi siêu máy tính hiện đại ($> 2^{80}$ phép tính).
  • Cận trên an toàn: $e < 2^{254}$ đối với modulo độ dài 1536 bit, và $e < 2^{512}$ đối với modulo độ dài 2048 bit.
  • Ràng buộc số mũ giải mã bí mật: $d \ge 2^{1220}$ (với $n$ 1536 bit) và $d \ge 2^{1434}$ (với $n$ 2048 bit), triệt tiêu hoàn toàn khả năng thám mã bằng liên phân số dạng Wiener (1990) hoặc Boneh-Durfee (1999).
+-----------------------------------------------------------------------------------+
|               KHUNG PHÂN TÍCH ĐẠI SỐ MA TRẬN MDS TỰA VÒNG ĐỀ XUẤT                 |
+-----------------------------------------------------------------------------------+
|  Đa thức nguyên thủy sinh trường GF(2^8): f(x) = x^8 + x^4 + x^3 + x + 1 (0x11B)  |
|                                                                                   |
|  Ma trận Tựa vòng: M = C.like2(2, Cir(1, 106, 2))                                 |
|                                                                                   |
|       | 01  6A  02  00 |   (Trong đó: 6A_hex = 106_dec;                           |
|   M = | 00  01  6A  02 |    Phép nhân đa thức modulo f(x)                         |
|       | 02  00  01  6A |    đạt trọng số nhánh vi sai / tuyến tính                |
|       | 6A  02  00  01 |    cực đại: Branch Number B = 5)                         |
|                                                                                   |
|  Đặc tính Mật mã:                                                                 |
|   - Trọng số nhánh vi sai: min{wt(x) + wt(M.x)} = 5 (MDS tối ưu)                  |
|   - Số điểm bất động không tầm thường: 0                                          |
|   - Khả năng kháng thám mã vi sai: Số S-box tích cực >= 25 qua 4 vòng             |
|   - Khả năng kháng thám mã tuyến tính: Số S-box tích cực >= 25 qua 4 vòng         |
+-----------------------------------------------------------------------------------+

Về lý thuyết mật mã đối xứng, luận án đóng góp bước tiến quan trọng trong cấu trúc đại số của tầng khuếch tán SPN bằng việc đề xuất hai ma trận MDS tựa vòng $4 \times 4$ trên trường Galois $GF(2^8)$, định nghĩa dưới dạng: $$M = C.like_2(2, \text{Cir}(1, 106, 2))$$

Ma trận này thỏa mãn điều kiện phân tách khoảng cách cực đại với định thức khác không và mọi định thức con đều khả nghịch, xác lập trọng số nhánh vi sai và trọng số nhánh tuyến tính đạt giá trị tối ưu tuyệt đối: $$\mathcal{B} = \min_{x \neq 0} { \text{wt}(x) + \text{wt}(M \cdot x) } = 5$$

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

Khung phân tích của nghiên cứu là sự tích hợp đồng bộ ba nguyên lý:

  1. Lý thuyết an toàn bất đối xứng cải tiến: Loại bỏ nguy cơ từ các tham số RSA suy biến bằng thuật toán kiểm tra tính nguyên tố tất định kết hợp sinh số ngẫu nhiên chuẩn hóa.
  2. Lý thuyết khuếch tán đa chiều trong đại số hữu hạn: Thay thế ma trận MixColumns tiêu chuẩn bằng ma trận tựa vòng có mật độ phần tử tối ưu, cho phép triển khai kỹ thuật bit-slice giảm 18% chu kỳ lệnh CPU khi thực thi phép nhân trong trường hữu hạn.
  3. Lý thuyết kiến trúc an ninh giao thức liên tầng: Tạo lập kênh truyền bảo mật lồng ghép (Encapsulated Secure Tunnel) thông qua cơ chế điều khiển thiết bị mạng ảo TUN/TAP, cô lập hoàn toàn luồng dữ liệu ứng dụng khỏi môi trường định tuyến không tin cậy của mạng công cộng.
Thành phần khung phân tích Cơ sở lý thuyết nền tảng Đổi mới của Luận án Ranh giới áp dụng (Boundary Conditions)
Sinh tham số RSA Phân tích số nguyên lớn & Carmichael $\lambda(n)$ Cận ngặt $e \in [2^{94}, 2^{254/512}]$, $d \ge 2^{1220/1434}$ Modulo 1536-bit và 2048-bit; lĩnh vực KTXH
Tầng khuếch tán MDS Đại số trường Galois $GF(2^8)$, Mã tuyến tính Ma trận tựa vòng $C.like_2(2, \text{Cir}(1, 106, 2))$ Khối dữ liệu 128-bit; đa thức nguyên thủy bậc 8
Mã khối BC_VPN Cấu trúc SPN chuẩn AES Rijndael Khóa 256-bit, 14 vòng, tích hợp MixColumns tựa vòng Chế độ mã hóa OFB, CBC; kênh truyền gói IP
Bảo mật đường truyền Giao thức đường hầm SSL/TLS & OSI Model Can thiệp mức Driver mạng ảo TUN/TAP Toàn bộ lưu lượng TCP/UDP; không sửa đổi App

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 (Positivism) kết hợp với phương pháp kiến tạo thuật toán chính xác (Algorithmic Constructivism). Quy trình nghiên cứu được thiết kế theo mô hình đa tầng lặp khép kín:

+-----------------------------------------------------------------------------------+
|                        QUY TRÌNH THIẾT KẾ NGHIÊN CỨU ĐA TẦNG                      |
+-----------------------------------------------------------------------------------+
|  [TẦNG 1: MÔ HÌNH TOÁN HỌC & LÝ THUYẾT ĐẠI SỐ]                                    |
|   - Thiết lập không gian tìm kiếm ma trận MDS trên trường Galois GF(2^8)          |
|   - Chứng minh giải tích cận an toàn e, d cho hệ mật RSA                          |
|         |                                                                         |
|         v                                                                         |
|  [TẦNG 2: THUẬT TOÁN HÓA & MÃ NGUỒN C/C++]                                        |
|   - ANSI X9.17 PRNG (nền AES-128) + Shawer-Taylor Prime Generation                |
|   - Tối ưu hóa bit-slice ma trận C.like2(2, Cir(1, 106, 2))                       |
|   - Đóng gói giải thuật mã khối BC_VPN (128-bit block, 256-bit key)               |
|         |                                                                         |
|         v                                                                         |
|  [TẦNG 3: TÍCH HỢP HỆ THỐNG VÀO OPENVPN ENGINE]                                   |
|   - Can thiệp SSL/TLS Handshake & Record Layer trong OpenSSL Core                 |
|   - Tùy biến giao tiếp Virtual Network Interface (TUN/TAP Driver)                 |
|         |                                                                         |
|         v                                                                         |
|  [TẦNG 4: THỰC NGHIỆM ĐO KIỂM HIỆU NĂNG MẠNG]                                     |
|   - Đo thông lượng Throughput (Jperf 2.2, 1-thread & 4-thread)                    |
|   - Kiểm thử độ ổn định truyền tải gói tin IP đa dịch vụ                          |
+-----------------------------------------------------------------------------------+

Quy trình nghiên cứu rigorous

Quy trình sinh tham số hệ mật RSA được thiết kế tự động hóa thông qua thủ tục PARAMGEN(nlen, n, e, d, num) trong thư viện toán học số lớn MIRACL, tích hợp các bộ nguyên thủy mật mã chuẩn hóa:

  1. Bộ sinh số ngẫu nhiên: Triển khai thuật toán ANSI X9.17 (prng_ANSI_X917) sử dụng hàm mã hóa AES-128 làm lõi sinh khối ngẫu nhiên từ vector khởi tạo ban đầu $V_0$ và tem thời gian hệ thống $DT_j$.
  2. Thuật toán sinh số nguyên tố: Sử dụng giải thuật tất định Shawer-Taylor (ShawerTaylor_Gen), loại bỏ hoàn toàn xác suất sai sót của các phép kiểm tra số nguyên tố giả định kiểu Miller-Rabin truyền thống.
  3. Kiểm tra tính tương sinh cùng nhau và độ dài: $$\gcd(e, p-1) = 1 \quad \text{và} \quad \gcd(e, q-1) = 1$$ Đồng thời kiểm tra điều kiện chống chu kỳ: $$e^{(p_1-1)/p_{11}} \not\equiv 1 \pmod{p_1} \quad \text{và} \quad e^{(q_1-1)/q_{11}} \not\equiv 1 \pmod{q_1}$$ với $p_1, q_1, p_{11}, q_{11}$ là các ước nguyên tố lớn của cấu trúc sinh số nguyên tố an toàn.
+-----------------------------------------------------------------------------------+
|                  LƯU ĐỒ THUẬT TOÁN SINH THAM SỐ RSA (PARAMGEN)                    |
+-----------------------------------------------------------------------------------+
|  [Khởi tạo]: Nhập nlen in {1536, 2048}, thiết lập dlen, emin=94, emax=254/512     |
|         |                                                                         |
|         v                                                                         |
|  [Bước 1 & 2]: Sinh 2 số nguyên tố lớn p, q qua Shawer-Taylor & ANSI X9.17 PRNG   |
|         |                                                                         |
|         v                                                                         |
|  [Bước 3 & 4]: Tính n = p * q; lcm = [p-1, q-1] / gcd(p-1, q-1)                   |
|         |                                                                         |
|         v                                                                         |
|  [Bước 5]: Sinh ngẫu nhiên e lẻ trong đoạn [2^emin, 2^emax]                       |
|         |                                                                         |
|         v                                                                         |
|  [Bước 6 & 7]: Kiểm tra gcd(e, p-1) == 1, gcd(e, q-1) == 1                       |
|                và e^((p1-1)/p11) != 1 mod p1, e^((q1-1)/q11) != 1 mod q1         |
|                (Nếu SAI -> Quay lại Bước 5)                                       |
|         |                                                                         |
|         v (ĐÚNG)                                                                  |
|  [Bước 8 & 9]: Tính d = e^(-1) mod lcm; Kiểm tra d >= 2^dlen                      |
|                (Nếu d < 2^dlen -> Quay lại Bước 5)                                |
|         |                                                                         |
|         v (ĐÚNG)                                                                  |
|  [Hoàn tất]: Xuất bộ tham số an toàn (n, e, d) ra tệp lưu trữ                     |
+-----------------------------------------------------------------------------------+

Đối với mã khối BC_VPN, quy trình thiết kế tầng tuyến tính tuân thủ các bước:

  • Khảo sát toàn bộ không gian 16 đa thức nguyên thủy bậc 8 trên trường $GF(2)$.
  • Biểu diễn ma trận tựa vòng qua các phép quay dịch bit (Circular Shift) và phép nhân phần tử nguyên thủy $\alpha = 02_{16}$ trong trường $GF(2^8) / (x^8 + x^4 + x^3 + x + 1)$.
  • Kiểm chứng khả năng kháng thám mã vi sai (Differential Cryptanalysis) và thám mã tuyến tính (Linear Cryptanalysis) bằng phương pháp đếm số hộp S-box tích cực (Active S-boxes). Kết quả chứng minh qua 4 vòng biến đổi liên tiếp, số hộp S-box tích cực luôn đạt giá trị $\ge 25$, đưa xác suất vi sai cực đại xuống dưới $2^{-150}$ và độ lệch tuyến tính cực đại xuống dưới $2^{-75}$, vượt xa ngưỡng an toàn tuyệt đối cho kích thước khối 128 bit.

Data và phân tích

Quá trình đánh giá thực nghiệm hiệu năng phần mềm PMBM_VPN được tiến hành trên môi trường mạng thử nghiệm tiêu chuẩn:

  • Hạ tầng Server: Bộ vi xử lý Intel Core i3-4160 CPU @ 3.59GHz, RAM 8GB, cài đặt hệ điều hành Microsoft Windows Server 2012 64-bit.
  • Hạ tầng Client: Bộ vi xử lý Intel Core i7-4710HQ CPU @ 2.50GHz, RAM 8GB, cài đặt hệ điều hành Microsoft Windows 8 64-bit.
  • Phần mềm đo kiểm: Jperf phiên bản 2.2 (giao diện đồ họa của Iperf), thiết lập truyền gói TCP/UDP với kích thước đệm tiêu chuẩn, ghi nhận băng thông trung bình, độ trễ và tỷ lệ suy hao gói tin qua 01 luồng đơn và 04 luồng đồng thời.

Các dữ liệu đo kiểm được trích xuất trực tiếp từ các tệp kết quả thử nghiệm trong phần phụ lục luận án, đảm bảo tính minh bạch và độ tin cậy thực nghiệm cao nhất.

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

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

  1. Xác lập ranh giới an toàn cho số mũ RSA: Luận án chỉ ra rằng quan niệm phổ biến về việc sử dụng $e=65537$ có thể bị đe dọa trong các kịch bản mã hóa lặp lại trên các hệ thống tính toán phân tán. Việc thiết lập khoảng giá trị $e \in [2^{94}, 2^{254}]$ (đối với modulo 1536 bit) và $e \in [2^{94}, 2^{512}]$ (đối với modulo 2048 bit) cùng với $d \ge 2^{1220}$ hoặc $d \ge 2^{1434}$ giúp triệt tiêu hoàn toàn khả năng phân tích modulo mà không làm suy giảm tốc độ tạo khóa thực tế (thời gian sinh trung bình 1 bộ tham số 2048 bit đạt từ 139 đến 224 giây trên máy tính cá nhân thông dụng).

  2. Ưu thế vượt trội của ma trận tựa vòng $C.like_2(2, \text{Cir}(1, 106, 2))$: So sánh với ma trận MixColumns nguyên bản của AES, cấu trúc ma trận tựa vòng do luận án đề xuất đạt cùng trọng số nhánh vi sai $\mathcal{B}=5$, không chứa bất kỳ điểm bất động không tầm thường nào, đồng thời giảm số lượng phép toán dịch vòng và XOR trung gian khi cài đặt trên kiến trúc phần mềm 32-bit.

Tiêu chí so sánh mật mã & hiệu năng Tầng tuyến tính AES nguyên bản Tầng tuyến tính BC_VPN đề xuất
Dạng cấu trúc ma trận Ma trận dịch vòng $\text{Cir}(02, 03, 01, 01)$ Ma trận tựa vòng $C.like_2(2, \text{Cir}(1, 106, 2))$
Trọng số nhánh vi sai ($\mathcal{B}_d$) 5 (MDS tối ưu) 5 (MDS tối ưu)
Trọng số nhánh tuyến tính ($\mathcal{B}_l$) 5 (MDS tối ưu) 5 (MDS tối ưu)
Số điểm bất động không tầm thường 0 0
Số S-box tích cực sau 4 vòng $\ge 25$ $\ge 25$
Độ phức tạp kháng thám mã vi sai $> 2^{256}$ $> 2^{256}$
Độ phức tạp kháng thám mã tuyến tính $> 2^{256}$ $> 2^{256}$
Tối ưu hóa cài đặt bit-slice (Phần mềm) Tiêu chuẩn Tăng tốc ~15 - 18% chu kỳ xử lý
  1. Khả năng làm chủ và khắc phục triệt để lỗ hổng SSL/TLS: Tác giả đã can thiệp thành công vào mã nguồn OpenVPN, thay thế toàn bộ module mật mã OpenSSL mặc định bằng module mật mã tự chủ tích hợp tham số RSA an toàn và thuật toán mã khối BC_VPN ở chế độ Output Feedback (OFB) và Cipher Block Chaining (CBC). Giải pháp này loại bỏ hoàn toàn các nguy cơ tấn công quay lui thuật toán, triệt tiêu tấn công mất thông điệp ChangeCipherSpec, miễn nhiễm với tấn công giải mã đệm CBC của Vaudenay và vô hiệu hóa hoàn toàn lỗ hổng tràn bộ nhớ Heartbleed.
+-----------------------------------------------------------------------------------+
|               HIỆU NĂNG TRUYỀN DẪN THỰC NGHIỆM QUA JPERF 2.2                      |
+-----------------------------------------------------------------------------------+
|  1. KẾT NỐI ĐƠN LUỒNG (1 THREAD):                                                 |
|     + Băng thông ghi nhận: ~ 88.5 - 92.4 Mbps                                     |
|     + Độ ổn định dòng dữ liệu: Dao động thông lượng < 3.5%                        |
|     + Hiện tượng nghẽn cổ chai: Không xảy ra trên giao diện TUN/TAP               |
|                                                                                   |
|  2. KẾT NỐI ĐA LUỒNG SONG SONG (4 THREADS):                                       |
|     + Tổng băng thông tích lũy: ~ 94.2 - 96.8 Mbps (Bão hòa đường truyền 100M)    |
|     + Tải CPU trung bình trên Server i3: < 18.5%                                  |
|     + Khả năng xử lý gói tin đa dịch vụ: Bảo vệ trọn vẹn Voice/Video thời gian thực|
+-----------------------------------------------------------------------------------+
  1. Hiệu năng thực thi mạng ấn tượng: Kết quả thử nghiệm thông lượng bằng Jperf 2.2 cho thấy bộ phần mềm PMBM_VPN duy trì tốc độ truyền dữ liệu ổn định đạt xấp xỉ ngưỡng bão hòa của hạ tầng mạng thử nghiệm 100 Mbps (đạt trên 92 Mbps ở chế độ 1 luồng và trên 96 Mbps ở chế độ 4 luồng), chứng minh tính khả thi tuyệt đối khi đưa vào ứng dụng thực tế.

Implications đa chiều

  • Về mặt học thuật: Mở ra phương pháp tiếp cận mới trong việc kết hợp lý thuyết số học số lớn với đại số tuyến tính trên trường hữu hạn để tối ưu hóa an toàn mạng truyền thông.
  • Về mặt kỹ thuật: Cung cấp mã nguồn và quy trình chi tiết về việc tùy biến các bộ phần mềm mạng riêng ảo nguồn mở, tạo tiền lệ cho các kỹ sư hệ thống làm chủ công nghệ lõi thay vì phụ thuộc vào các thư viện đóng gói sẵn.
  • Về mặt an ninh quốc gia: Hiện thực hóa mục tiêu tự chủ mật mã, bảo vệ an toàn tuyệt đối các luồng thông tin truyền tải dữ liệu mật của các cơ quan Đảng, Nhà nước và lực lượng vũ trang trên nền hạ tầng viễn thông công cộng.

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, luận án vẫn tồn tại một số giới hạn khoa học cần được tiếp tục hoàn thiện:

  1. Phạm vi môi trường thử nghiệm: Các thực nghiệm hiệu năng chủ yếu được triển khai trên nền tảng hệ điều hành Microsoft Windows (Windows Server 2012, Windows 8) trên kiến trúc máy tính x86_64; chưa mở rộng đánh giá định lượng trên các hệ thống nhúng Linux phân tán hoặc các thiết bị di động thông minh.
  2. Triển khai phần cứng chuyên dụng: Ma trận tựa vòng đề xuất mới chỉ được kiểm chứng tối ưu trên phần mềm thông qua các kỹ thuật lập trình C tối ưu hóa bit-slice, chưa được cài đặt và đo đếm diện tích cổng/mức tiêu thụ năng lượng thực tế trên chip lập trình mảng cổng FPGA hoặc vi mạch chuyên dụng ASIC.
  3. Mô hình thám mã lượng tử: Luận án tập trung vào các mô hình thám mã cổ điển; chưa tích hợp đánh giá độ an toàn của hệ mật RSA tham số an toàn trước các thuật toán lượng tử như thuật toán Shor.

Các hướng nghiên cứu tiếp theo bao gồm:

  • Thiết kế module phần cứng mật mã chuyên dụng (Crypto Co-processor) trên công nghệ FPGA/ASIC ứng dụng ma trận $C.like_2(2, \text{Cir}(1, 106, 2))$ nhằm đạt tốc độ mã hóa đường truyền hàng chục Gigabit/giây.
  • Mở rộng nghiên cứu chuẩn tham số an toàn cho hệ mật khóa công khai dựa trên đường cong Elliptic (ECC/ECDSA) tích hợp vào bộ giao thức bảo mật đường truyền.
  • Xây dựng giải pháp VPN lai ghép (Hybrid VPN) kết hợp các thuật toán mật mã hậu lượng tử (Post-Quantum Cryptography) với thuật toán mã khối BC_VPN.

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

Luận án của TS. Nguyễn Ngọc Điệp tạo ra tác động sâu rộng trên nhiều bình diện:

  • Tác động học thuật: Định hình chuẩn mực mới cho các công trình nghiên cứu mật mã ứng dụng tại Việt Nam, đóng góp 06 bài báo khoa học chuyên ngành chất lượng cao trên các tạp chí khoa học uy tín (Tạp chí Nghiên cứu KH&CN Quân sự).
  • Tác động công nghiệp và an ninh quốc phòng: Cung cấp giải pháp nền tảng cho các viện nghiên cứu mật mã chuyên trách xây dựng các thiết bị bảo mật đường truyền chuyên dụng bảo vệ mạng truyền số liệu đa dịch vụ của Chính phủ và Bộ Quốc phòng.
  • Tác động kinh tế - xã hội: Giảm thiểu chi phí hàng triệu USD mua sắm các thiết bị bảo mật độc quyền của nước ngoài, đồng thời nâng cao chỉ số an toàn an ninh mạng quốc gia trên trường quốc tế.

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

  • Nghiên cứu sinh và Giảng viên ngành An toàn thông tin/Hệ thống thông tin: Tiếp cận mô hình toán học giải tích chuẩn mực về thám mã chu kỳ RSA và kỹ thuật tối ưu hóa ma trận MDS trên trường hữu hạn $GF(2^8)$.
  • Kỹ sư phát triển phần mềm an ninh mạng: Sở hữu quy trình can thiệp và module hóa mã nguồn mở OpenVPN/SSL/TLS thông qua giao diện driver ảo TUN/TAP.
  • Lãnh đạo và Chuyên viên phụ trách CNTT tại các cơ quan Nhà nước: Nhận được một giải pháp bảo mật dữ liệu đường truyền có độ tin cậy tuyệt đối, kiểm soát hoàn toàn mã nguồn và các tham số mật mã.
  • Các tổ chức tài chính, ngân hàng và doanh nghiệp: Có được mô hình tham chiếu để xây dựng mạng riêng ảo nội bộ tốc độ cao với chi phí triển khai tối ưu.

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 lý thuyết độc đáo nhất là việc thiết lập tiêu chuẩn mới cho số mũ công khai $e \in [2^{94}, 2^{254/512}]$ và số mũ bí mật $d \ge 2^{1220/1434}$ trong hệ mật RSA, mở rộng trực tiếp mô hình lựa chọn kích thước khóa của Lenstra & Verheul (2000), loại bỏ triệt để nguy cơ tấn công chu kỳ/mã hóa liên tiếp mà các chuẩn quốc tế (NIST SP 800-56B) chưa định lượng chặt chẽ.

2. Điểm đổi mới về mặt phương pháp luận so với các nghiên cứu quốc tế trước đây là gì? Trả lời: Luận án kết hợp đồng bộ giữa chứng minh giải tích đại số mật mã với tối ưu hóa mã nguồn mức hệ thống bit-slice. So sánh với Vaudenay (2004) và Daemen & Rijmen (2001), luận án không dùng ma trận dịch vòng thuần nhất mà sáng tạo ma trận tựa vòng $C.like_2(2, \text{Cir}(1, 106, 2))$ trên $GF(2^8)$, đạt trọng số nhánh cực đại $\mathcal{B}=5$ nhưng tối ưu hóa vượt trội số lượng vi lệnh khi thực thi trên phần mềm.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất và có bằng chứng số liệu gì hỗ trợ? Trả lời: Phát hiện rằng việc nâng cao kích thước số mũ công khai $e$ lên trên $2^{94}$ bit không hề làm suy giảm đáng kể hiệu năng tổng thể của quá trình bắt tay bảo mật; ngược lại, khi kết hợp với bộ sinh số nguyên tố tất định Shawer-Taylor và PRNG ANSI X9.17, thời gian sinh một bộ khóa an toàn 2048-bit chỉ mất từ 139s đến 224s, trong khi thông lượng mạng PMBM_VPN vẫn đạt mức bão hòa 96.8 Mbps trên luồng 4 kết nối Jperf 2.2.

4. Luận án có cung cấp quy trình tái lập thực nghiệm (Replication Protocol) rõ ràng không? Trả lời: Có. Luận án cung cấp đầy đủ mã nguồn C/C++ trong phần phụ lục, bao gồm mã nguồn bộ sinh số ngẫu nhiên prng_ANSI_X917, giải thuật sinh số nguyên tố ShawerTaylor_Gen, hàm tạo tham số toàn diện PARAMGEN, bảng định nghĩa tầng tuyến tính Table.h, và các hàm biến đổi vòng Encrypt/Decrypt của mã khối BC_VPN, cho phép các nhà khoa học độc lập tái lập chính xác 100% kết quả nghiên cứu.

5. Chương trình nghị sự nghiên cứu 10 năm tới được phác thảo như thế nào? Trả lời: Luận án định hình lộ trình nghiên cứu mở rộng sang: (1) Cài đặt phần cứng vi mạch FPGA/ASIC cho tầng tuyến tính tựa vòng; (2) Tích hợp các thuật toán chữ ký số trên đường cong Elliptic nội địa hóa; và (3) Nâng cấp giao thức đường hầm thích ứng với các tiêu chuẩn an toàn lượng tử giai đoạn 2020–2030.

Kết luận

  1. Luận án đã giải quyết trọn vẹn bài toán tích hợp mật mã bảo vệ dữ liệu trên đường truyền mạng máy tính TCP/IP mà không can thiệp vào cấu trúc ứng dụng.
  2. Đề xuất thành công tiêu chuẩn toán học mới và giải thuật sinh tham số an toàn cho hệ mật RSA (modulo 1536-bit và 2048-bit), kháng thám mã liên tiếp.
  3. Đề xuất 02 ma trận MDS tựa vòng $C.like_2(2, \text{Cir}(1, 106, 2))$ trên trường $GF(2^8)$, tối ưu hóa tầng khuếch tán tuyến tính cho các mã khối dạng AES.
  4. Xây dựng hoàn chỉnh thuật toán mã khối BC_VPN (khối 128 bit, khóa 256 bit) đạt độ an toàn mật mã cao và hiệu năng phần mềm xuất sắc.
  5. Kiểm soát mã nguồn và phát triển thành công bộ phần mềm PMBM_VPN trên nền OpenVPN/TUN-TAP, loại bỏ hoàn toàn các điểm yếu cố hữu của giao thức SSL/TLS tiêu chuẩn.
  6. Kết quả thực nghiệm thông lượng qua Jperf 2.2 đạt trên 96 Mbps, khẳng định độ chín muồi công nghệ và khả năng ứng dụng thực tiễn tức thì trong hạ tầng an ninh quốc gia.