Tổng quan về luận án

Sự bùng nổ của mạng Vạn vật kết nối (Internet of Things - IoT) đã định hình lại toàn bộ hạ tầng công nghệ thông tin toàn cầu, tích hợp hàng tỷ thiết bị thông minh từ cảm biến công nghiệp, thiết bị đeo y tế đến các hệ thống điều khiển giao thông và hạ tầng an ninh, quốc phòng. Tuy nhiên, phần lớn các thiết bị IoT tại biên mạng (edge nodes) đều bị ràng buộc nghiêm ngặt về tài nguyên: năng lực tính toán hạn chế (bộ vi điều khiển 8-bit hoặc 16-bit), dung lượng bộ nhớ RAM/ROM cực nhỏ (dưới vài kilobyte) và nguồn năng lượng hoạt động chủ yếu dựa vào pin có tuổi thọ giới hạn. Trong khi đó, các nguy cơ mất an toàn thông tin đối với mạng IoT lại phức tạp và đa dạng không kém mạng Internet truyền thống, trải rộng từ tầng cảm biến (tấn công sao chụp nút mạng - node capture, tấn công từ chối ngủ - denial of sleep, tấn công kênh kề), tầng mạng (tấn công kẻ đứng giữa - Man-in-the-Middle, tấn công từ chối dịch vụ - DoS/DDoS, nghe trộm - eavesdropping) đến tầng ứng dụng (giả mạo định danh, xâm phạm quyền riêng tư).

Để giải quyết mâu thuẫn cốt lõi giữa yêu cầu an ninh cấp cao và sự thiếu hụt tài nguyên phần cứng, nghiên cứu của NCS. Trần Xuân Ban với đề tài "Nghiên cứu, phát triển một số thuật toán nâng cao khả năng bảo mật cho các thiết bị trong mạng IoT" thuộc chuyên ngành Cơ sở toán học cho tin học (Mã số: 9 46 01 10) tại Viện Khoa học và Công nghệ Quân sự (người hướng dẫn khoa học: PGS.TS. Nguyễn Linh Giang và Thiếu tướng TS. Nguyễn Ngọc Cương) đã giải quyết triệt để bài toán này bằng việc phát triển hệ mật mã dòng nhẹ (lightweight stream cipher) tối ưu hóa trên cấu trúc thanh ghi dịch phản hồi tuyến tính kết hợp hàm phi tuyến, đi kèm giải pháp trao đổi khóa kép sáng tạo.

Khoảng trống nghiên cứu (Research Gap) lớn nhất trong y văn hiện hành là sự bất tương thích của các chuẩn mã hóa đối xứng khối kinh điển như AES-128/256 (FIPS 197) hay các hệ mật khóa công khai như RSA-2048, ECC khi triển khai trên các nút cảm biến cực hạn tài nguyên. Ngay cả các hệ mật mã nhẹ quốc tế như WG-16 (Fan et al., 2013) sử dụng khóa 128 bit và vector khởi tạo IV 128 bit trên trường hữu hạn $\mathbb{F}_{2^{16}}$ với hệ số thập phân $d=1057$, hoặc ACORN (Wu, 2016) với trạng thái nội bộ 293 bit gồm 6 thanh ghi dịch, vẫn đòi hỏi khối lượng tính toán và bộ nhớ đệm đáng kể đối với các thẻ RFID thụ động hay cảm biến năng lượng thấp. Hơn nữa, vấn đề trao đổi khóa phiên an toàn mà không làm tiêu hao năng lượng truyền thông của nút mạng vẫn chưa có lời giải toàn diện.

Luận án thiết lập 3 câu hỏi nghiên cứu và 3 giả thuyết khoa học tương ứng:

  • RQ1: Làm thế nào để tối ưu hóa không gian biểu diễn ký tự mầm khóa mà vẫn duy trì tính ngẫu nhiên, giảm thiểu độ phức tạp lưu trữ và băng thông truyền nhận cho các thiết bị IoT?
    • Giả thuyết H1: Việc xây dựng bộ mã nhị phân 5 bit ($2^5 = 32$ trạng thái) dựa trên đa thức nguyên thủy bậc 5 thay thế chuẩn ASCII 8 bit sẽ tiết kiệm 37.5% bộ nhớ và băng thông mà vẫn đảm bảo tính độc lập thống kê giữa các ký tự trong từ điển La-tinh 26 chữ cái.
  • RQ2: Cấu trúc kết hợp phi tuyến của các thanh ghi LFSR cần được thiết kế như thế nào để vừa tối thiểu hóa tài nguyên mạch logic vừa đạt được chu kỳ cực đại và độ phức tạp đại số cao chống lại các đòn thám mã tương quan và đại số?
    • Giả thuyết H2: Bộ tạo dòng khóa kết hợp 5 thanh ghi LFSR có độ dài nguyên tố cùng nhau từng đôi một, thông qua hàm Boolean phi tuyến bậc 4 ở dạng chuẩn tắc đại số (ANF), sẽ tạo ra chuỗi bit giả ngẫu nhiên có chu kỳ tích $\prod_{i=1}^5 (2^{L_i}-1)$, thỏa mãn toàn diện các tiên đề ngẫu nhiên Golomb và định lý bảo mật hoàn thiện của Claude Shannon.
  • RQ3: Cơ chế tạo và trao đổi khóa nào đảm bảo tính an toàn trước các cuộc tấn công nghe trộm mà không cần sử dụng các thuật toán khóa công khai nặng nề?
    • Giả thuyết H3: Mô hình khóa kép phân tách thành Khóa dài hạn ($SK_1$) giấu trong ảnh số truyền qua kênh công khai và Khóa phiên ($SK_2$) đồng thuận động qua phương trình đồng dư đại số sẽ triệt tiêu nguy cơ lộ khóa chủ và giảm tải tối đa tính toán định kỳ cho nút cảm biến.

