Tổng quan về luận án

Nghiên cứu của nghiên cứu sinh Hoàng Xuân Thành với đề tài "Mật mã dữ liệu ảnh ứng dụng kỹ thuật hỗn loạn" (Chuyên ngành Kỹ thuật điện tử, Mã số: 9520203, Trường Đại học Bách khoa Hà Nội, 2019, người hướng dẫn khoa học: PGS. TS. Hoàng Mạnh Thắng) giải quyết bài toán giao thoa giữa lý thuyết hệ động học phi tuyến và mật mã học ứng dụng. Trong bối cảnh bùng nổ dữ liệu đa phương tiện và truyền thông số, dữ liệu ảnh mang các đặc trưng cố hữu: kích thước khối dữ liệu lớn, độ dư thừa thông tin cao và hệ số tương quan giữa các điểm ảnh lân cận (adjacent pixels) xấp xỉ bằng 1. Các hệ mật mã khối cổ điển dựa trên độ phức tạp số học như AES (Advanced Encryption Standard) hay DES bộc lộ hạn chế về tốc độ xử lý và hiệu năng khi triển khai trên phần cứng thời gian thực cho luồng dữ liệu lớn.

Khoảng trống nghiên cứu (research gap) cốt lõi được nhận diện qua các công trình quốc tế (Fridrich, 1998; Lian, 2008; Arroyo et al., 2010):

  1. Phần lớn các hệ mật mã hỗn loạn trước đây chỉ hoạt động ở mức byte hoặc mức điểm ảnh, chưa khai thác triệt để cấu trúc các lớp bit (bit-planes) trong dữ liệu ảnh tự nhiên;
  2. Các hàm hỗn loạn một chiều (1D) khi rời rạc hóa trên máy tính có độ chính xác hữu hạn dễ bị suy thoái động học (dynamical degradation), dẫn đến suy giảm không gian khóa;
  3. Các công trình thám mã cấu trúc mạng hoán vị - thay thế (Substitution-Permutation Network - SPN) hầu như chỉ dừng lại ở việc phá vỡ hệ mật mã một vòng lặp (1-round SPN), để ngỏ bài toán phân tích tính an toàn của hệ SPN đa vòng lặp ($R \ge 3$).

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

  • RQ1: Làm thế nào để loại bỏ tính chu kỳ và phân bố không đều của biến trạng thái trong hàm hỗn loạn rời rạc khi mã hóa dữ liệu ảnh?
    Giả thuyết H1: Tác động động học bằng cách điều chế tham số điều khiển $r$ liên tục ở mức bit sẽ phá vỡ vùng hút cục bộ, tối ưu hóa tính ngẫu nhiên thống kê.
  • RQ2: Cấu trúc hoán vị - khuếch tán ở mức bit cần được thiết kế ra sao để đạt hiệu ứng tuyết lở (avalanche effect) tối đa với chi phí tính toán tối thiểu?
    Giả thuyết H2: Tích hợp ánh xạ Arnold Cat và biến đổi ma trận Cat-Hadamard $2^k$ chiều sẽ tạo ra sự khuếch tán đồng thời trên nhiều mặt phẳng bit chỉ trong một chu kỳ xử lý.
  • RQ3: Các hệ mật mã hỗn loạn SPN một vòng lặp có tồn tại lỗ hổng bảo mật tuyến tính trước các đòn tấn công vi sai không?
    Giả thuyết H3: Sử dụng kỹ thuật tấn công lựa chọn bản rõ (CPA) và lựa chọn bản mã (CCA) có thể bóc tách độc lập ma trận hoán vị và hàm khuếch tán với độ phức tạp tính toán $O(M \times N)$.
  • RQ4: Liệu cấu trúc SPN đa vòng lặp ($R \ge 3$) có thể bị thám mã hoàn toàn nếu không có cơ chế liên kết phản hồi bản rõ - bản mã?
    Giả thuyết H4: Bằng cách cô lập chuỗi lan truyền ảnh hưởng giữa các vòng, có thể khôi phục bảng tra cứu hoán vị tương đương của hệ SPN nhiều vòng lặp.

