Tổng quan về luận án

Nghiên cứu của NCS. Hoàng Xuân Thành (2019) với đề tài "Mật mã dữ liệu ảnh ứng dụng kỹ thuật hỗn loạn" thuộc chuyên ngành Kỹ thuật điện tử (Mã số: 9520203), dưới sự hướng dẫn khoa học của PGS. TS. Hoàng Mạnh Thắng tại Trường Đại học Bách khoa Hà Nội, đánh dấu bước phát triển tiên phong trong việc tích hợp lý thuyết động học phi tuyến vào kiến trúc an toàn thông tin đa phương tiện. Trong bối cảnh bùng nổ dữ liệu trực quan trên không gian mạng, các thuật toán mật mã khối truyền thống như AES hay 3DES bộc lộ hạn chế nghiêm trọng về hiệu năng xử lý khi đối mặt với dữ liệu ảnh có dung lượng lớn, tính tương quan không gian cực cao giữa các điểm ảnh lân cận và độ dư thừa thông tin lớn. Luận án xác lập tính tiên phong bằng cách chuyển dịch từ hệ số học hữu hạn kinh điển sang khai thác tính chất ngẫu nhiên nội tại, độ nhạy cực hạn với điều kiện biên và cấu trúc đồ hình liên kết (topological transitivity) của các hệ động học phi tuyến.

Khoảng trống nghiên cứu (research gap) cốt lõi được nhận diện thông qua các công bố quốc tế: phần lớn các hệ mật mã hỗn loạn hiện hữu chỉ hoạt động ở mức byte trên môi trường máy tính, chưa tối ưu hóa cho phần cứng vi mạch số và hoàn toàn bỏ qua đặc trưng phân bố thông tin bất đối xứng trên các mặt phẳng bit (bit-planes). Hơn nữa, công tác thám mã cấu trúc Mạng hoán vị - thay thế (Substitution-Permutation Network - SPN) ứng dụng hỗn loạn bị đình trệ; như luận án đã nhấn mạnh: "Cho đến khi kết quả nghiên cứu của Luận án này công bố năm 2018, chưa có bất kỳ công bố nào thực hiện phân tích hệ mật mã hỗn loạn có cấu trúc SPN nhiều vòng lặp", dù tiền đề lý thuyết của Arroyo et al. (2010) đã đặt ra gần một thập kỷ trước đó.

Hệ thống câu hỏi và giả thuyết nghiên cứu được thiết lập chặt chẽ:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết kế thuật toán mật mã ảnh làm việc trực tiếp ở mức bit nhằm tối ưu hóa phần cứng FPGA và triệt tiêu tương quan không gian?
  • Câu hỏi nghiên cứu 2 (RQ2): Bằng cơ chế động học nào có thể ngăn chặn hiện tượng suy thoái động lực học của hàm hỗn loạn rời rạc trước các tấn công thống kê?
  • Câu hỏi nghiên cứu 3 (RQ3): Tồn tại hay không các lỗ hổng mang tính cấu trúc cho phép thám mã thành công hệ mật SPN đa vòng lặp ($R \ge 3$) thông qua kỹ thuật tấn công bản rõ/bản mã lựa chọn?
  • Giả thuyết nghiên cứu 1 (H1): Việc can thiệp liên tục vào tham số điều khiển $r$ ở mức bit sẽ phá vỡ trạng thái ổn định chu kỳ, mở rộng không gian khóa vượt ngưỡng an toàn $2^{128}$.
  • Giả thuyết nghiên cứu 2 (H2): Cấu trúc SPN hỗn loạn nhiều vòng lặp vẫn tồn tại điểm yếu lan truyền ảnh hưởng nếu các phép hoán vị không phụ thuộc tuyến tính vào giá trị bản rõ, cho phép khôi phục bảng tra cứu hoán vị với độ phức tạp tính toán đa thức.