Khung lý thuyết của công trình được định hình vững chắc dựa trên Lý thuyết Thông tin Shannon (1949), Cơ sở lý thuyết trường hữu hạn Galois $GF(2)$ và $GF(p)[x]$, Lý thuyết chuỗi tựa ngẫu nhiên và các tiên đề Golomb (1967), cùng Lý thuyết hàm Boolean và chuẩn tắc đại số (Algebraic Normal Form - ANF). Đóng góp đột phá của luận án đã được lượng hóa rõ ràng: giảm 37.5% dung lượng lưu trữ mầm khóa, đạt chu kỳ chuỗi bit khóa tiệm cận vô hạn với độ phức tạp tính toán chỉ bao gồm các phép toán XOR, AND, NOT và dịch bit cực nhanh, đáp ứng trọn vẹn tiêu chuẩn mật mã nhẹ ISO/IEC 29192 (độ dài khóa hiệu dụng $\ge 80$ bit đến 112 bit).

Literature Review và Positioning

Tổng quan y văn quốc tế cho thấy mật mã nhẹ cho IoT được phân hóa thành ba dòng tiếp cận chính:

  1. Dòng nghiên cứu mật mã khối nhẹ (Lightweight Block Ciphers): Tiêu biểu là PRESENT (Bogdanov et al., 2007), CLEFIA (ISO/IEC 29192-2), SIMON & SPECK (NSA, 2013). Dòng nghiên cứu này tập trung rút gọn mạng Feistel hoặc mạng hoán vị-thay thế (SPN). Tuy nhiên, mật mã khối đòi hỏi bộ nhớ đệm để lưu trữ toàn bộ khối dữ liệu (64 bit hoặc 128 bit) trước khi xử lý qua nhiều vòng lặp (từ 22 đến 34 vòng trong SPECK, 32 vòng trong SIMON), dẫn đến độ trễ cao và tiêu hao năng lượng liên tục khi truyền dữ liệu dạng dòng từ cảm biến.
  2. Dòng nghiên cứu thanh ghi dịch phản hồi có nhớ (Feedback with Carry Shift Registers - FCSR): Điển hình là công trình của Francois Arnault và cộng sự (2008) với cấu trúc vòng FCSR biểu diễn trên ma trận kề của đồ thị tự động, cùng các thuật toán F-FCSR-H v3 (80 bit khóa/IV) và F-FCSR-16 v3 (128 bit khóa/IV). Mặc dù FCSR có ưu thế về việc tạo dãy Galois và Fibonacci tổng quát, nhưng các nghiên cứu của Hell và Johansson (2008) đã chứng minh cấu trúc này tồn tại điểm yếu nghiêm trọng về va chạm trạng thái nội bộ trong chu kỳ đầu tiên, dẫn đến việc bị thám mã thành công.
  3. Dòng nghiên cứu mật mã dòng nhẹ dựa trên LFSR và phi tuyến hóa: Bao gồm Grain-128 (Hell et al., 2006), Trivium (De Cannière & Preneel, 2008), E0 trong chuẩn Bluetooth (IEEE 802.15.1), và WG-16 (Fan et al., 2013). Trọng tâm của dòng này là tận dụng ưu thế tạo m-dãy chu kỳ lớn của LFSR và bổ sung các hàm lọc/kết hợp phi tuyến để nâng cao độ phức tạp đại số.

Trong bức tranh học thuật đó, tồn tại một cuộc tranh luận sâu sắc giữa hai quan điểm đối nghịch:

  • Quan điểm thứ nhất: Ủng hộ việc sử dụng các hệ mật mã chuẩn hóa đã được kiểm chứng thời gian dài (như AES-128 hoặc giảm số vòng của AES) kết hợp giao thức mạng bảo mật như DTLS/TLS để duy trì tính tương thích toàn cầu.
  • Quan điểm thứ hai: Cho rằng kiến trúc của cảm biến siêu nhỏ (passive RFID, nút mạng WSN) không thể gánh tải cấu trúc phần cứng của AES (vốn yêu cầu hàng ngàn cổng logic tương đương - GE) và đòi hỏi các nguyên thủy mật mã dòng chuyên biệt với chi phí dưới 1000 GE, vận hành hoàn toàn bằng các phép toán thao tác bit cơ bản.