Khung lý thuyết của luận án được định hình từ lý thuyết động học hỗn loạn (Poincaré, Lyapunov), lý thuyết thông tin Shannon về tính lộn xộn (confusion) và khuếch tán (diffusion), cùng kiến trúc SPN. Đóng góp đột phá của công trình được định lượng thông qua việc chứng minh toán học và mô phỏng thực nghiệm trên tập mẫu chuẩn 100 ảnh kích thước $256 \times 256$ và $512 \times 512$, đo lường qua hệ số sai khác bản mã $NPCR > 99.60%$, $UACI \approx 33.46%$, hệ số tương quan tiệm cận 0 ($< 0.003$), cùng thiết kế phần cứng RTL hoàn chỉnh trên FPGA Altera Quartus II.

Literature Review và Positioning

Lịch sử nghiên cứu hệ động học phi tuyến khởi nguồn từ phương trình vi phân chuyển động của Newton và phát triển đột phá cuối thế kỷ 19 bởi Henri Poincaré khi nghiên cứu bài toán ba vật thể, chỉ ra sự tồn tại của trạng thái hỗn loạn (chaos) trong các hệ xác định. Đến nửa sau thế kỷ 20, Lorenz (1963) và May (1976) đã chứng minh các hiện tượng phân nhánh (bifurcation) và tính nhạy cảm điều kiện đầu. Trong mật mã học, như tác giả luận án trích dẫn nguyên văn nguyên lý cốt lõi:

"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."

           TIẾN TRÌNH PHÁT TRIỂN LÝ THUYẾT MẬT MÃ HỖN LOẠN
2019: HOÀNG XUÂN THÀNH (Luận án)

Luận án tổng hợp hai luồng quan điểm đối lập sâu sắc trong cộng đồng mật mã học quốc tế:

  1. Trường phái Mật mã học Đại số cổ điển (Algebraic Cryptography): Cho rằng các hệ thống hỗn loạn triển khai trên miền số học hữu hạn (finite-precision computers) tất yếu dẫn đến chu kỳ suy thoái (period degradation), khiến không gian khóa thực tế nhỏ hơn không gian khóa lý thuyết, từ đó tiềm ẩn nguy cơ bị thám mã cấu trúc.
  2. Trường phái Động học Hỗn loạn Ứng dụng (Chaotic Cryptography): Dẫn đầu bởi Guanrong Chen (Đại học Thành phố Hồng Kông), Safwan El Assad (Đại học Nantes), và Xingyuan Wang, lập luận rằng tính chất ergodic, hàm liên kết topo (topological transitivity), và sự phụ thuộc cực nhạy vào điều kiện ban đầu (đo bằng số mũ Lyapunov $\lambda > 0$) cung cấp cơ chế sinh khóa và biến đổi phi tuyến vượt trội về tốc độ so với các thuật toán đại số phức tạp.

Về mặt thám mã, công trình kinh điển của David Arroyo Guardeño và Gonzalo Alvarez (2010) [11] cùng Solak et al. (2010) [12] đã chỉ ra lỗ hổng của cấu trúc SPN hỗn loạn, nhưng các nghiên cứu này chỉ giới hạn ở mô hình một vòng lặp. Mặc dù Arroyo et al. giả định phương pháp có thể mở rộng cho đa vòng lặp, từ năm 2010 đến trước thời điểm công bố của luận án (2018-2019), chưa có bất kỳ công trình quốc tế nào giải quyết triệt để việc phân tích cấu trúc SPN đa vòng lặp.

Luận án định vị nghiên cứu tại điểm giao thoa giữa thiết kế hệ mật mã ảnh mức bit có khả năng chịu lỗi động học và xây dựng giải thuật thám mã vi sai tổng quát cho cấu trúc SPN đa vòng lặp. So sánh với nghiên cứu của Xingyuan Wang et al. (2011) [55] (chỉ hoán vị hàng/cột ở mức byte) và Hassan Noura et al. (2018) [57] (ghép hỗn loạn với LFSR truyền thống), giải thuật của luận án can thiệp trực tiếp vào từng bit của điểm ảnh, kết hợp hàm Cat-Hadamard mở rộng $2^k$ chiều và thuật toán điều chế tham số động, giải quyết dứt điểm điểm yếu phân bố xác suất không đều của hàm Logistic.

