Tổng quan về luận án

Sự bùng nổ của truyền thông đa phương tiện trong kỷ nguyên số đặt ra thách thức cấp bách về an toàn và bảo mật thông tin, đặc biệt là dữ liệu hình ảnh số được truyền tải qua các hạ tầng mạng công cộng. Dữ liệu ảnh có các đặc trưng nội tại hoàn toàn khác biệt so với văn bản truyền thống: dung lượng khối lớn, tính tương quan không gian cực cao giữa các điểm ảnh lân cận (hệ số tương quan thường vượt mức 0.95), và chứa lượng thông tin dư thừa đáng kể. Các thuật toán mật mã khối kinh điển như DES hay AES khi áp dụng trực tiếp lên dữ liệu ảnh thường bộc lộ sự kém hiệu quả về tốc độ xử lý phần cứng cũng như khó triệt tiêu hoàn toàn cấu trúc thống kê trực quan mà không tiêu tốn lượng tài nguyên tính toán khổng lồ.

Trong bối cảnh đó, luận án tiến sĩ kỹ thuật điện tử chuyên ngành Kỹ thuật điện tử (Mã số: 9520203) của nghiên cứu sinh Hoàng Xuân Thành, dưới sự hướng dẫn khoa học của PGS. Hoàng Mạnh Thắng tại Trường Đại học Bách khoa Hà Nội, mang tiêu đề "Mật mã dữ liệu ảnh ứng dụng kỹ thuật hỗn loạn" đã tiên phong khai phá hướng tiếp cận kết hợp giữa lý thuyết động học phi tuyến và mật mã học hiện đại nhằm xây dựng các giải pháp bảo vệ dữ liệu ảnh tối ưu ở cấp độ phần cứng.

   [Đề xuất 1]       [Đề xuất 2]                                [Đề xuất 3]       [Đề xuất 4]
Tác động động học  Cat 2D (Hoán vị)                           Thám mã vi sai    Thám mã vi sai
 Logistic mức bit  & Cat-Hadamard 2^k                          SPN 1 vòng lặp    SPN đa vòng lặp
& Cân bằng bit     (Khuếch tán đa chiều)                        (CPA / CCA)      (R >= 2, R = 3)

Khoảng trống nghiên cứu (research gap) mà luận án định vị bắt nguồn từ hai hạn chế cốt tử trong y văn quốc tế:

  1. Hầu hết các hệ mật mã hỗn loạn hiện hành chủ yếu thao tác trên đơn vị byte hoặc mức điểm ảnh (pixel-level) trên máy tính, bỏ qua sự phân bổ trọng số thông tin bất đối xứng giữa các lớp bit của điểm ảnh (bit-plane), dẫn đến hiệu năng xử lý trên mạch tích hợp số (FPGA/ASIC) chưa cao và không gian khóa dễ bị thu hẹp do hiện tượng suy thoái động học rời rạc.
  2. Công tác phân tích mã (cryptanalysis) cho các hệ mật mã hỗn loạn có cấu trúc mạng hoán vị - thay thế (Substitution-Permutation Network - SPN) đa vòng lặp hầu như chưa được giải quyết thấu đáo; các công trình quốc tế trước đó (như Solak et al., 2010; Arroyo et al., 2013) mới chỉ thám mã thành công trên mô hình 1 vòng lặp đơn lẻ.

Luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học chặt chẽ:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để can thiệp trực tiếp vào đặc tính động học của hàm hỗn loạn ở mức bit nhằm triệt tiêu hoàn toàn tính quy luật thống kê của ảnh mà vẫn tối ưu hóa tài nguyên phần cứng?
    • Giả thuyết 1 (H1): Việc tác động biến thiên liên tục lên tham số điều khiển của hàm hỗn loạn theo từng chu kỳ bit sẽ phá vỡ tính chu kỳ cục bộ, làm mất ổn định động học có kiểm soát, tạo ra chuỗi giả ngẫu nhiên có phân bố đều lý tưởng và mở rộng không gian khóa vượt ngưỡng an toàn $2^{128}$.
  • Câu hỏi nghiên cứu 2 (RQ2): Cấu trúc hoán vị và khuếch tán đa chiều nào cho phép tối đa hóa tốc độ lan truyền sai khác trên toàn bộ ma trận bit của ảnh?
    • Giả thuyết 2 (H2): Sự kết hợp giữa ánh xạ Arnold Cat 2 chiều cho lớp hoán vị và ma trận Cat-Hadamard $2^k$ chiều cho lớp khuếch tán sẽ tạo ra hiệu ứng thác lũ (avalanche effect) nghiêm ngặt ngay trong một chu trình xử lý bit.
  • Câu hỏi nghiên cứu 3 (RQ3): Các hệ mật mã hỗn loạn cấu trúc SPN đa vòng lặp tồn tại những điểm yếu cấu trúc nào trước các mô hình tấn công thám mã hiện đại?
    • Giả thuyết 3 (H3): Tồn tại đường lan truyền sai khác độc lập giữa các vòng mã hóa, cho phép tách rời và khôi phục tuần tự bảng tra cứu hoán vị và hàm khuếch tán thông qua tấn công lựa chọn bản rõ (CPA) và tấn công lựa chọn bản mã (CCA) mà không cần vét cạn khóa bí mật.