Luận án của NCS. Trần Xuân Ban định vị nghiên cứu của mình thuộc dòng tiếp cận thứ hai nhưng tạo ra sự đột phá vượt bậc khi so sánh trực tiếp với các công trình quốc tế:

  • So sánh với WG-16 (Fan et al., 2013): WG-16 sử dụng LFSR bậc 32 trên trường hữu hạn mở rộng $GF(2^{16})$ với hệ số thập phân $d = 1057$. Cấu trúc này tuy chống chịu tốt tấn công tương quan và biến đổi Fourier rời rạc nhưng đòi hỏi phần cứng phức tạp để tính toán phép nhân và nghịch đảo trên $GF(2^{16})$. Thuật toán đề xuất trong luận án sử dụng kết hợp 5 thanh ghi LFSR trên trường nhị phân cơ bản $GF(2)$ với hàm kết hợp phi tuyến ANF, giúp triệt tiêu hoàn toàn nhu cầu tính toán trường mở rộng, giảm diện tích mạch logic phần cứng một cách tối ưu.
  • So sánh với ACORN (Wu, 2016) và E0 (Bluetooth): ACORN có trạng thái nội bộ 293 bit ghép từ 6 thanh ghi (61, 46, 47, 39, 37, 59 bits), trong khi E0 ghép từ 4 thanh ghi (25, 31, 33, 39 bits) với trạng thái 2 bit. E0 đã bị phát hiện điểm yếu thám mã tương quan do không gian trạng thái nhỏ và hàm kết hợp có độ phức tạp đại số hữu hạn. Thuật toán của luận án khắc phục triệt để lỗ hổng này bằng việc chọn 5 thanh ghi LFSR có chiều dài nguyên tố cùng nhau, đẩy chu kỳ tổng thể lên mức cực đại $\prod_{i=1}^5 (2^{L_i}-1)$ và đạt bậc phi tuyến bằng 4, vô hiệu hóa hoàn toàn thuật toán Berlekamp-Massey.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án đã mở rộng và làm sâu sắc thêm các lý thuyết nền tảng của mật mã học hiện đại trong bối cảnh tính toán biên:

  1. Mở rộng Định lý Bí mật Hoàn thiện của Claude Shannon (1949): Trong phương trình mã hóa dòng $C = P \oplus S$ và giải mã $P = C \oplus S$, Shannon đã chứng minh rằng nếu dòng khóa ${s_i}$ là dãy ngẫu nhiên lý tưởng (các biến ngẫu nhiên độc lập, đồng xác suất) thì hệ mật đạt độ an toàn tuyệt đối. Luận án đã hiện thực hóa điều kiện này trong thực tiễn bằng việc chứng minh toán học rằng chuỗi đầu ra của bộ kết hợp phi tuyến 5-LFSR thỏa mãn toàn bộ các đặc trưng thống kê của dãy giả ngẫu nhiên cực đại ($pn$-dãy), tiếp cận trạng thái ngẫu nhiên lý tưởng mà chỉ cần mầm khóa khởi tạo có độ dài hữu hạn 30 ký tự.
  2. Hình thành Mệnh đề biểu diễn từ điển nén trên trường hữu hạn $GF(2)$: Thay vì sử dụng chuẩn ASCII 8-bit gây dư thừa trạng thái ($2^8 = 256$ trạng thái cho tập 26 chữ cái), luận án chứng minh rằng việc sử dụng không gian vector nhị phân 5 chiều $\mathbb{Z}_2^5$ sinh bởi đa thức nguyên thủy bậc 5: $$f(x) = x^5 + x^2 + 1 \in GF(2)[x]$$ cho phép tạo ra đúng 32 bộ từ mã nhị phân 5-bit. Trong đó, 26 từ mã được ánh xạ song ánh với bảng chữ cái Latinh ${A, \dots, Z}$, 6 từ mã dư thừa đóng vai trò vector đồng bộ và kiểm soát tính toàn vẹn, loại bỏ 100% độ lệch thống kê (bias) trong phân bố xác suất của các ký tự mầm khóa.
  3. Mô hình hóa toán học độ phức tạp phi tuyến của hàm tổ hợp Boolean: Dựa trên Lý thuyết dạng chuẩn tắc đại số (Algebraic Normal Form - ANF), luận án xây dựng hàm kết hợp phi tuyến 5 biến: $$f(x_1, x_2, x_3, x_4, x_5) = 1 \oplus x_2 \oplus x_3 \oplus x_4 x_5 \oplus x_1 x_3 x_4 x_5$$ Hàm này đạt bậc phi tuyến cực đại là 4 (do có thành phần tích 4 biến $x_1 x_3 x_4 x_5$), phá vỡ hoàn toàn mối liên hệ tuyến tính giữa các chuỗi bit đầu ra và trạng thái ban đầu của từng thanh ghi thành phần, nâng độ phức tạp tuyến tính của hệ thống lên mức tiệm cận cận trên đại số.

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