Tiêu chí So sánh Nghiên cứu của Xingyuan Wang et al. [55] Nghiên cứu của Hassan Noura et al. [57] Hệ thống đề xuất trong Luận án (2019)
Đơn vị xử lý dữ liệu Mức Byte / Hàng - Cột điểm ảnh Mức Byte kết hợp dòng bit Mức Bit độc lập (Bit-plane manipulation)
Hàm hỗn loạn sử dụng Logistic 1D truyền thống Hàm hỗn loạn ghép nối LFSR Logistic biến đổi động học + Cat-Hadamard đa chiều ($2^k$)
Cơ chế hoán vị (P-box) Sắp xếp mảng trạng thái Hoán vị theo khối phụ thuộc Hoán vị ma trận bit dựa trên tính chất Ergodic của Cat Map
Cơ chế khuếch tán (S-box) Cộng Modulo cơ bản Phép toán XOR kết hợp LFSR Khuếch tán đa chiều Cat-Hadamard ($H_3$ 8D) lan truyền 2 chiều
Khả năng thám mã SPN Chưa thực hiện thám mã SPN Chỉ đánh giá tính ngẫu nhiên NIST Thám mã thành công hệ SPN 1 vòng và đa vòng ($R \ge 3$)
Hiện thực hóa phần cứng Mô phỏng phần mềm máy tính Thiết kế thử nghiệm DSP Thiết kế mạch số RTL hoàn chỉnh trên FPGA (Quartus II)

Đó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 mật mã Shannon trên dữ liệu ảnh số thông qua việc chứng minh toán học về sự phân bố thông tin trên 8 mặt phẳng bit (bit planes). Trong một điểm ảnh 8-bit mức xám $p(x,y) = \sum_{i=0}^{7} b_i 2^i$, tỷ trọng thông tin đóng góp của bit thứ $i$ được định lượng chính xác theo công thức:

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

Lớp Bit ($i$) Trọng số nhị phân Tỷ lệ đóng góp thông tin ($Sig_i$) Đặc trưng hình học / thống kê
Bit 8 ($b_7$) $2^7 = 128$ $50.20%$ Chứa cấu trúc đường biên, hình thái chính của ảnh
Bit 7 ($b_6$) $2^6 = 64$ $25.10%$ Chứa chi tiết tương phản cao và phân vùng sáng tối
Bit 6 ($b_5$) $2^5 = 32$ $12.55%$ Chứa kết cấu bề mặt thô (coarse texture)
Bit 5 ($b_4$) $2^4 = 16$ $6.27%$ Chi tiết bóng mờ trung gian
Bit 4 ($b_3$) $2^3 = 8$ $3.14%$ Thành phần chuyển tiếp mịn
Bit 3 ($b_2$) $2^2 = 4$ $1.57%$ Bắt đầu tiệm cận phân bố nhiễu ngẫu nhiên
Bit 2 ($b_1$) $2^1 = 2$ $0.78%$ Tương quan không gian suy giảm mạnh
Bit 1 ($b_0$) $2^0 = 1$ $0.39%$ Phân bố ngẫu nhiên thuần túy (tương tự nhiễu trắng)

Từ định luật trên, tác giả mở rộng mô hình lý thuyết: Một hệ mật mã ảnh tối ưu không thể xử lý đồng nhất mọi bit như cấu trúc byte truyền thống, mà phải áp dụng cơ chế hoán vị chéo giữa các mặt phẳng bit (cross-bit-plane permutation) kết hợp khuếch tán có kiểm soát.

Luận án phát triển 4 mệnh đề lý thuyết (Theoretical Propositions):

  • Mệnh đề P1: Tính không ổn định động học (Dynamic Instability) của ánh xạ Logistic $x_{n+1} = r_n x_n (1 - x_n)$ dưới sự điều chế tham số $r_n = f(\text{Key}, \text{Bit}_{n-1})$ sẽ triệt tiêu hoàn toàn các cửa sổ tuần hoàn (periodic windows) trong đồ hình phân nhánh (bifurcation diagram), duy trì số mũ Lyapunov $\lambda > 0$ trên toàn bộ không gian trạng thái.

  • Mệnh đề P2: Biến đổi Cat-Hadamard bậc $k$ ($H_k = H_1 \otimes H_{k-1}$) bảo toàn định thức $|\det(H_k)| = 1$, thiết lập một ánh xạ song ánh (bijective mapping) trên trường Galois hữu hạn, đảm bảo khả năng giải mã chính xác tuyệt đối:

    $$D_K(E_K(P)) = P$$

  • Mệnh đề P3: Trong hệ mật mã SPN một vòng lặp không có cơ chế cộng khóa phụ thuộc dữ liệu bản rõ, ma trận hoán vị $P$ và ma trận khuếch tán $S$ tạo thành hai không gian con độc lập tuyến tính, cho phép phân rã và khôi phục khóa thông qua hệ phương trình vi sai cấp 1.

  • Mệnh đề P4: Sự lan truyền vi sai trong hệ SPN đa vòng ($R \ge 3$) tồn tại các điểm bất động cục bộ nếu giá trị khởi tạo khuếch tán $ac(0)$ bị cô lập, cho phép giải mã từng phần (partial decryption) thông qua tấn công lựa chọn bản mã.

                  KHUNG PHÂN TÍCH ĐỘC ĐÁO CỦA HỆ MẬT MÃ ĐỀ XUẤT

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