Khung lý thuyết của luận án tích hợp chặt chẽ giữa Lý thuyết thông tin của Claude Shannon (1949) về tính xáo trộn (confusion) và khuếch tán (diffusion), Lý thuyết hệ động học phi tuyến của Henri Poincaré và Aleksandr Lyapunov, cùng kiến trúc mạng SPN do Jiri Fridrich (1998) đề xuất. Phạm vi thực nghiệm của công trình bao quát việc phân tích kiểm thử trên tập 100 ảnh chuẩn (kích thước từ $256 \times 256$ đến $1024 \times 1024$ điểm ảnh), đánh giá toàn diện qua bộ tiêu chuẩn thống kê NIST SP 800-22, kiểm thử các chỉ số vi sai NPCR ($>99.6%$), UACI ($\approx 33.4%$), đo lường hệ số tương quan lân cận ($r_{xy} \approx 0$), cùng việc thiết kế tổng hợp mạch cứng trên nền tảng FPGA Altera Quartus II và mô phỏng trên ModelSim.

Literature Review và Positioning

Nghiên cứu mật mã ứng dụng hỗn loạn (chaotic cryptography) đã trải qua hơn hai thập kỷ phát triển mạnh mẽ với hàng chục nghìn công bố khoa học. Luận án tổng hợp và đối chiếu ba dòng nghiên cứu chính trong y văn quốc tế:

                            TIẾN TRÌNH TIẾP CẬN Y VĂN QUỐC TẾ
  1. Dòng nghiên cứu thiết kế hệ mật mã hỗn loạn mức Pixel/Byte: Khởi xướng từ mô hình SPN của Jiri Fridrich (1998), các nhóm nghiên cứu hàng đầu như nhóm của GS. Guanrong Chen (City University of Hong Kong), GS. Safwan El Assad (University of Nantes), và Xingyuan Wang et al. (2011, 2012) tập trung phát triển các thuật toán hoán vị tọa độ điểm ảnh và khuếch tán giá trị mức xám (0–255). Xingyuan Wang et al. (2011) đề xuất hoán vị ma trận màu RGB kết hợp hàm Logistic; tuy nhiên, phương pháp này xử lý dữ liệu theo khối hàng/cột điểm ảnh, để lộ sự phụ thuộc tuyến tính giữa các kênh màu khi gặp tấn công vi sai chọn lọc.
  2. Dòng nghiên cứu bộ tạo số giả ngẫu nhiên hỗn loạn (Chaotic PRNG): 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ằm tăng chu kỳ chuỗi bit. Tuy nhiên, việc phụ thuộc vào LFSR truyền thống đã bị nhiều công trình chứng minh là tiềm ẩn nguy cơ suy giảm độ an toàn do độ dài khóa hữu hạn và tính tuyến tính cố hữu. Các nghiên cứu của Kohda et al. và Zhou et al. khai thác chuỗi bit sau dấu phẩy động nhưng gặp rào cản lớn về chi phí tính toán phần cứng khi triển khai các phép toán dấu phẩy động phức tạp.
  3. Dòng nghiên cứu phân tích mã và thám mã vi sai: Nhóm nghiên cứu của David Arroyo, Gonzalo Alvarez (Tây Ban Nha) và E. Solak et al. (2010) đã công bố các phương pháp thám mã lựa chọn bản rõ thành công trên các hệ mật mã hỗn loạn SPN. Tuy nhiên, một cuộc tranh luận học thuật sâu sắc kéo dài từ năm 2010 đến trước thời điểm công bố của luận án: Liệu phương pháp thám mã vi sai có thể bóc tách được các tham số hoán vị và khuếch tán khi hệ thống tăng số vòng lặp mã hóa ($R \ge 2$) hay không? Công trình của Solak et al. (2010) nhận định khả năng mở rộng trên lý thuyết nhưng chưa thể hiện thực hóa mô hình giải thuật cho cấu trúc đa vòng lặp.

Luận án định vị chính xác vị thế học thuật bằng cách giải quyết triệt để cuộc tranh luận trên: chứng minh bằng toán học và thực nghiệm rằng hệ mật mã SPN nhiều vòng lặp ($R = 3$) vẫn bị bẻ gãy hoàn toàn nếu khâu thiết kế không tạo được mối liên kết động phụ thuộc bản rõ giữa các vòng khuếch tán. Đồng thời, luận án so sánh trực tiếp hiệu năng với nghiên cứu của Xingyuan Wang et al. (2011) và Hassan Noura et al. (2018), chứng minh rằng thuật toán mã hóa mức bit đề xuất có tốc độ triệt tiêu tương quan không gian nhanh hơn 1.8 lần và độ nhạy vi sai đạt tiệm cận mức lý tưởng ngay ở vòng mã hóa đầu tiên.

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

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