Khung phân tích của luận án tích hợp liên ngành 3 lý thuyết toán học chuyên sâu: Lý thuyết trường hữu hạn Galois ($GF(2)$), Lý thuyết tự động hữu hạn và thanh ghi dịch, cùng Lý thuyết số học đồng dư đại số (Modular Congruence Arithmetic).

                                  +-----------------------------------------------------------+
                                  |                 MẦM KHÓA BÍ MẬT (30 KÝ TỰ)                |
                                  +-----------------------------+-----------------------------+
                                                                |
                                       +------------------------+------------------------+
                                       |                                                 |
                                       v                                                 v
                        +------------------------------+                  +------------------------------+
                        |      KHÓA DÀI HẠN (SK1)      |                  |       KHÓA PHIÊN (SK2)       |
                        |      (Thay đổi định kỳ)      |                  |   (Thay đổi theo từng phiên) |
                        +--------------+---------------+                  +--------------+---------------+
                                       |                                                 |
                                       v                                                 v
                        +------------------------------+                  +------------------------------+
                        |      Giấu tin trong ảnh      |                  |   Đồng thuận tham số LCG     |
                        |   truyền qua kênh công khai  |                  |    & giải phương trình đồng dư|
                        +--------------+---------------+                  +--------------+---------------+
                                       |                                                 |
                                       +------------------------+------------------------+
                                                                |
                                                                v
                                              +-----------------------------------+
                                              | BẢNG MÃ H 5-BIT (Đa thức bậc 5)   |
                                              | 26 Ký tự Latin -> Vector nhị phân |
                                              +-----------------+-----------------+
                                                                |
                                                                v
                                              +-----------------------------------+
                                              | Nạp trạng thái khởi tạo (Seed/IV) |
                                              |    cho 5 Thanh ghi LFSR (R1-R5)   |
                                              +-----------------+-----------------+
                                                                |
                                                                v
                                              +-----------------------------------+
                                              | BỘ TẠO DÃY KẾT HỢP PHI TUYẾN      |
                                              | f(x1..x5) = 1⊕x2⊕x3⊕x4x5⊕x1x3x4x5 |
                                              +-----------------+-----------------+
                                                                |
                                                                v
                                              +-----------------------------------+
                                              |    DÒNG BIT KHÓA GIẢ NGẪU NHIÊN   |
                                              |       {s_i} (Chu kỳ cực đại)      |
                                              +-----------------+-----------------+
                                                                |
                          Bản rõ P {p_i} --------------------->(XOR)---------------------> Bản mã C {c_i}

Điều kiện biên (Boundary Conditions) được xác lập chặt chẽ: Hệ mật được thiết kế tối ưu cho vi điều khiển nhúng 8/16-bit, dung lượng bộ nhớ RAM $\le 2\text{ KB}$, tần số xung nhịp $\le 16\text{ MHz}$, hoạt động trên các giao thức tầng mạng/ứng dụng IoT tiêu chuẩn như 6LoWPAN, CoAP, MQTT và ZigBee.

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ủ nghiêm ngặt thế giới quan thực chứng (Positivism) kết hợp chủ nghĩa hiện thực suy diễn toán học (Mathematical-Deductive Realism). Bản chất của nghiên cứu an toàn mật mã đòi hỏi tính chính xác tuyệt đối thông qua chứng minh hình thức (formal mathematical proofs) trước khi tiến hành thực nghiệm phần mềm và kiểm định thống kê.

Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Ký hiệu học & Biểu diễn dữ liệu): Thiết kế và chứng minh đại số bộ mã nhị phân 5-bit trên trường $GF(2)$.
  • Tầng 2 (Động lực học hệ thống sinh khóa): Mô hình hóa trạng thái dịch chuyển của 5 thanh ghi LFSR độc lập qua các ma trận chuyển trạng thái $L_l$ kích thước $n \times n$ trên $GF(2)$: $$S_{i+1} = S_i \cdot L_l$$ và thiết lập hàm kết hợp Boolean phi tuyến.
  • Tầng 3 (Giao thức trao đổi khóa & Xác thực): Xây dựng thuật toán sinh số giả ngẫu nhiên LCG ($X_{n+1} = (a \cdot X_n + c) \bmod m$) và giải hệ phương trình đồng dư tìm nghiệm xác thực hai chiều.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được triển khai tuần tự và kiểm soát chéo qua các bước thực nghiệm:

  1. Lựa chọn đa thức đặc trưng nguyên thủy: Lập trình khảo sát và chứng minh tính khả quy/bất khả quy của các đa thức cấp $L$ trên $GF(2)[x]$. Đảm bảo tất cả các đa thức liên kết $C(x)$ của từng thanh ghi LFSR đều là đa thức nguyên thủy để đảm bảo chu kỳ con đạt giá trị cực đại $2^L - 1$.
  2. Xây dựng bảng mã $H$: Ánh xạ 26 ký tự La-tinh qua bảng biến đổi hàm $g_1$ và $g_2$, tạo ra tập hợp các vector nhị phân 5 chiều chuẩn hóa.
  3. Đồng bộ hóa và lấp đầy thanh ghi: Mầm khóa 30 ký tự được phân tách chính xác thành khóa dài hạn $SK_1$ (15 ký tự) và khóa phiên $SK_2$ (15 ký tự). Toàn bộ 150 bit sau chuyển đổi từ bảng mã $H$ được phân phối đều để lấp đầy trạng thái ban đầu của 5 thanh ghi LFSR.
  4. Kiểm chuẩn ngẫu nhiên theo tiêu chuẩn quốc tế: Dòng bit đầu ra ${s_i}$ được đưa qua bộ kiểm thử thống kê nghiêm ngặt NIST SP 800-22 (bao gồm kiểm tra tần số - Frequency test, kiểm tra tần số khối - Block frequency, kiểm tra bước chạy - Runs test, kiểm tra ma trận nhị phân Rank test, và kiểm tra biến đổi Fourier rời rạc - Discrete Fourier Transform test).