Khung phân tích của luận án tích hợp ba trụ cột lý thuyết: Lý thuyết Hệ động học phi tuyến (Poincaré-Lyapunov), Lý thuyết Mật mã Thông tin Shannon, và Lý thuyết Biến đổi Ma trận Hadamard.

Tính độc bản trong cách tiếp cận của tác giả thể hiện ở cấu trúc hai khối xử lý phần cứng chuyên biệt:

  1. Khối hoán vị mức bit (Chaotic Pixel-bit Permutation - CPP): Không hoán vị vị trí điểm ảnh đơn thuần mà phân rã ảnh thành ma trận nhị phân $M \times 8N$, sau đó áp dụng luật hoán vị dựa trên chuỗi giả ngẫu nhiên sinh ra từ hàm Logistic có tham số thay đổi theo thời gian.
  2. Khối khuếch tán Cat-Hadamard (Chaotic Diffusion - CD): Khai thác ma trận Cat-Hadamard 8 chiều ($H_3$) để thực hiện phép trộn tuyến tính trên 8 bit đồng thời, kết hợp thuật toán lan truyền ngược (iCD) nhằm tạo hiệu ứng thác chặt (Strict Avalanche Criterion - SAC) ngay trong vòng mã hóa đầu tiên.

Điều kiện biên (boundary conditions) được xác lập nghiêm ngặt: Giải thuật tối ưu cho ảnh số 2D có kích thước $2^m \times 2^n$, giá trị tham số điều khiển $r$ bị chặn trong khoảng hỗn loạn cực đại $[3.5699456, 4.0]$, số lượng phần tử khởi đầu bị loại bỏ để triệt tiêu trạng thái quá độ là $N_{discard} \ge 500$.

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ủ thế giới quan khoa học thực chứng (positivism) kết hợp mô hình hóa tất định - hỗn loạn. Quy trình nghiên cứu kết hợp chặt chẽ giữa phân tích toán học lý thuyết, mô phỏng thuật toán số trị trên máy tính và kiểm chứng tổng hợp mạch phần cứng số (RTL hardware verification).

                      QUY TRÌNH NGHIÊN CỨU TOÀN DIỆN

Thiết kế nghiên cứu đa tầng (Multi-level research design) gồm:

  • Tầng 1 (Hệ thống): Khảo sát các hệ hỗn loạn liên tục (Lorenz, Chua, Rössler) và rời rạc (Logistic, Henon, Tent, Cat, Chebyshev, Standard). Lựa chọn hàm rời rạc để tối ưu hóa tài nguyên phần cứng.
  • Tầng 2 (Thuật toán): Phát triển 2 hệ mật mã mới (Đề xuất 1: Logistic tác động động học; Đề xuất 2: Cat-Hadamard đa chiều) và 2 giải thuật thám mã vi sai (Đề xuất 3: Phá vỡ SPN 1 vòng; Đề xuất 4: Phá vỡ SPN đa vòng $R \ge 3$).
  • Tầng 3 (Phần cứng RTL): Hiện thực hóa cấu trúc bộ mật mã mức bit bằng ngôn ngữ mô tả phần cứng VHDL/Verilog, mô phỏng dạng sóng trên ModelSim 6.0 và tổng hợp logic trên phần mềm Altera Quartus II phiên bản 13.

Quy trình nghiên cứu rigorous

Tập mẫu thực nghiệm sử dụng bộ ảnh chuẩn quốc tế từ cơ sở dữ liệu ảnh USC-SIPI (Lena, Baboon, Peppers, Cameraman, Airplane...) với kích thước $256 \times 256$ và $512 \times 512$ ở cả định dạng mức xám 8-bit và ảnh màu RGB 24-bit.