Luận án đóng góp quan trọng vào việc mở rộng Lý thuyết Động học phi tuyến ứng dụng và Lý thuyết An toàn thông tin qua ba luận điểm cốt lõi:

Thứ nhất, mở rộng lý thuyết điều khiển hệ động học hỗn loạn trong không gian rời rạc hữu hạn. Luận án chứng minh rằng việc áp đặt tác động cưỡng bức (perturbation) lên tham số điều khiển $r$ của hàm Logistic ($x_{n+1} = r \cdot x_n(1 - x_n)$ với $r \in [3.57, 4.0]$) theo chu kỳ bit sẽ triệt tiêu hoàn toàn hiện tượng phân bố mật độ xác suất không đồng đều (vốn tập trung dày đặc ở hai biên tiệm cận 0 và 1 như minh họa trong đồ hình phân nhánh). Điều này thiết lập một định lý động học mới: Tính bất ổn định cưỡng bức mức bit biến đổi phân bố Chebyshev-form của hàm Logistic thành phân bố đều (uniform distribution) trên toàn miền giá trị.

Thứ hai, hình thành mô hình toán học mở rộng cho ánh xạ Cat-Hadamard $2^k$ chiều. Bằng cách áp dụng tích trực tiếp Kronecker giữa ma trận biến đổi Cat gốc và ma trận Hadamard:

$$H_k = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes H_{k-1}$$

Luận án đã tổng quát hóa không gian trạng thái từ 2 chiều ($k=1$) lên 4 chiều ($k=2$, ma trận $4 \times 4$) và 8 chiều ($k=3$, ma trận $8 \times 8$). Mô hình này chứng minh mệnh đề lý thuyết: Tích Kronecker bảo toàn định thức ma trận Jacobian bằng 1 (đảm bảo tính chất ánh xạ một-một / bijective), đồng thời nâng hệ số Lyapunov cực đại $\lambda_{max}$ lên gấp $k$ lần, tối đa hóa năng lực khuếch tán đa hướng trên không gian bit.

Thứ ba, hình thành lý thuyết thám mã phân rã cấu trúc SPN đa vòng lặp. Luận án xây dựng mệnh đề toán học xác lập rằng: Nếu một hệ mật mã SPN đa vòng lặp không có sự phụ thuộc phản hồi bản tin động giữa các vòng lặp liên tiếp, ma trận chuyển vị tổng hợp có thể quy đổi thành một chuỗi ánh xạ tuyến tính từng phần, cho phép giải mã độc lập từng lớp hoán vị mà không cần giải mã lớp khuếch tán.

       CẤU TRÚC KHUÊCH TÁN CAT-HADAMARD ĐA CHIỀU (TÍCH KRONECKER)

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 ba trụ cột lý thuyết:

  • Động học hỗn loạn phi tuyến (Poincaré/Lyapunov),
  • Lý thuyết bảo mật thông tin lượng giá (Shannon Entropy & Diffusion Metrics),
  • Kiến trúc phần cứng vi mạch số (VHDL/RTL Synthesis).
                      TÍCH HỢP BA TRỤ CỘT LÝ THUYẾT
                                   / \
                                  /   \
                                 /     \
       ĐỘNG HỌC PHI TUYẾN       /       \      LÝ THUYẾT SHANNON
     (Lyapunov, Bifurcation,   /_________\   (Confusion, Diffusion,
       Topological Mixing)    /           \    Information Entropy)
                             /             \
                            /_______________\
                       KIẾN TRÚC PHẦN CỨNG VI MẠCH
                         (FPGA, VHDL, RTL, SPN)

Luận án xây dựng khung phân tích dựa trên sự phân tách 8 mặt phẳng bit (bit-planes) của dữ liệu ảnh số. Theo văn bản luận án, mức độ quan trọng hay lượng thông tin đóng góp của bit thứ $i$ trong biểu diễn điểm ảnh 8-bit được tính theo công thức giải tích:

$$Sig_i = \frac{2^i}{\sum_{j=0}^{2^k - 1} 2^j} \times 100%$$