Data và phân tích

Quá trình phân tích thực nghiệm so sánh hiệu năng giữa bộ sinh số giả ngẫu nhiên đề xuất và 4 thuật toán kinh điển được tổng hợp chi tiết:

Thuật toán sinh số Độ dài trạng thái nội bộ Chu kỳ lý thuyết Độ phức tạp tính toán Phù hợp thiết bị IoT
Linear Congruential Generator (LCG) Nhỏ (1 số nguyên $m$) Ngắn ($\le m$) Rất thấp (1 phép nhân, 1 phép chia dư) Có (dùng cho khóa phiên)
Mersenne Twister (MT19937) Lớn (624 số nguyên 32-bit) Rất lớn ($2^{19937}-1$) Trung bình (Shift, XOR liên tục) Không (Chiếm quá nhiều RAM)
Fortuna (Cascade Structure) Trung bình (Nhiều Pools) Không xác định Rất cao (Quản lý bộ nhớ đệm, hàm băm) Không (Quá tải vi điều khiển)
Blum-Blum-Shub (BBS) Trung bình ($N = p \cdot q$) Phụ thuộc $\gcd(p, q)$ Rất cao (Lũy thừa Modulo $x_{n+1} = x_n^2 \bmod N$) Không (Tốc độ tính toán rất chậm)
Hệ 5-LFSR Phi tuyến (Luận án) Tối ưu (5 thanh ghi bit ngắn) Cực đại $\prod_{i=1}^5 (2^{L_i}-1)$ Cực thấp (Chỉ gồm dịch bit & XOR logic) Hoàn hảo cho IoT

Dữ liệu kiểm tra thực nghiệm chuỗi bản mã $X$ cho thấy:

  • Giá trị $p\text{-value}$ trên toàn bộ các bài kiểm tra NIST SP 800-22 đều vượt ngưỡng $\alpha = 0.01$, khẳng định tính ngẫu nhiên hoàn hảo.
  • Phân bố bit 0 và bit 1 đạt tỷ lệ cân bằng xấp xỉ $50% : 50%$ (độ lệch xác suất $|\Delta p| < 10^{-5}$).
  • Kiểm tra hiệu ứng thác lũ (Avalanche effect): Khi thay đổi chỉ 1 bit trong mầm khóa khởi tạo $SK$, chuỗi bản mã đầu ra $C'_i$ biến đổi trên $49.8%$ số bit ngay từ chu kỳ xung nhịp đầu tiên.

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

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

  1. Phát hiện 1 (Tối ưu hóa không gian trạng thái từ điển): Việc thay thế bảng mã ASCII 8-bit bằng bảng mã nhị phân 5-bit ($H$) giúp giảm trực tiếp $37.5%$ lượng dữ liệu biểu diễn mầm khóa và bản rõ văn bản thuần túy. Với 32 trạng thái của không gian 5-bit, 26 chữ cái La-tinh chiếm tỷ lệ $81.25%$, 6 trạng thái còn lại ($18.75%$) được tận dụng làm bit kiểm soát luồng, triệt tiêu hoàn toàn khả năng xuất hiện ký tự rỗng hoặc lỗi tràn bộ đệm trên chip IoT.
  2. Phát hiện 2 (Tính vượt trội của chu kỳ tích và bậc phi tuyến): Bằng cách lựa chọn 5 thanh ghi LFSR có độ dài $L_1, L_2, L_3, L_4, L_5$ đôi một nguyên tố cùng nhau ($\gcd(L_i, L_j) = 1, \forall i \neq j$), chu kỳ tổng thể của dòng khóa đạt cực đại: $$T = \prod_{i=1}^5 (2^{L_i} - 1)$$ Kết hợp với hàm đại số ANF bậc 4: $$f(x_1, x_2, x_3, x_4, x_5) = 1 \oplus x_2 \oplus x_3 \oplus x_4 x_5 \oplus x_1 x_3 x_4 x_5$$ hệ thống kháng cự thành công mọi hình thức tấn công tuyến tính hóa (Linearization attacks) và tấn công đại số (Algebraic attacks), giải quyết triệt để điểm yếu cố hữu của các bộ tạo m-dãy đơn lẻ.
  3. Phát hiện 3 (Cơ chế phân tách khóa lưỡng tầng $SK_1 - SK_2$): Phân tách mầm khóa 30 ký tự thành Khóa dài hạn $SK_1$ (giấu trong ảnh số qua kỹ thuật Steganography truyền qua kênh công khai định kỳ hàng tuần/tháng) và Khóa phiên $SK_2$ (sinh bởi LCG và nghiệm phương trình đồng dư đại số giữa hai đầu truyền - nhận) giúp nút cảm biến không cần thực hiện bất kỳ phép toán khóa công khai bất đối xứng nào, tiết kiệm hơn $60%$ năng lượng tiêu thụ trong quá trình bắt tay thiết lập phiên.
  4. Phát hiện 4 (Bảo toàn độ an toàn mật mã theo tiêu chuẩn ISO/IEC 29192): Hệ mật đề xuất cung cấp không gian khóa thực tế đạt mức an toàn từ 80-bit đến 150-bit, đáp ứng vượt bậc yêu cầu của chuẩn an toàn thông tin quốc gia và quốc tế dành cho thiết bị hạn chế năng lực tính toán.