Quy trình đánh giá an toàn mật mã tuân thủ tuyệt đối các tiêu chuẩn quốc tế:

  • Kiểm định thống kê NIST SP 800-22: Đánh giá 15 bài kiểm tra tính ngẫu nhiên (Frequency, Block Frequency, Runs, Longest Run, Rank, FFT, Non-overlapping Template, Serial, Approximate Entropy...).
  • Độ nhạy vi sai: Đo lường thông qua Tỷ lệ thay đổi điểm ảnh ($NPCR$) và Cường độ thay đổi trung bình thống nhất ($UACI$):

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

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

Trong đó $D(i,j) = 1$ nếu $C_1(i,j) \neq C_2(i,j)$, ngược lại bằng 0.

  • Độ nhạy khóa (Key Sensitivity): Đo lường qua Tỷ lệ sai khác giữa hai bản mã ($Cdr$ - Ciphertext Difference Rate) khi thay đổi một bit duy nhất trong khóa mật:

$$Cdr = \frac{\text{Số bit khác nhau giữa } C_1 \text{ và } C_2}{\text{Tổng số bit của ảnh}} \times 100%$$

  • Độ tương quan không gian: Đánh giá trên 4096 cặp điểm ảnh ngẫu nhiên theo 3 hướng: Ngang (Horizontal), Dọc (Vertical), và Chéo (Diagonal).
  • Độ đo hoán vị: Sử dụng độ đo khoảng cách giữa các điểm ảnh lân cận ($DBAP$) và phần trăm điểm ảnh lân cận ($PAPC$).

Data và phân tích

Phân tích dữ liệu mô phỏng trên phần mềm MATLAB 2016 kết hợp đối soát trực tiếp với kết quả mô phỏng phần cứng trên ModelSim 6.0 chứng minh tính nhất quán tuyệt đối.

Ảnh thử nghiệm ($256 \times 256$) Hệ số tương quan Bản rõ (H / V / D) Hệ số tương quan Bản mã đề xuất $NPCR$ đạt được ($%$) $UACI$ đạt được ($%$) Entropy thông tin $H(m)$ (Bit)
Lena (Mức xám) $0.9721 \ / \ 0.9854 \ / \ 0.9587$ $+0.0012 \ / \ -0.0021 \ / \ +0.0008$ $99.624%$ $33.481%$ $7.9994$
Baboon (Kết cấu cao) $0.8654 \ / \ 0.7541 \ / \ 0.7215$ $-0.0019 \ / \ +0.0005 \ / \ -0.0014$ $99.615%$ $33.452%$ $7.9992$
Peppers (Độ mịn cao) $0.9578 \ / \ 0.9612 \ / \ 0.9423$ $+0.0007 \ / \ +0.0018 \ / \ -0.0009$ $99.631%$ $33.475%$ $7.9995$
Giá trị lý thuyết chuẩn Tiệm cận $1.0$ Tiệm cận $0.0$ $> 99.609%$ $\approx 33.463%$ Tiệm cận $8.0000$

Phân tích mạch số RTL: Thiết kế khối mở rộng từ 8-bit lên 32-bit và module CPP xử lý song song đạt tần số xung nhịp cực đại $F_{max} > 125\text{ MHz}$ trên dòng chip Altera Cyclone IV, đáp ứng thời gian thực cho luồng video độ phân giải Full HD.

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

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

  1. Hiện tượng suy thoái phân bố của hàm Logistic được giải quyết triệt để: Khác với quan niệm truyền thống cho rằng hàm Logistic $x_{n+1} = 4x_n(1-x_n)$ sinh chuỗi ngẫu nhiên hoàn hảo, luận án chỉ ra biểu đồ phân bố (histogram) của hàm Logistic tích tụ mật độ dày ở hai biên (tiệm cận 0 và 1). Bằng việc đề xuất cơ chế can thiệp động học ở mức bit (Đề xuất 1), chuỗi bit đầu ra đạt phân bố phẳng tuyệt đối, vượt qua toàn bộ 15 bài kiểm tra NIST.
  2. Đột phá về tốc độ khuếch tán với Cat-Hadamard 8 chiều ($H_3$): Luận án chứng minh ma trận biến đổi Cat-Hadamard $8 \times 8$ ($k=3$) tạo ra sự khuếch tán chéo trên 8 mặt phẳng bit chỉ trong 1 chu kỳ lặp, đạt $NPCR = 99.62%$ và $UACI = 33.48%$, tương đương với 4 vòng lặp của cấu trúc SPN cổ điển, giảm $62.5%$ chi phí tính toán.
  3. Phát hiện lỗ hổng chí tử của hệ SPN 1 vòng lặp: Luận án xây dựng thành công thuật toán thám mã CPA và CCA (Đề xuất 3), chứng minh rằng kẻ tấn công chỉ cần lựa chọn $\lceil \log_2(M \times N) \rceil + 1$ ảnh bản rõ đặc biệt là có thể bóc tách toàn bộ ma trận hoán vị $P$ và giải mã hoàn toàn hệ thống mà không cần tìm khóa bí mật.
  4. Lần đầu tiên phá vỡ hoàn toàn hệ mật mã hỗn loạn SPN đa vòng lặp ($R \ge 3$): Luận án tạo ra bước đột phá học thuật quốc tế khi chỉ ra rằng nếu giá trị khởi tạo khuếch tán $ac(0)$ không được cập nhật động theo dữ liệu bản rõ của từng vòng, kẻ tấn công có thể truy vết sự lan truyền sai khác và khôi phục bảng tra cứu hoán vị tổng quát trong thời gian đa thức $O(R \cdot M \cdot N)$.
  5. Kháng tấn công vi sai tiệm cận mức lý thuyết: Độ nhạy khóa đo bằng $Cdr$ đạt mức trung bình $50.01% \pm 0.05%$ ngay cả khi khóa bí mật chỉ thay đổi $10^{-16}$, chứng minh hiệu ứng tuyết lở tuyệt đối.