Khung lý thuyết của nghiên cứu tích hợp Lý thuyết hỗn loạn xác định (Deterministic Chaos Theory của Henri Poincaré & Edward Lorenz), Lý thuyết thông tin Shannon (Shannon's Information Theory về Tính hỗn loạn - Confusion và Khuếch tán - Diffusion), và Nguyên lý thám mã Kerckhoffs. Đóng góp đột phá được định lượng rõ nét qua việc kiểm định thành công trên tập dữ liệu chuẩn 100 ảnh thực nghiệm kích thước $256 \times 256$ và $512 \times 512$, đưa tỷ lệ thay đổi điểm ảnh NPCR đạt xấp xỉ $99.61%$ và cường độ thay đổi trung bình UACI đạt xấp xỉ $33.46%$, đồng thời tổng hợp mạch phần cứng hoàn chỉnh trên nền tảng FPGA Altera Cyclone.

Literature Review và Positioning

Tổng quan y văn quốc tế ghi nhận sự phân nhánh rõ rệt trong việc ứng dụng hệ động học phi tuyến vào mật mã học. Nhánh thứ nhất khởi nguồn từ công trình nền tảng của Jiri Fridrich (1998), đề xuất cấu trúc SPN ứng dụng ánh xạ 2D hỗn loạn (Baker map, Arnold's Cat map) để tách biệt pha hoán vị tọa độ và pha khuếch tán giá trị điểm ảnh. Nhánh thứ hai tập trung vào việc tạo bộ sinh chuỗi số giả ngẫu nhiên (PRNG), điển hình là nghiên cứu của Hassan Noura et al. (2018), kết hợp hàm hỗn loạn với thanh ghi dịch hồi tiếp tuyến tính (LFSR). Nhánh thứ ba do Xingyuan Wang et al. (2012, 2015) dẫn dắt, phát triển các giải thuật hoán vị hàng - cột ở mức byte nhằm giảm thiểu chi phí tính toán phần mềm.

Cuộc tranh luận học thuật sâu sắc nổ ra giữa hai trường phái:

  • Trường phái thiết kế xây dựng (Constructive Cryptosystems): Khẳng định tính phức tạp động học của các hàm hỗn loạn rời rạc như Logistic ($x_{n+1} = r x_n(1 - x_n)$ với $r \in [3.57, 4.0]$), Henon, Chebyshev và Skew tent đủ cung cấp độ an toàn tuyệt đối trước các tấn công vét cạn và thống kê nhờ hệ số lũy thừa Lyapunov dương ($\lambda > 0$).
  • Trường phái phân tích thám mã (Cryptanalysis Stance): Dẫn đầu bởi Gonzalo Alvarez, David Arroyo (2010) và Safwan El Assad, chỉ ra rằng phần lớn các thuật toán hỗn loạn đều suy thoái khi lượng tử hóa trên máy tính số có độ chính xác hữu hạn, tạo ra các chu kỳ ngắn và làm lộ cấu trúc ánh xạ hoán vị độc lập với bản rõ.

Luận án định vị chính xác vào giao điểm của hai trường phái: không chỉ thiết kế hệ mật mã mức bit tối ưu hóa đặc tính động mà còn trực tiếp phá vỡ giả định an toàn của cấu trúc SPN đa vòng lặp. So với nghiên cứu của Xingyuan Wang et al. (2012) vốn chỉ thao tác trên ma trận điểm ảnh $3M \times N$ ở mức byte gây tốn bộ nhớ đệm, kiến trúc của luận án xử lý trực tiếp trên 8 mặt phẳng bit, loại bỏ hoàn toàn tương quan bit cao. Đồng thời, so với công trình của Arroyo et al. (2010) chỉ thành công trong việc tấn công hệ SPN 1 vòng lặp ($R=1$), nghiên cứu này đã tạo ra bước nhảy vọt khi giải mã hoàn chỉnh cấu trúc SPN với số vòng lặp tổng quát $R \ge 3$.

Đó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à thách thức trực tiếp các lý thuyết mật mã học hiện đại thông qua 4 đóng góp nền tảng:

  1. Thách thức Giả định an toàn của Mô hình SPN kinh điển (Shannon & Fridrich): Chứng minh rằng việc tăng số vòng lặp mã $R$ trong cấu trúc SPN không đồng nghĩa với việc tăng độ an toàn phi tuyến nếu luật hoán vị (P-box) giữ cố định và độc lập với dữ liệu bản rõ.
  2. Xác lập Lý thuyết can thiệp đặc tính động mức bit: Mở rộng lý thuyết động học phi tuyến bằng cách chứng minh rằng tác động trực tiếp vào tham số điều khiển $r$ sau mỗi chu kỳ bit sẽ duy trì hệ số Lyapunov $\lambda > 0$ liên tục, triệt tiêu hiện tượng rơi vào các cửa sổ tuần hoàn (periodic windows) trong đồ hình phân nhánh (bifurcation diagram).
  3. Mô hình hóa sự bất đối xứng thông tin trên mặt phẳng bit: Định lượng chính xác mức độ đóng góp thông tin của từng lớp bit $i$ theo công thức: $$Sig_i = \frac{2^i}{\sum_{j=0}^{k-1} 2^j}$$ chỉ ra rằng lớp bit thứ 8 chiếm tới $50.20%$ lượng tin của toàn bộ pixel, trong khi lớp bit thứ 1 chỉ đóng góp $0.20%$. Luận án chứng minh chân lý thực nghiệm: "việc mật mã với bao công đoạn phức tạp cũng chỉ làm thay đổi giá trị của một số lượng rất nhỏ các bit từ 0 sang 1 và ngược lại", từ đó đề xuất lý thuyết cân bằng phân bố bit động.
  4. Hình thành Khung giải mã vi sai đại số cho SPN đa vòng: Thiết lập hệ mệnh đề toán học mô tả sự lan truyền ảnh hưởng của điểm ảnh biên, cho phép cô lập và giải mã từng lớp hoán vị nghịch đảo (inverse permutation) mà không cần vét cạn không gian khóa.
graph TD
    A[Bản rõ Ảnh Mức xám/RGB] --> B[Phân rã 8 Mặt phẳng Bit]
    B --> C[Khối CPP: Hoán vị Mức Bit & Đổi Tham số Động r]
    C --> D[Mô hình SPN Hỗn loạn Cat-Hadamard 2^k Chiều]
    D --> E[Khối CD: Khuếch tán Lan truyền Động học]
    E --> F[Cân bằng Phân bố Bit Bi-directional]
    F --> G[Bản mã An toàn Tuyệt đối]
    
    H[Tấn công CPA/CCA] -.-> I[Phân tích Lan truyền Biên Đa vòng R>=3]
    I -.-> J[Khôi phục Bảng Hoán vị P-box]
    J -.-> K[Đề xuất Vòng Khuếch tán Bổ trợ & Khóa Động]
    K --> D

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: Lý thuyết Hỗn loạn Không gian - Thời gian (Coupled Map Lattice - CML), Lý thuyết Ma trận Đại số Hadamard, và Tiêu chí Thác Tuyết lở Chặt chẽ (Strict Avalanche Criterion - SAC).

Phương pháp tiếp cận mới sử dụng hàm hỗn loạn Cat-Hadamard mở rộng $2^k$ chiều ($k \ge 1$): $$\begin{bmatrix} x_1(n+1) \ x_2(n+1) \ \vdots \ x_{2^k}(n+1) \end{bmatrix} = \mathbf{H}k \begin{bmatrix} x_1(n) \ x_2(n) \ \vdots \ x{2^k}(n) \end{bmatrix} \pmod N$$ với ma trận đệ quy $\mathbf{H}k = \begin{bmatrix} 2\mathbf{H}{k-1} & \mathbf{H}{k-1} \ \mathbf{H}{k-1} & \mathbf{H}{k-1} \end{bmatrix} = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes \mathbf{H}{k-1}$. Cách tiếp cận này tạo ra ma trận khuếch tán đa chiều với định thức Jacobian bằng 1 (đảm bảo tính chất ánh xạ một - một hay tính song ánh - bijective mapping), thiết lập điều kiện biên tối ưu cho quá trình giải mã mà không làm tăng độ phức tạp thuật toán.

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

Thiết kế nghiên cứu

Nghiên cứu vận hành trên nền tảng triết lý Chủ nghĩa thực chứng diễn dịch (Deductive Positivism) kết hợp mô hình hóa tính toán và kiểm chứng thực nghiệm phần cứng số. Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1: Phân tích Giải tích Toán học: Thiết lập các phương trình trạng thái động học, tính toán phổ Lyapunov và xác lập ma trận chuyển vị hoán vị $T_{M \times N}$.
  • Tầng 2: Mô phỏng Số học trên Phần mềm: Thực thi toàn diện trên phần mềm Matlab phiên bản 2016 để đánh giá thống kê, đo lường entropy thông tin và kiểm tra vi sai.
  • Tầng 3: Thiết kế và Hiện thực hóa Vi mạch Số: Sử dụng phần mềm Altera Quartus II phiên bản 13 và trình mô phỏng ModelSim phiên bản 6.0 để biên dịch, tối ưu hóa mức cổng logic (RTL) và tổng hợp trên phần cứng FPGA.

Tập mẫu nghiên cứu gồm 100 ảnh chuẩn quốc tế (như Lena, Baboon, Peppers, Cameraman) ở cả hai định dạng mức xám 8-bit và ảnh màu RGB, kích thước biến thiên từ $64 \times 64$, $256 \times 256$ đến $512 \times 512$ điểm ảnh, đại diện đầy đủ cho các dải phổ tần số và mức độ tương quan không gian khác nhau.

+-----------------------------------------------------------------------------+
|                          QUY TRÌNH NGHIÊN CỨU TOÀN DIỆN                     |
+-----------------------------------------------------------------------------+
|  1. THIẾT KẾ TOÁN HỌC & ĐỘNG HỌC PHI TUYẾN                                  |
|     - Khảo sát hàm Logistic r in [3.57, 4.0], Henon, Cat-Hadamard 2^k       |
|     - Tính toán Lyapunov Exponent (lambda > 0), bifurcation diagram         |
+-----------------------------------------------------------------------------+
                                     |
                                     v
+-----------------------------------------------------------------------------+
|  2. MÔ PHỎNG & ĐÁNH GIÁ MẬT MÃ MỨC BIT (Matlab 2016)                        |
|     - Hoán vị mức bit CPP & Khuếch tán đa chiều CD                         |
|     - Kiểm định thống kê: Tương quan, Entropy, NPCR, UACI, NIST SP 800-22   |
+-----------------------------------------------------------------------------+
                                     |
                                     v
+-----------------------------------------------------------------------------+
|  3. HIỆN THỰC HÓA PHẦN CỨNG SỐ (Altera Quartus II v13 & ModelSim v6.0)      |
|     - Thiết kế khối CPP, CD, iCD trên FPGA Cyclone                          |
|     - Xử lý mở rộng 8-bit sang 32-bit dấu phẩy tĩnh, triệt tiêu trễ chu kỳ  |
+-----------------------------------------------------------------------------+
                                     |
                                     v
+-----------------------------------------------------------------------------+
|  4. PHÂN TÍCH THÁM MÃ & TẤN CÔNG ĐỐI KHÁNG (CPA / CCA)                      |
|     - Thám mã cấu trúc SPN 1 vòng lặp (Đề xuất 3)                           |
|     - Thám mã cấu trúc SPN đa vòng lặp R >= 3 (Đề xuất 4)                  |
|     - Đề xuất kiến trúc phòng thủ bổ trợ vòng khuếch tán                    |
+-----------------------------------------------------------------------------+

Quy trình nghiên cứu và độ tin cậy

Quy trình nghiên cứu áp dụng kỹ thuật kiểm chuẩn chéo (triangulation) nghiêm ngặt giữa lý thuyết số, phần mềm mô phỏng và phần cứng thực tế. Tính hợp lệ cấu trúc (construct validity) được bảo chứng qua việc đánh giá đầy đủ bộ 15 bài kiểm tra độ ngẫu nhiên theo tiêu chuẩn của Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST Special Publication 800-22) và Tiêu chuẩn Xử lý Thông tin Liên bang (FIPS 199).

Độ tin cậy của thuật toán hoán vị được đo lường bằng hai đại lượng hình học đặc thù trích xuất từ dữ liệu thực nghiệm:

  • Tỷ lệ phần trăm đếm điểm ảnh lân cận (PAPC): Đánh giá mức độ phân tán tọa độ.
  • Khoảng cách giữa các điểm ảnh lân cận (DBAP): Đo lường khoảng cách dịch chuyển trung bình sau hoán vị.

Độ nhạy vi sai và khả năng chống lại tấn công vi sai được định lượng thông qua:

  • Tỷ lệ thay đổi điểm ảnh (NPCR - Number of Pixels Change Rate): $$NPCR = \frac{\sum_{i,j} D(i,j)}{M \times N} \times 100%$$
  • Cường độ thay đổi trung bình thống nhất (UACI - Unified Average Changing Intensity): $$UACI = \frac{1}{M \times N} \sum_{i,j} \frac{|C_1(i,j) - C_2(i,j)|}{255} \times 100%$$
  • Tỷ lệ sai khác giữa hai bản mã (Cdr - Ciphertext Difference Rate): Đo lường độ nhạy cực hạn đối với sự thay đổi 1 bit của khóa mật khởi tạo $X_0$ hoặc tham số $r$.

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

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

  1. Hiệu năng Triệt tiêu Tương quan Không gian Tuyệt đối: Hệ số tương quan giữa các điểm ảnh liền kề theo các phương ngang, dọc và chéo trong ảnh gốc (thường đạt xấp xỉ $0.95 - 0.99$) đã bị triệt tiêu hoàn toàn về mức xấp xỉ lý thuyết $0.0001 - 0.005$ trong ảnh bản mã. Biểu đồ phân bố tần suất mức xám (Histogram) của bản mã đạt trạng thái phân bố đều lý tưởng (Flat Uniform Distribution), loại bỏ hoàn toàn khả năng thám mã thống kê.
  2. Khả năng Chống Tấn công Vi sai Đạt Chuẩn Lý thuyết: Kết quả kiểm định trên 100 ảnh mẫu cho thấy giá trị kỳ vọng trung bình đạt $NPCR = 99.6105%$ và $UACI = 33.4632%$, tiệm cận hoàn hảo với các giá trị ngưỡng bảo mật quốc tế.
  3. Phát hiện Điểm yếu Lan truyền Ảnh hưởng trong SPN Đa vòng ($R \ge 3$): Bằng kỹ thuật Tấn công Lựa chọn Bản rõ (CPA) và Bản mã (CCA), luận án chứng minh rằng chỉ cần chọn các ma trận bản rõ đặc biệt với các điểm ảnh sai khác tại vị trí $(x_0, y_0)$, thám mã viên có thể bóc tách độc lập từng tầng hoán vị $P$ và tầng khuếch tán $S$, khôi phục hoàn toàn bảng tra cứu hoán vị mà không cần giải mã khóa hỗn loạn nguyên thủy.
  4. Hiện thực hóa Phần cứng Tối ưu: Mạch điện tử số khối CPP (Chaos-based Permutation Processing) và CD (Chaos-based Diffusion) thiết kế trên ngôn ngữ phần cứng VHDL/Verilog cho kết quả khớp chính xác $100%$ với mô phỏng giải thuật trên Matlab, xử lý tín hiệu theo dấu phảy cố định 32-bit với độ trễ tính toán giảm $42%$ so với các kiến trúc mức byte tương đương.
Đại lượng Đo lường Bảo mật Ảnh Gốc (Plaintext Lena 256x256) Ảnh Bản mã Đề xuất (Ciphertext) Giá trị Lý thuyết Chuẩn
Hệ số Tương quan Ngang 0.9721 0.0018 0.0000
Hệ số Tương quan Dọc 0.9853 -0.0024 0.0000
Hệ số Tương quan Chéo 0.9587 0.0009 0.0000
Entropy Thông tin (Bits) 7.4421 7.9993 8.0000
NPCR Trung bình (%) N/A 99.6105% 99.6094%
UACI Trung bình (%) N/A 33.4632% 33.4635%
Không gian Khóa (Key Space) N/A $> 2^{256}$ $\ge 2^{128}$

Implications đa chiều

  • Về mặt Lý thuyết: Khẳng định nguyên lý "Sự phức tạp của hệ hỗn loạn được xem xét tương ứng với bên các tính chất của số học", đặt nền móng toán học cho việc tích hợp động học phi tuyến vào mật mã học hiện đại.
  • Về mặt Phương pháp luận: Cung cấp quy trình thám mã tiêu chuẩn cho các hệ mật hỗn loạn cấu trúc SPN, chấm dứt giai đoạn thiết kế hệ mật mang tính kinh nghiệm thiếu kiểm chứng vi sai đa vòng.
  • Về mặt Thực tiễn: Mở đường cho việc tích hợp các IP Core mật mã ảnh trực tiếp vào chip xử lý camera an ninh IoT, thiết bị bay không người lái (UAV), hệ thống lưu trữ và truyền hình ảnh y tế chuẩn DICOM (PACS) với độ trễ thấp và bảo mật cao.

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn kỹ thuật nội tại:

  1. Rào cản Phần cứng Dấu phảy Động: Việc chuyển đổi các hàm hỗn loạn từ miền số thực sang miền dấu phảy cố định 32-bit trên vi mạch số tuy tối ưu hóa tốc độ nhưng làm thu hẹp chu kỳ suy biến động học của hệ hỗn loạn so với tính toán lý thuyết.
  2. Phạm vi Dữ liệu Thử nghiệm: Tập trung chủ yếu vào dữ liệu ảnh tĩnh 2D (mức xám và RGB), chưa mở rộng kiểm thử trên các dòng luồng video thời gian thực độ phân giải 4K/8K hoặc dữ liệu mây điểm 3D (Point Cloud).
  3. Mô hình Khóa Đối xứng: Chưa tích hợp trực tiếp hạ tầng phân phối khóa công khai (PKI) bất đối xứng trên cùng một đế chip bán dẫn.

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

  • Phát triển hệ mật mã hỗn loạn lượng tử (Quantum Chaotic Cryptography) kháng lại thuật toán Shor.
  • Thiết kế chip ASIC chuyên dụng trên tiến trình 7nm/5nm tích hợp trực tiếp bộ sinh số ngẫu nhiên thực hỗn loạn (True Random Number Generator - TRNG).
  • Ứng dụng mạng nơ-ron sâu tự sinh (GANs) để tự động thám mã và phát hiện lỗ hổng cấu trúc SPN đa chiều.

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

  • Học thuật: Công trình đóng góp trực tiếp vào chuỗi ấn phẩm chuyên ngành uy tín quốc tế, cung cấp khung tham chiếu chuẩn cho các nghiên cứu sinh chuyên ngành Kỹ thuật Điện tử và Khoa học Máy tính.
  • Công nghiệp Công nghệ cao: Cung cấp thiết kế lõi RTL có khả năng thương mại hóa trực tiếp cho các doanh nghiệp sản xuất thiết bị giám sát an ninh và truyền thông đa phương tiện bảo mật.
  • An ninh Quốc phòng: Đóng góp luận cứ khoa học quan trọng phục vụ công tác mã hóa dữ liệu trinh sát ảnh viễn thám, thông tin tác chiến không gian mạng và bảo vệ bí mật nhà nước theo định hướng của Ban Cơ yếu Chính phủ và Bộ Thông tin và Truyền thông.

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

  • Nghiên cứu sinh & Nhà khoa học: Tiếp cận phương pháp luận thám mã cấu trúc SPN đa vòng và mô hình động học phi tuyến mức bit.
  • Kỹ sư Thiết kế Vi mạch R&D: Nhận chuyển giao kiến trúc phần cứng khối CPP/CD tối ưu hóa tài nguyên logic trên FPGA/ASIC.
  • Chuyên gia An toàn Thông tin & Cơ yếu: Ứng dụng các quy chuẩn kiểm định NIST SP 800-22 và mô hình thám mã vi sai để đánh giá độ an toàn của các sản phẩm mật mã chuyên dụ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ì? Đó là việc mở rộng hàm hỗn loạn Cat-Hadamard $2^k$ chiều kết hợp cơ chế tác động tham số động ở mức bit, giải quyết triệt để sự đánh đổi giữa tính phức tạp tính toán và hiệu năng phần cứng trong cấu trúc SPN.

2. Đột phá phương pháp luận so với các nghiên cứu trước đây? So với Arroyo et al. (2010) và Xingyuan Wang et al. (2012), luận án là công trình đầu tiên xây dựng thuật toán thám mã CPA/CCA thành công trên hệ SPN hỗn loạn đa vòng lặp ($R \ge 3$) bằng cách khai thác tính bất biến của các phương trình vi sai lan truyền biên.

3. Phát hiện bất ngờ nhất được chứng minh bằng dữ liệu? Hiện tượng mất cân bằng thông tin cực hạn trên các mặt phẳng bit: $50.20%$ thông tin tập trung ở bit 8 và $0.20%$ ở bit 1. Dữ liệu chứng minh rằng các hệ mật phức tạp nhất thực chất chỉ đảo một tỷ lệ bit rất nhỏ, do đó việc hoán vị vị trí bit mang lại hiệu quả bảo mật vượt trội so với hoán vị byte truyền thống.

4. Nghiên cứu có cung cấp giao thức tái lập (Replication Protocol)? Có. Toàn bộ thông số khởi tạo, lưu đồ thuật toán khối CPP/CD/iCD, hệ số ma trận Cat-Hadamard $\mathbf{H}_k$, và mã nguồn mô phỏng trên Matlab 2016 / ModelSim 6.0 được trình bày chi tiết từng bước.

5. Tầm nhìn nghiên cứu 10 năm tiếp theo? Xây dựng hệ sinh thái mật mã hỗn loạn lai ghép (Hybrid Quantum-Chaos Ciphers) có khả năng tự cấu hình phần cứng động nhằm bảo vệ luồng dữ liệu thị giác máy tính trong kỷ nguyên điện toán biên và trí tuệ nhân tạo.

Kết luận

Luận án tiến sĩ của Hoàng Xuân Thành xác lập 5 đóng góp cốt lõi hoàn chỉnh:

  1. Xây dựng thành công hệ mật mã ảnh mức bit dựa trên việc can thiệp liên tục vào đặc tính động của hàm Logistic, mở rộng không gian khóa vượt qua ngưỡng vét cạn $2^{256}$.
  2. Đề xuất thuật toán mật mã mức bit sử dụng hàm hỗn loạn Cat-Hadamard $2^k$ chiều, tối ưu hóa triệt để cấu trúc khuếch tán đa chiều.
  3. Khám phá và chứng minh toán học lỗ hổng cấu trúc của hệ mật mã hỗn loạn SPN 1 vòng lặp dưới các kịch bản tấn công CPA và CCA.
  4. Lần đầu tiên trên thế giới thám mã thành công hệ mật mã hỗn loạn cấu trúc SPN nhiều vòng lặp ($R \ge 3$), thiết lập phương pháp khôi phục ma trận hoán vị độc lập với khóa.
  5. Hiện thực hóa và kiểm chứng toàn diện các khối thuật toán trên vi mạch phần cứng số FPGA Altera Cyclone, đạt độ tương thích mô phỏng tuyệt đối $100%$.

Công trình thúc đẩy sự chuyển dịch mô thức (paradigm shift) từ mật mã số học hình thức sang mật mã động học thực nghiệm, mở ra các nhánh nghiên cứu liên ngành đột phá về vi mạch an toàn, truyền thông đa phương tiện bảo mật và thám mã phi tuyến trên phạm vi quốc tế.