Implications đa chiều

  • Về mặt Lý thuyết: Luận án bổ sung một phương pháp luận hoàn chỉnh trong việc thiết kế các hàm tổ hợp Boolean phi tuyến bậc cao tối ưu trên trường nhị phân cơ bản $GF(2)$, chứng minh tính khả thi của việc tiếp cận giới hạn bảo mật Shannon mà không cần phụ thuộc vào các cấu trúc toán học phức tạp trên trường mở rộng.
  • Về mặt Phương pháp luận: Cung cấp quy trình khép kín từ khâu nén bảng ký tự từ điển, phân phối trạng thái khóa, tạo dòng bit giả ngẫu nhiên bằng phần cứng tối giản đến giao thức xác thực khóa phân tán.
  • Về mặt Thực tiễn và Kỹ thuật: Thuật toán hoàn toàn sẵn sàng để "cứng hóa" (hardware hardwired) trực tiếp lên các vi mạch chuyên dụng FPGA hoặc ASIC với chi phí cổng logic cực thấp, mở ra giải pháp bảo mật phần cứng giá rẻ cho các nhà sản xuất thiết bị IoT trong nước và quốc tế.
  • Về mặt Chính sách và An ninh Quốc gia: Đóng góp trực tiếp vào việc thực thi Luật An toàn thông tin mạng 2015, Luật An ninh mạng 2018, Nghị quyết số 52-NQ/TW về Cách mạng công nghiệp lần thứ tư và Nghị quyết số 30-NQ/TW của Bộ Chính trị về Chiến lược An ninh mạng Quốc gia. Kết quả nghiên cứu cung cấp công cụ kỹ thuật tự chủ, phục vụ đắc lực cho công tác nghiệp vụ công an, đấu tranh phòng chống tội phạm công nghệ cao và bảo vệ cơ sở dữ liệu quốc gia trọng yếu.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn thừa nhận các giới hạn nghiên cứu:

  1. Giới hạn bảng ký tự từ điển: Bảng mã $H$ hiện tại được thiết kế chuyên biệt cho 26 chữ cái La-tinh in hoa ($A-Z$) nhằm phục vụ sinh mầm khóa nhị phân và dữ liệu văn bản tiếng Anh cơ bản. Chưa mở rộng trực tiếp cho bảng mã Unicode đầy đủ hoặc các tập dữ liệu nhị phân đa phương tiện phức tạp.
  2. Phụ thuộc môi trường truyền ảnh cho khóa $SK_1$: Phương pháp giấu khóa dài hạn trong ảnh số đòi hỏi kênh truyền phải hỗ trợ định dạng dữ liệu đồ họa mà không bị nén mất dữ liệu (lossy compression) làm biến dạng các bit khóa ẩn giấu.
  3. Thực nghiệm kênh truyền vật lý: Các đánh giá an toàn chủ yếu tập trung vào mô hình toán học và kiểm định thống kê trên máy tính mô phỏng; cần tiếp tục mở rộng thực nghiệm đo lường tiêu hao năng lượng thực tế trên các dòng chip cảm biến vật lý cụ thể (như ARM Cortex-M0/M3, ESP32, TelosB).

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

  • Hướng 1: Mở rộng cấu trúc bảng mã từ không gian vector 5-bit sang cấu trúc 6-bit ($2^6 = 64$ trạng thái) để hỗ trợ toàn diện tập mã Base64, cho phép mã hóa trực tiếp mọi định dạng tệp dữ liệu số trong mạng IoT.
  • Hướng 2: Nghiên cứu tích hợp các cơ chế phòng chống tấn công kênh kề vật lý (Differential Power Analysis - DPA và Simple Power Analysis - SPA) khi thuật toán được nạp lên chip FPGA.
  • Hướng 3: Phát triển giải pháp tạo khóa phiên động thích ứng với cấu trúc mạng Mesh IoT quy mô lớn hàng chục ngàn nút, loại bỏ hoàn toàn sự phụ thuộc vào máy chủ phân phối khóa tập trung.
  • Hướng 4: Đánh giá khả năng kháng thám mã lượng tử của mô hình LFSR phi tuyến kết hợp khi đối mặt với các thuật toán lượng tử như Grover trong tương lai.

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

  • Ảnh hưởng Học thuật: Công trình mở ra hướng tiếp cận mới trong chuyên ngành Cơ sở toán học cho tin học, kết hợp hài hòa giữa toán rời rạc, lý thuyết số và mật mã ứng dụng. Các bài báo khoa học xuất bản từ luận án là tài liệu tham khảo giá trị cho các nghiên cứu sinh, học viên cao học tại các viện nghiên cứu và trường đại học kỹ thuật hàng đầu.
  • Chuyển đổi Công nghiệp: Các doanh nghiệp sản xuất thiết bị IoT thông minh (Smart Home, Smart Agriculture, Smart City) có thể tích hợp trực tiếp thuật toán mã hóa nhẹ vào vi điều khiển giá rẻ, nâng cao năng lực cạnh tranh sản phẩm mà không làm tăng giá thành phần cứng.
  • An ninh và Quốc phòng: Ứng dụng trực tiếp trong các mạng truyền thông cảm biến phục vụ giám sát biên giới, bảo vệ mục tiêu trọng yếu, bảo mật thông tin liên lạc nghiệp vụ của lực lượng Công an nhân dân và Quân đội nhân dân, đảm bảo tính tự chủ tuyệt đối về giải pháp mật mã, không phụ thuộc vào công nghệ ngoại nhập.

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

  • Nghiên cứu sinh và Giới học thuật: Tiếp cận một mô hình mẫu mực về việc ứng dụng đại số trừu tượng và lý thuyết thông tin để giải quyết một bài toán kỹ thuật thực tiễn gai góc; khai thác các hướng nghiên cứu mở về hàm Boolean phi tuyến.
  • Kỹ sư R&D phần cứng và nhúng: Nhận được một thiết kế thuật toán mã dòng tối ưu với đầy đủ bảng mã 5-bit, hàm chuyển đổi $g_1, g_2$, sơ đồ khối 5-LFSR và hàm ANF để lập trình trực tiếp trên ngôn ngữ VHDL/Verilog cho chip FPGA.
  • Chuyên gia an toàn thông tin mạng: Có thêm công cụ đánh giá, thẩm định độ an toàn của các hệ thống IoT tại biên; triển khai các chính sách phân tách khóa phiên và khóa dài hạn trong quản trị mạng.
  • Các cơ quan hoạch định chính sách và Quản lý Nhà nước: Cung cấp căn cứ khoa học vững chắc để xây dựng các bộ tiêu chuẩn kỹ thuật quốc gia về bảo mật cho thiết bị IoT sản xuất và lưu hành tại Việt Nam.

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 Bộ mã biểu diễn từ điển nhị phân 5-bit trên trường $GF(2)$ kết hợp với Hàm tổ hợp Boolean phi tuyến bậc 4 dạng ANF trên cấu trúc 5-LFSR có chiều dài nguyên tố cùng nhau. Công trình đã mở rộng trực tiếp Lý thuyết Thông tin và Bí mật Hoàn thiện của Claude Shannon (1949) sang không gian từ khóa hữu hạn rời rạc và hiện thực hóa Định lý chuỗi tựa ngẫu nhiên của Solomon Golomb (1967) trên phần cứng tối thiểu.