Implications đa chiều

  • Về mặt Lý thuyết: Luận án định hình lại chuẩn mực an toàn cho các hệ mật mã hỗn loạn. Đập tan quan niệm sai lầm cho rằng "tăng số vòng lặp SPN sẽ tự động đảm bảo an toàn". Công trình khẳng định tính an toàn bắt buộc phải đi kèm với cơ chế ràng buộc phản hồi bản rõ - bản mã (Ciphertext-Feedback Coupling).
  • Về mặt Phương pháp luận: Cung cấp một khung công cụ thám mã vi sai chuẩn mực (Differential Cryptanalysis Framework) cho các hệ mật mã phi tuyến, cho phép các nhà nghiên cứu kiểm định độ an toàn của các thuật toán mã hóa mới trước khi công bố.
  • Về mặt Thực tiễn & Kỹ thuật: Mở ra giải pháp mã hóa phần cứng nhẹ (Lightweight Cryptography) tối ưu cho các thiết bị IoT, hệ thống nhúng, camera giám sát quân sự, truyền hình số bảo mật, nơi tài nguyên tính toán và năng lượng bị hạn chế nghiêm ngặt.
  • Về mặt Chính sách & An ninh thông tin: Cung cấp cơ sở khoa học để Ban Cơ yếu Chính phủ, Bộ Thông tin và Truyền thông, Bộ Quốc phòng xây dựng các tiêu chuẩn đánh giá và thẩm định các thiết bị mã hóa dữ liệu đa phương tiện thế hệ mới theo tiêu chuẩn TCVN và NIST/FIPS 199.

Limitations và Future Research

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

  1. Giới hạn về miền rời rạc hóa phần cứng: Việc chuyển đổi biến trạng thái số thực sang dấu phảy tĩnh (fixed-point arithmetic) trên FPGA với độ dài bit hữu hạn ($16\text{-bit}, 32\text{-bit}$) vẫn tạo ra chu kỳ ngắn nếu không có mạch hồi tiếp phụ trợ.
  2. Phạm vi kiểm thử không gian màu: Các giải thuật tập trung chuyên sâu vào ảnh mức xám và không gian màu RGB; chưa mở rộng đánh giá toàn diện trên các định dạng nén suy hao (lossy compression) như JPEG/JPEG2000 hoặc không gian màu YCbCr.
  3. Phân phối khóa bất đối xứng: Hệ thống đề xuất là hệ mật mã khóa đối xứng (Symmetric Cipher), do đó việc phân phối khóa bí mật trong môi trường mạng quy mô lớn vẫn phải phụ thuộc vào hạ tầng khóa công khai PKI hoặc giao thức Diffie-Hellman.
  4. Chi phí diện tích logic trên ASIC: Mặc dù tối ưu trên FPGA Altera Cyclone, cấu trúc nhân ma trận Cat-Hadamard 8 chiều tiêu tốn số lượng khối logic nhân (DSP blocks) đáng kể nếu triển khai song song hóa hoàn toàn.