Lớp bit (Bit Plane) Mức đóng góp thông tin (%) Đặc trưng trực quan
Lớp 8 (MSB - Bit 7) 50.20% Chiếm nửa lượng thông tin, định hình toàn bộ cấu trúc hình học chính
Lớp 7 (Bit 6) 25.10% Xác định các đường biên chi tiết và độ tương phản cao
Lớp 6 (Bit 5) 12.55% Tái tạo các vùng chuyển tiếp mức xám trung bình
Lớp 5 (Bit 4) 6.27% Thể hiện sắc thái độ mịn bề mặt
Lớp 4 (Bit 3) 3.14% Bắt đầu chuyển sang dạng phân bố giả nhiễu
Lớp 3 (Bit 2) 1.57% Tương đương nhiễu ngẫu nhiên biên độ thấp
Lớp 2 (Bit 1) 0.78% Tỷ lệ đóng góp thông tin cực thấp
Lớp 1 (LSB - Bit 0) 0.39% Hoàn toàn tương đương nhiễu trắng, không chứa cấu trúc trực quan

Khung phân tích này chỉ ra rằng ba lớp bit cao nhất (Lớp 8, 7, 6) nắm giữ tới $87.85%$ tổng năng lượng thông tin của ảnh. Do đó, khung phân tích độc đáo của luận án đặt ra nguyên lý: Mọi cơ chế hoán vị và khuếch tán phải được thực thi chéo giữa các mặt phẳng bit (cross-bit-plane permutation), thay vì chỉ hoán vị nội bộ trong cùng một mặt phẳng hoặc hoán vị vị trí pixel.

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ủ chặt chẽ thế giới quan thực chứng (positivism paradigm) với thiết kế nghiên cứu định lượng - thực nghiệm đa tầng (multi-level quantitative experimental design):

  1. Tầng mô hình hóa toán học: Giải tích hóa các hệ phương trình vi phân và phương trình sai phân rời rạc (Logistic, Henon, Arnold Cat, Cat-Hadamard, Skew tent, Chebyshev).
  2. Tầng mô phỏng thuật toán phần mềm: Hiện thực hóa các đề xuất mã hóa và giải thuật thám mã trên môi trường MATLAB 2016 nhằm kiểm chứng tính đúng đắn lý thuyết, đo lường các thuộc tính thống kê và vẽ đồ hình phân nhánh, tính toán hệ số Lyapunov:

$$\lambda = \lim_{N \to \infty} \frac{1}{N} \sum_{t=1}^N \ln \left| \frac{\delta(t)}{\delta(t-1)} \right|$$

  1. Tầng thiết kế vi mạch phần cứng: Thiết kế kiến trúc RTL (Register-Transfer Level) bằng ngôn ngữ mô tả phần cứng VHDL, tổng hợp mạch trên phần mềm Altera Quartus II (phiên bản 13.0) và mô phỏng kiểm tra dạng sóng thời gian thực trên ModelSim (phiên bản 6.0).
                      QUY TRÌNH THIẾT KẾ ĐA TẦNG

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý dữ liệu được thiết kế khép kín nhằm loại bỏ hoàn toàn sai số chủ quan và đảm bảo tính tái lập (replicability):

  • Giao thức lấy mẫu dữ liệu: Sử dụng bộ cơ sở dữ liệu ảnh chuẩn quốc tế USC-SIPI Image Database bao gồm các ảnh đa dạng về đặc tính phổ tần số: Lena, Baboon, Peppers, Cameraman, Airplane ở các độ phân giải $256 \times 256$, $512 \times 512$ và $1024 \times 1024$ trên hai không gian màu chính: ảnh mức xám 8-bit và ảnh màu RGB 24-bit.
  • Quy trình khử hiện tượng quá độ (transient effect): Trong tất cả các bộ tạo chuỗi hỗn loạn, $N_0 = 500$ giá trị lặp đầu tiên luôn được loại bỏ ($X_0$ bị loại bỏ từ bước 1 đến 500) nhằm đảm bảo chuỗi trạng thái đạt tới vùng hút hỗn loạn ổn định (strange attractor), triệt tiêu hoàn toàn dấu vết điều kiện biên ban đầu.
  • Tiêu chuẩn kiểm định độ tin cậy: Đánh giá độ ngẫu nhiên của chuỗi bit thông qua toàn bộ 15 bài kiểm tra nghiêm ngặt của chuẩn NIST SP 800-22 (Bao gồm: Frequency Test, Block Frequency, Cumulative Sums, Runs Test, Longest Run, Rank Test, FFT, Non-overlapping Template, Overlapping Template, Maurer's Universal Statistical, Approximate Entropy, Random Excursions, Random Excursions Variant, Serial Test, Linear Complexity). Độ tin cậy phần cứng được xác thực qua việc so sánh đối sánh bit-true giữa kết quả mô phỏng phần mềm MATLAB và kết quả xuất từ thanh ghi phần cứng trên ModelSim.

Data và phân tích

Phân tích định lượng được thực hiện trên mẫu thử nghiệm gồm 100 ảnh độc lập với các công cụ kiểm định thống kê chuyên sâu:

  • Đo lường tính phân tán ngẫu nhiên và lượng tin: Sử dụng công thức Entropi thông tin Shannon:

$$H(m) = -\sum_{i=0}^{2^k - 1} P(m_i) \log_2 P(m_i)$$

Kết quả trên 100 ảnh bản mã luôn đạt giá trị $H(m) \in [7.9992, 7.9998]$ (tiệm cận tuyệt đối mức lý tưởng 8.0 đối với ảnh 8-bit).

  • Phân tích độ nhạy vi sai (Differential Attack Analysis): Được lượng hóa qua hai chỉ số chuẩn quốc tế:
    1. NPCR (Number of Pixels Change Rate): Đo lường tỷ lệ phần trăm số điểm ảnh thay đổi giá trị trong bản mã khi thay đổi đúng 1 bit trong bản rõ:

$$\text{NPCR} = \frac{\sum_{i,j} D(i,j)}{M \times N} \times 100%$$

  1. UACI (Unified Average Changing Intensity): Đo lường cường độ thay đổi mức xám trung bình giữa hai bản mã:

$$\text{UACI} = \frac{1}{M \times N} \sum_{i,j} \frac{|C_1(i,j) - C_2(i,j)|}{255} \times 100%$$

  • Độ nhạy khóa vi sai: Đo lường qua hệ số sai khác bản mã $Cdr$ (Ciphertext difference rate):

$$Cdr = \frac{\text{Số bit khác nhau giữa hai bản mã}}{\text{Tổng số bit của ảnh}} \times 100%$$

Khi thay đổi chỉ $10^{-15}$ trong giá trị điều kiện đầu $X_0$ hoặc tham số $r$, giá trị $Cdr$ đạt xấp xỉ $50.01%$, chứng minh tính nhạy khóa đạt mức lý thuyết.

  • Kiểm định tương quan không gian (Correlation Coefficient): Tính toán trên 10.000 cặp điểm ảnh ngẫu nhiên theo ba hướng: ngang, dọc và chéo:

$$r_{xy} = \frac{E{(x - E{x})(y - E{y})}}{\sqrt{D{x}D{y}}}$$

Hệ số $r_{xy}$ giảm mạnh từ $[0.9534, 0.9876]$ ở ảnh gốc xuống $[-0.0012, 0.0021]$ ở ảnh mã hóa.

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

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

                                  BỐN PHÁT HIỆN THEN CHỐT CỦA LUẬN ÁN
  1. Hiệu quả vượt trội của cơ chế hoán vị - khuếch tán mức bit: Luận án chứng minh thực nghiệm rằng việc thao tác ở mức bit (Đề xuất 1 và Đề xuất 2) cho phép xóa bỏ hoàn toàn mối tương quan giữa các điểm ảnh lân cận chỉ sau 1 vòng lặp mã hóa ($r_{xy} \approx 0.0001$), trong khi các hệ mã hóa mức pixel truyền thống cần ít nhất 3 đến 4 vòng lặp để đạt được cùng mức độ phân tán thống kê.
  2. Khắc phục triệt để nhược điểm phân bố của hàm Logistic: Đồ hình phân bố thống kê chỉ ra rằng hàm Logistic truyền thống tạo ra mật độ xác suất dạng chữ U (tập trung cao tại lân cận 0 và 1). Bằng giải pháp tác động động học mức bit kết hợp thuật toán cân bằng phân bố bit, chuỗi số giả ngẫu nhiên thu được có biểu đồ phân bố hoàn toàn phẳng (uniform distribution), vượt qua toàn bộ 15 bài kiểm tra NIST SP 800-22 với mức ý nghĩa $p\text{-value} > 0.01$.
  3. Phát hiện lỗ hổng chí tử trong cấu trúc SPN đa vòng lặp: Luận án chứng minh một phát hiện gây bất ngờ trong giới thám mã: Hệ mật mã hỗn loạn SPN có cấu trúc $R$ vòng lặp ($R = 3$) tưởng chừng an toàn tuyệt đối trước đây vẫn bị bẻ gãy hoàn toàn dưới mô hình tấn công lựa chọn bản rõ (CPA) và lựa chọn bản mã (CCA). Luận án đã chỉ ra đường lan truyền ảnh hưởng sai khác (differential propagation path) và khôi phục thành công toàn bộ ma trận hoán vị và bảng khuếch tán với độ phức tạp tính toán chỉ là $O(M \times N)$ thay vì độ phức tạp vét cạn $O(2^K)$.
  4. Giải pháp kiến trúc vá lỗ hổng cấu trúc SPN: Luận án phát hiện rằng việc bổ sung một vòng khuếch tán trung gian có liên kết trạng thái động phụ thuộc vào bản rõ:

$$ac^{(r+1)}(0) = \text{cipher}^{(r)}(4N^2)$$

sẽ triệt tiêu hoàn toàn khả năng bóc tách độc lập giữa lớp hoán vị và lớp khuếch tán, vô hiệu hóa hoàn toàn phương pháp tấn công CPA và CCA đa vòng lặp.

Implications đa chiều

  • Về mặt học thuật và lý thuyết: Luận án thiết lập một chuẩn mực mới trong việc đánh giá độ an toàn của mật mã hỗn loạn: không thể chỉ dừng lại ở các bài kiểm tra thống kê bề mặt (NIST, Histogram, Entropi) mà bắt buộc phải chứng minh khả năng kháng thám mã vi sai đa vòng lặp.
  • Về mặt kỹ thuật vi mạch và công nghệ: Đề xuất kiến trúc phần cứng tối ưu cho hàm Logistic và khối Cat-Hadamard trên FPGA với diện tích chiếm dụng logic cực thấp (chỉ sử dụng các thanh ghi dịch, khối cộng logic XOR và bảng tra cứu LUT rút gọn), mở đường cho việc tích hợp trực tiếp lõi IP mật mã vào các chip xử lý hình ảnh chuyên dụng (ISP).
  • Về mặt ứng dụng thực tiễn: Cung cấp giải pháp mã hóa bảo mật thời gian thực cho hệ thống camera giám sát thông minh (CCTV), hệ thống truyền nhận hình ảnh y tế chuẩn DICOM trong bệnh viện điện tử, và các thiết bị truyền tin quân sự hoạt động trong môi trường mạng không dây băng thông hạn chế.
  • Về mặt chính sách và tiêu chuẩn: Kết quả nghiên cứu là tài liệu tham khảo kỹ thuật quan trọng cho các cơ quan quản lý an toàn thông tin (như Ban Cơ yếu Chính phủ, Cục An toàn thông tin - Bộ TT&TT) trong việc xây dựng tiêu chuẩn đánh giá và thẩm định các sản phẩm mật mã phi truyền thống tại Việt Nam.

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn nghiên cứu mang tính khách quan:

  1. Hiện tượng thoái hóa chu kỳ trên hệ thống số hữu hạn (Finite Precision Degradation): Khi cài đặt các hàm hỗn loạn trên nền tảng phần cứng số với độ dài từ bit cố định (fixed-point arithmetic, ví dụ 32-bit), chuỗi hỗn loạn thực tế sẽ rơi vào quỹ đạo tuần hoàn sau một chu kỳ hữu hạn, làm suy giảm một phần tính ngẫu nhiên lý thuyết.
  2. Độ phức tạp tính toán khi mở rộng hàm Cat-Hadamard bậc cao: Khi tăng số chiều của ma trận Cat-Hadamard ($k \ge 4$, tức ma trận $16 \times 16$), chi phí diện tích phần cứng và độ trễ đường truyền (propagation delay) trên FPGA tăng theo hàm số mũ, đòi hỏi sự đánh đổi giữa mức độ khuếch tán và tần số xung clock tối đa.
  3. Phạm vi thử nghiệm dữ liệu: Các thực nghiệm chủ yếu tập trung vào dữ liệu ảnh tĩnh 2D (mức xám và RGB); chưa mở rộng khảo sát trên các định dạng video luồng thời gian thực (H.264/HEVC) hoặc dữ liệu đám mây điểm 3D (Point Cloud).

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

  • Hướng 1: Nghiên cứu ứng dụng kỹ thuật hỗn loạn lượng tử (Quantum Chaos) và tích hợp các cấu trúc mã hóa kháng lượng tử (Post-Quantum Cryptography) trên kiến trúc SPN.
  • Hướng 2: Phát triển giải pháp nén ảnh kết hợp mã hóa đồng thời (Joint Compression-Encryption) ứng dụng lý thuyết nén cảm nhận (Compressive Sensing) trên nền tảng hàm hỗn loạn không gian - thời gian (Spatiotemporal Chaos / CML).
  • Hướng 3: Tối ưu hóa kiến trúc phần cứng trên tiến trình công nghệ ASIC chuyên dụng (tiến trình dưới 28nm) nhằm tối thiểu hóa công suất tiêu thụ cho các nút mạng cảm biến IoT cực nhẹ.
  • Hướng 4: Mở rộng mô hình thám mã vi sai sang các hệ mật mã khối hỗn loạn phi cấu trúc và các hệ thống mật mã dòng sử dụng cấu trúc điều chế tham số động.

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

  • Tác động học thuật sâu rộng: Luận án là một trong những công trình tiên phong tại Việt Nam và khu vực Đông Nam Á nghiên cứu chuyên sâu về thám mã cấu trúc SPN đa vòng lặp. Các công bố khoa học trích xuất từ luận án trên các tạp chí quốc tế chuyên ngành (như các bài báo được liệt kê trong danh mục công bố: bài báo quốc tế [J3], kỷ yếu hội nghị quốc tế [C1]) đã đóng góp dữ liệu thực nghiệm quý giá cho cộng đồng nghiên cứu mật mã học toàn cầu.
  • Thúc đẩy đổi mới công nghiệp vi mạch bảo mật: Cung cấp thiết kế RTL sẵn sàng triển khai (synthesizable IP core) cho các doanh nghiệp thiết kế vi mạch trong nước, giảm sự phụ thuộc vào các giải pháp phần mềm bảo mật ngoại nhập có độ trễ cao.
  • Nâng cao năng lực an ninh mạng quốc gia: Đóng góp trực tiếp vào mục tiêu làm chủ công nghệ mã hóa dữ liệu đa phương tiện phục vụ quốc phòng, an ninh, bảo vệ an toàn các luồng dữ liệu trinh sát và truyền hình ảnh tác chiến không gian mạng.

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

  • Nghiên cứu sinh và học viên cao học: Tiếp cận phương pháp luận nghiên cứu kết hợp giữa toán học vi phân phi tuyến, giải thuật mật mã học và kỹ thuật thiết kế vi mạch; kế thừa các mã nguồn mô phỏng và mô hình thám mã vi sai đã được kiểm chứng.
  • Các nhà khoa học và chuyên gia mật mã học: Khai thác các kết quả thám mã cấu trúc SPN đa vòng lặp để tiếp tục hoàn thiện các chuẩn mật mã hỗn loạn thế hệ mới.
  • Kỹ sư R&D phần cứng và vi mạch (FPGA/ASIC Engineers): Ứng dụng trực tiếp sơ đồ kiến trúc khối CPP, CD và iCD được tối ưu hóa ở mức thanh ghi để tích hợp vào các vi điều khiển nhúng và chip SoC bảo mật.
  • Các cơ quan quản lý an ninh thông tin: Sở hữu cơ sở lý luận khoa học vững chắc để đánh giá, thẩm định và cấp chứng chỉ an toàn cho các thiết bị truyền thông đa phương tiện mã hóa 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ì và nó đã mở rộng lý thuyết nền tảng nào?

Đóng góp lý thuyết độc đáo nhất là việc xây dựng thành công mô hình toán học giải mã vi sai cho cấu trúc mạng hoán vị - thay thế (SPN) đa vòng lặp ($R \ge 2$, thực nghiệm với $R = 3$). Công trình này mở rộng trực tiếp Lý thuyết An toàn thông tin của Shannon và mô hình kiến trúc SPN của Jiri Fridrich (1998). Trước công trình này, các nghiên cứu quốc tế (tiêu biểu là Solak et al., 2010; Arroyo et al., 2013) đều giả định rằng cấu trúc SPN nhiều vòng lặp là bất khả xâm phạm trước các cuộc tấn công lựa chọn bản rõ/bản mã đơn giản. Luận án đã bác bỏ giả định này bằng chứng minh giải tích và thực nghiệm, chỉ ra rằng việc thiếu vòng khuếch tán phản hồi trạng thái giữa các chu kỳ mã hóa sẽ tạo ra các nhánh lan truyền sai khác độc lập, cho phép bóc tách và khôi phục hoàn toàn bảng hoán vị $T$ kích thước $M \times N$ với độ phức tạp đa thức $O(MN)$.

2. Sự đổi mới về mặt phương pháp luận nghiên cứu so với các công trình quốc tế tiêu biểu?

So với nghiên cứu của Xingyuan Wang et al. (2011) (chỉ hoán vị ma trận hàng/cột mức pixel) và Hassan Noura et al. (2018) (ghép nối hàm hỗn loạn với thanh ghi LFSR), phương pháp luận của luận án mang tính đột phá ở hai khía cạnh:

  • Phương pháp can thiệp mức bit toàn diện: Tác động trực tiếp vào tham số điều khiển $r$ của hàm hỗn loạn theo từng chu kỳ bit, kết hợp phân tách 8 mặt phẳng bit theo trọng số thông tin ($Sig_i$), giúp triệt tiêu hoàn toàn tương quan không gian chỉ sau 1 vòng lặp mà không cần tới bộ sinh số phụ trợ LFSR.
  • Quy trình đồng thiết kế Phần mềm - Phần cứng (Hardware/Software Co-design): Mọi thuật toán đề xuất không chỉ dừng lại ở việc mô phỏng trên MATLAB như phần lớn các bài báo học thuật, mà đều được chuyển đổi thành kiến trúc phần cứng khả thi trên FPGA Altera Quartus II và xác thực bit-true trên ModelSim 6.0.

3. Phát hiện bất ngờ nhất trong quá trình thực nghiệm kèm dữ liệu chứng minh?

Phát hiện bất ngờ nhất là việc các hệ mật mã hỗn loạn SPN có chỉ số thống kê "hoàn hảo" (Entropi $H(m) > 7.999$, hệ số tương quan $r_{xy} < 0.001$, NPCR $> 99.6%$) vẫn có thể bị phá vỡ hoàn toàn trong thời gian thực bằng tấn công lựa chọn bản rõ (CPA). Cụ thể, trong Chương 3, đối với ảnh thử nghiệm kích thước $5 \times 5$ và $10 \times 10$ với số vòng lặp $R = 3$, giải thuật thám mã đề xuất đã khôi phục chính xác $100%$ các vị trí hoán vị và giá trị dòng khóa khuếch tán chỉ sau $2 \times M \times N$ lần chọn bản rõ mẫu, chứng minh rằng các bài kiểm định thống kê NIST không đồng nghĩa với tính an toàn trước thám mã vi sai cấu trúc.

                  BẢNG SO SÁNH HIỆU NĂNG VỚI CÁC CÔNG TRÌNH QUỐC TẾ

4. Luận án có cung cấp đầy đủ giao thức để tái lập nghiên cứu (Replication Protocol) không?

Luận án cung cấp chi tiết toàn bộ điều kiện biên và tham số thiết kế để tái lập hoàn toàn kết quả:

  • Công thức giải tích các hàm hỗn loạn: Logistic ($r \in [3.57, 4.0], x_0 = 0.123$), Cat-Hadamard đa chiều ($H_1, H_2, H_3$).
  • Tham số loại bỏ giai đoạn quá độ: $N_0 = 500$ điểm đầu.
  • Quy tắc hoán vị $T_{ij} = \text{div}(T_{ij}, N) + 1$ và modulo $N$.
  • Sơ đồ nguyên lý mạch phần cứng tổng thể của khối CPP, CD, iCD và lưu đồ trạng thái RTL trên Altera Quartus II.

5. Chương trình nghiên cứu 10 năm tiếp theo được phác thảo như thế nào?

Chương trình nghiên cứu dài hạn tập trung vào ba mũi nhọn:

  • Giai đoạn 1 (1–3 năm): Tích hợp cơ chế nén ảnh thích nghi (Adaptive Compressive Sensing) với mật mã hỗn loạn mức bit cho luồng video độ phân giải siêu cao (4K/8K Video Streaming).
  • Giai đoạn 2 (4–6 năm): Phát triển chip đồng xử lý mật mã hỗn loạn (Chaotic Crypto-Coprocessor ASIC) công suất siêu thấp cho thiết bị cấy ghép y tế và xe tự hành.
  • Giai đoạn 3 (7–10 năm): Nghiên cứu giao thoa giữa hỗn loạn lượng tử và thuật toán mã hóa hậu lượng tử (Quantum-Resistant Chaotic Ciphers).

Kết luận

Luận án tiến sĩ của tác giả Hoàng Xuân Thành đã hoàn thành xuất sắc các mục tiêu nghiên cứu đặt ra, tạo nên một công trình khoa học mẫu mực với các đóng góp vượt bậc:

  1. Thiết lập hệ mật mã hỗn loạn mức bit với tác động động học: Giải quyết triệt để sự mất cân bằng phân bố xác suất của hàm Logistic, mở rộng không gian khóa vượt ngưỡng $2^{128}$ và nâng cao khả năng kháng tấn công thống kê.
  2. Sáng tạo cấu trúc khuếch tán Cat-Hadamard đa chiều: Ứng dụng tích Kronecker để mở rộng không gian trạng thái lên $2^k$ chiều, tối ưu hóa triệt để tốc độ lan truyền sai khác bit trên toàn bộ ma trận dữ liệu ảnh.
  3. Thám mã thành công hệ mật mã SPN 1 vòng lặp: Xây dựng quy trình tấn công CPA và CCA hoàn chỉnh, bóc tách độc lập các tham số hoán vị và khuếch tán.
  4. Bẻ gãy và vá lỗ hổng cấu trúc SPN đa vòng lặp ($R \ge 2$): Lần đầu tiên công bố giải thuật thám mã vi sai thành công trên cấu trúc SPN đa vòng lặp trong y văn trong nước, đồng thời đề xuất giải pháp kiến trúc khuếch tán phản hồi động để triệt tiêu hoàn toàn lỗ hổng bảo mật.
  5. Hiện thực hóa thành công trên phần cứng vi mạch số: Thiết kế và kiểm định thành công lõi IP mật mã bằng VHDL trên Altera Quartus II và ModelSim, chứng minh tính khả thi tuyệt đối trong các ứng dụng công nghiệp vi mạch bảo mật.

Công trình không chỉ khẳng định vị thế tiên phong của Trường Đại học Bách khoa Hà Nội trong lĩnh vực nghiên cứu mật mã phi tuyến mà còn để lại di sản học thuật quan trọng, mở ra các hướng nghiên cứu liên ngành đột phá giữa toán học động học phi tuyến, lý thuyết an toàn thông tin và kỹ thuật vi điện tử hiện đại.