2. Đột phá phương pháp luận của luận án khi so sánh với ít nhất 2 công trình quốc tế?
Trả lời:

  • So với WG-16 (Fan et al., 2013): WG-16 dùng LFSR bậc 32 trên trường hữu hạn $GF(2^{16})$ với phép thập phân $d=1057$ gây quá tải tính toán số học trên vi điều khiển 8-bit. Luận án giải quyết bằng cách đưa toàn bộ tính toán về trường nhị phân cơ bản $GF(2)$ qua 5 thanh ghi LFSR song song, loại bỏ phép toán trường mở rộng.
  • So với ACORN (Wu, 2016): ACORN dùng 6 thanh ghi ghép nối tầng phức tạp với trạng thái 293-bit. Luận án tối ưu hóa trạng thái nội bộ thành 150-bit phân phối đều từ bảng mã 5-bit ($H$), kết hợp hàm ANF bậc 4: $$f(x_1, \dots, x_5) = 1 \oplus x_2 \oplus x_3 \oplus x_4 x_5 \oplus x_1 x_3 x_4 x_5$$ đạt chu kỳ cực đại $\prod_{i=1}^5 (2^{L_i}-1)$ và triệt tiêu nguy cơ tấn công đại số.

3. Phát hiện bất ngờ nhất từ dữ liệu thực nghiệm là gì?
Trả lời: Đó là việc bảng mã 5-bit ($H$) với 26 ký tự chữ cái và 6 trạng thái kiểm soát luồng không những không làm suy giảm tính ngẫu nhiên mà còn tạo ra phân bố bit 0 và 1 đạt mức cân bằng lý tưởng ($50% : 50%$) trên chuỗi bit khóa đầu ra, với độ lệch xác suất $|\Delta p| < 10^{-5}$ và hiệu ứng thác lũ tức thì đạt $49.8%$ số bit đảo chiều ngay chu kỳ đầu tiên khi chỉ thay đổi 1 bit mầm khóa.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) rõ ràng không?
Trả lời: Có, quy trình được mô tả chi tiết và tường minh: từ công thức đa thức nguyên thủy bậc 5 ($f(x) = x^5 + x^2 + 1$), bảng tra từ mã nhị phân 5-bit của 26 chữ cái, thuật toán sinh khóa phiên LCG ($X_{n+1} = (aX_n + c) \bmod m$), công thức hàm Boolean ANF, đến sơ đồ lấp đầy trạng thái ban đầu của 5 thanh ghi LFSR, cho phép tái lập 100% trên cả phần mềm (C/C++, Python) và phần cứng (VHDL/FPGA).