Chương trình nghiên cứu 5-10 năm tới (Future Research Agenda):

  • Hướng 1: Tích hợp các hệ siêu hỗn loạn (Hyperchaotic Systems) có từ 2 số mũ Lyapunov dương trở lên kết hợp lưới ghép không gian - thời gian (Spatiotemporal Coupled Map Lattice - CML) để nâng kích thước không gian khóa vượt ngưỡng $2^{512}$.
  • Hướng 2: Phát triển hệ mật mã hỗn loạn đồng cấu (Homomorphic Chaotic Encryption), cho phép xử lý và tìm kiếm trực tiếp trên dữ liệu ảnh đã mã hóa trên môi trường điện toán đám mây.
  • Hướng 3: Nghiên cứu khả năng kháng thám mã lượng tử (Post-Quantum Chaotic Cryptography) sử dụng thuật toán Grover và Shor.
  • Hướng 4: Băng đồng (Tape-out) vi mạch ASIC chuyên dụng công nghệ $28\text{nm}$ cho lõi mã hóa video hỗn loạn thời gian thực $4\text{K}/8\text{K}$.

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

Nghiên cứu tạo tiếng vang học thuật trong cộng đồng Điện tử - Viễn thông và Mật mã học tại Việt Nam, đặt nền móng cho hướng nghiên cứu mật mã hỗn loạn mức bit tại Trường Đại học Bách khoa Hà Nội. Về mặt học thuật, các kết quả nghiên cứu đã được công bố trên các tạp chí quốc tế uy tín thuộc danh mục ISI/Scopus (như bài báo [J3] và kỷ yếu hội nghị IEEE [C1]).

                       HỆ SINH THÁI TÁC ĐỘNG ĐA LĨNH VỰC

Về mặt kinh tế - xã hội, việc làm chủ công nghệ thiết kế lõi IP mã hóa trên phần cứng nội địa giúp giảm phụ thuộc vào các giải pháp bảo mật ngoại nhập, tăng cường chủ quyền an ninh mạng quốc gia, đồng thời tiết kiệm hàng triệu USD chi phí bản quyền thiết bị bảo mật cho các hạ tầng trọng yếu.

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

  • Nghiên cứu sinh & Nhà nghiên cứu sau tiến sĩ (Postdocs): Tiếp cận phương pháp luận thám mã vi sai hệ SPN đa vòng lặp và công cụ mô phỏng động học phi tuyến chuyên sâu.
  • Giảng viên & Học giả cao cấp ngành An toàn thông tin / Kỹ thuật điện tử: Nguồn tài liệu tham khảo chuẩn mực để phát triển các giáo trình cao học về Mật mã học phi tuyến và Xử lý ảnh số bảo mật.
  • Kỹ sư R&D phần cứng (FPGA/ASIC Designers): Sở hữu thiết kế kiến trúc RTL hoàn chỉnh của khối CPP và khối Cat-Hadamard CD để tích hợp trực tiếp vào các SoC (System-on-Chip) nhúng.
  • Các Cơ quan Quản lý Nhà nước về Mật mã (Ban Cơ yếu Chính phủ, Bộ TT&TT, Cục An toàn thông tin): Khung tham chiếu kỹ thuật để xây dựng tiêu chuẩn kiểm thử, đánh giá độ an toàn của các sản phẩm mật mã hỗn loạn thương mại và chuyên dụng.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc bản nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc bản nhất là việc kết hợp lý thuyết thông tin mặt phẳng bit với lý thuyết nhiễu loạn động học phi tuyến (Dynamic Perturbation Theory). Luận án mở rộng trực tiếp Lý thuyết Mật mã của Claude Shannon (1949) bằng cách chứng minh rằng: Trong dữ liệu ảnh, 3 mặt phẳng bit cao ($b_7, b_6, b_5$) chiếm tới $87.85%$ năng lượng thông tin, do đó việc áp dụng ánh xạ Cat-Hadamard $2^k$ chiều kết hợp điều chế tham số Logistic $r(t)$ theo dữ liệu bản rõ sẽ tạo ra hiệu ứng thác lũ toàn diện với chi phí tính toán thấp hơn $60%$ so với cấu trúc SPN byte truyền thống.

2. Đột phá phương pháp luận thám mã so với các nghiên cứu quốc tế tiền nhiệm?

So với nghiên cứu của Arroyo et al. (2010) [11] và Solak et al. (2010) [12] (chỉ phá vỡ được SPN 1 vòng lặp), luận án đã giải quyết thành công bài toán thám mã hệ SPN đa vòng lặp ($R \ge 3$). Tác giả phát hiện ra sự suy giảm bậc khuếch tán khi cô lập giá trị $ac(0)$, từ đó thiết lập quy trình khôi phục ma trận hoán vị tổng hợp thông qua việc phân tích chuỗi sai khác của $4N^2$ bản mã được lựa chọn, đạt độ phức tạp thời gian đa thức khả thi.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất và có số liệu chứng minh?

Phát hiện bất ngờ nhất là sự sụp đổ an toàn hoàn toàn của hệ mật mã SPN 3 vòng lặp ($R=3$) đề xuất bởi Xingyuan Wang et al. trước tấn công CCA. Dù tác giả gốc tuyên bố hệ thống có khả năng chống thám mã tuyệt đối nhờ cấu trúc đa vòng, luận án đã chứng minh thực nghiệm trên ma trận ảnh $5 \times 5$ và $256 \times 256$: Toàn bộ bản rõ gốc được khôi phục chính xác $100%$ chỉ sau $24$ lần thử vi sai mà không cần giải mã bất kỳ tham số khóa bí mật nào.

4. Giao thức tái lập thực nghiệm (Replication Protocol) có được cung cấp minh bạch không?

Luận án cung cấp đầy đủ và chi tiết toàn bộ thông số tái lập:

  • Phương trình toán học giải tích của các hàm Logistic, Henon, Cat-Hadamard ($H_1, H_2, H_3$).
  • Sơ đồ nguyên lý mạch RTL, lưu đồ thuật toán chi tiết từng khối chức năng (Hình 2.10 - 2.18 trong văn bản gốc).
  • Cấu hình môi trường phần mềm: MATLAB R2016a cho tính toán giải tích, Altera Quartus II v13.0 SP1 cho tổng hợp mạch, ModelSim SE 6.0 cho mô phỏng dạng sóng thời gian thực.

5. Lộ trình nghiên cứu 10 năm tới được phác thảo ra sao?

Lộ trình 10 năm tập trung vào 3 trọng tâm:

  1. Chuyển đổi từ hàm hỗn loạn 1D/2D sang mảng hỗn loạn ghép nối không gian - thời gian (CML) và siêu hỗn loạn 4D/5D;
  2. Thiết kế vi mạch phần cứng chuyên dụng ASIC kháng phân tích kênh kề (Side-Channel Attack Resistance) như DPA/CPA;
  3. Chuẩn hóa thuật toán mã hóa ảnh mức bit thành tiêu chuẩn bảo mật nhúng quốc gia cho các hệ thống giám sát thông minh và quốc phòng.

Kết luận

Luận án Tiến sĩ Kỹ thuật điện tử của NCS Hoàng Xuân Thành là công trình học thuật xuất sắc, giải quyết trọn vẹn cả hai mặt của mật mã học: Xây dựng hệ mật mã bảo vệ dữ liệu và Thám mã phân tích an toàn hệ thống.

Tóm lược 5 đóng góp cốt lõi của công trình:

  1. Xây dựng thành công hệ mật mã ảnh mức bit ứng dụng kỹ thuật điều chế đặc tính động học của hàm Logistic, triệt tiêu hiện tượng tích tụ biên và tối ưu hóa không gian khóa;
  2. Đề xuất kiến trúc khuếch tán ma trận Cat-Hadamard đa chiều ($H_3$ 8D), mang lại hiệu năng bảo mật vượt trội ($NPCR > 99.60%$, $UACI \approx 33.46%$) với độ phức tạp tính toán tối thiểu;
  3. Hiện thực hóa và kiểm chứng thành công thiết kế phần cứng RTL trên nền tảng FPGA Altera Quartus II / ModelSim, sẵn sàng cho tích hợp công nghiệp;
  4. Phát triển giải thuật thám mã CPA/CCA phá vỡ toàn diện hệ mật mã hỗn loạn SPN một vòng lặp;
  5. Tạo đột phá quốc tế khi giải quyết thành công bài toán thám mã cấu trúc SPN đa vòng lặp ($R \ge 3$), đồng thời đề xuất giải pháp kiến trúc khắc phục triệt để lỗ hổng bảo mật.

Công trình nâng cao vị thế học thuật của Việt Nam trong lĩnh vực mật mã hỗn loạn, mở ra các hướng nghiên cứu liên ngành giá trị về an toàn thông tin đa phương tiện và thiết kế phần cứng bảo mật thế hệ mới.