5. Chương trình nghiên cứu 10 năm tới được vạch ra như thế nào?
Trả lời: Mở rộng bảng mã lên 6-bit Base64 cho mọi loại dữ liệu nhị phân $\rightarrow$ Thiết kế mạch tích hợp ASIC chuyên dụng kháng tấn công kênh kề (DPA/SPA) $\rightarrow$ Tích hợp giao thức quản lý khóa phi tập trung cho mạng Mesh IoT quy mô hàng triệu thiết bị $\rightarrow$ Nâng cấp hệ mật lên tiêu chuẩn an toàn hậu lượng tử (Post-Quantum Lightweight Cryptography).

Kết luận

Luận án Tiến sĩ Toán học của NCS. Trần Xuân Ban là một công trình nghiên cứu khoa học xuất sắc, mẫu mực, giải quyết trọn vẹn một trong những thách thức an ninh mạng cốt lõi của thời đại số. Sáu đóng góp cụ thể, mang tính bước ngoặt của công trình bao gồm:

  1. Xây dựng thành công Bộ mã nhị phân 5-bit (Bảng mã $H$) trên cơ sở đa thức nguyên thủy bậc 5, tối ưu hóa $37.5%$ không gian bộ nhớ lưu trữ và băng thông truyền thông so với chuẩn ASCII 8-bit.
  2. Thiết kế Thuật toán mã hóa dòng nhẹ đột phá dựa trên sự kết hợp của 5 thanh ghi LFSR có độ dài đôi một nguyên tố cùng nhau, đạt chu kỳ chuỗi khóa cực đại $\prod_{i=1}^5 (2^{L_i}-1)$.
  3. Phát triển Hàm kết hợp Boolean phi tuyến bậc 4 ở dạng chuẩn tắc đại số (ANF), thiết lập rào cản vững chắc chống lại các cuộc tấn công tương quan, tấn công đại số và tấn công Berlekamp-Massey.
  4. Đề xuất Kiến trúc quản lý khóa kép ($SK_1 - SK_2$) độc đáo: Khóa dài hạn $SK_1$ được bảo mật bằng kỹ thuật giấu tin trong ảnh số qua kênh công khai, trong khi Khóa phiên $SK_2$ được sinh và đồng thuận linh hoạt qua phương trình đồng dư đại số, triệt tiêu nhu cầu sử dụng thuật toán khóa công khai nặng nề trên nút mạng cảm biến.
  5. Chứng minh toán học và Thực nghiệm toàn diện: Dòng khóa và bản mã sinh ra vượt qua toàn bộ 15 bài kiểm tra thống kê khắt khe của bộ tiêu chuẩn NIST SP 800-22 với $p\text{-value} > 0.01$, khẳng định tính ngẫu nhiên tiệm cận hoàn hảo theo tiêu chuẩn mật mã nhẹ ISO/IEC 29192.
  6. Giá trị ứng dụng thực tiễn cao độ: Sẵn sàng cứng hóa trên công nghệ FPGA/ASIC, đóng góp trực tiếp vào nhiệm vụ bảo vệ an ninh thông tin quốc gia, phòng chống tội phạm công nghệ cao và bảo vệ hạ tầng IoT trọng yếu theo các chủ trương lớn của Đảng và Nhà nước Việt Nam.