Tổng quan luận án

Luận án tiến sĩ kỹ thuật 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), do nghiên cứu sinh Hoàng Xuân Thành thực hiện 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 năm 2019.

Tính cấp thiết và khoảng trống nghiên cứu

Trong kỷ nguyên số hóa, sự phát triển của công nghệ thu nhận hình ảnh và môi trường mạng truyền thông đa người dùng dẫn đến khối lượng dữ liệu ảnh chiếm tỷ trọng lớn trong tổng lưu lượng truyền tải. Dữ liệu ảnh có các đặc thù vật lý và cấu trúc khác biệt so với văn bản thông thường: tính tương quan giữa các điểm ảnh lân cận rất lớn và dữ liệu được biểu diễn dưới dạng khối ma trận hai chiều. Các hệ mật mã truyền thống dựa trên nền tảng độ phức tạp số học (như AES, DES, RSA) thường gặp hạn chế về hiệu năng tính toán và khả năng tối ưu hóa phần cứng khi áp dụng trực tiếp cho các luồng dữ liệu ảnh khối lượng lớn.

Mật mã hỗn loạn khai thác các tính chất của hệ động học phi tuyến (như tính nhạy cảm với điều kiện đầu, tính phân nhánh, hệ số Lyapunov dương và tính chất đồ hình liên kết) để tạo lập các cơ chế lộn xộn (confusion) và khuếch tán (diffusion). Tuy nhiên, tác giả chỉ ra hai khoảng trống nghiên cứu lớn trong lĩnh vực này:

  1. Khoảng trống về mô hình xử lý ở mức bit: Phần lớn các hệ mật mã hỗn loạn trước đây được thiết kế cho phần mềm trên máy tính với đơn vị xử lý là byte. Các nghiên cứu triển khai mật mã hỗn loạn ở mức bit nhằm tối ưu hóa cho phần cứng điện tử số và can thiệp sâu vào phân bố thống kê của các lớp bit ảnh tự nhiên còn rất hạn chế.
  2. Khoảng trống trong phân tích thám mã hệ mật mã cấu trúc SPN nhiều vòng lặp: Các nghiên cứu thám mã đối với hệ mật mã hỗn loạn cấu trúc mạng hoán vị - thay thế (Substitution-Permutation Network - SPN) trước đây chỉ dừng lại ở các hệ có một vòng lặp ($R = 1$). Từ năm 2010 đến trước thời điểm công bố của luận án (2018), chưa có công trình nào thực hiện và công bố phương pháp thám mã thành công đối với hệ mật mã hỗn loạn SPN có nhiều vòng lặp ($R > 1$).

Mục tiêu nghiên cứu

Mục tiêu tổng quát của luận án được xác định gồm hai nội dung chính:

  1. Nghiên cứu các phương pháp hình thành hệ mật mã ứng dụng hàm hỗn loạn, đánh giá khả năng chịu đựng các cơ chế tấn công cơ bản và các vấn đề liên quan đến việc đảm bảo tính bí mật của dữ liệu ảnh.
  2. Từ các hiểu biết về mật mã hỗn loạn, luận án đề xuất các hệ mật mã hỗn loạn mới làm việc ở mức bit có khả năng kháng các phương pháp tấn công và phù hợp cho việc hiện thực hóa trên phần cứng điện tử số; đồng thời phát triển các giải thuật phân tích mã nhằm phát hiện lỗ hổng của các cấu trúc SPN và đề xuất giải pháp cải tiến bảo mật.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các hệ mật mã sử dụng các hàm hỗn loạn rời rạc theo thời gian; các thuật toán mã hóa, giải mã và giải thuật phân tích mã (thám mã) cho dữ liệu ảnh số.
  • Phạm vi nghiên cứu: Luận án tập trung vào các hệ mật mã đối xứng xây dựng theo cấu trúc mạng hoán vị - thay thế (SPN). Các phương pháp đánh giá an toàn được thực hiện thông qua các mô hình tấn công mật mã kinh điển gồm: Tấn công lựa chọn bản rõ (CPA - Chosen-Plaintext Attack), Tấn công lựa chọn bản mã (CCA - Chosen-Ciphertext Attack), Tấn công biết bản rõ (KPA - Known-Plaintext Attack) và Tấn công chỉ có bản mã (COA - Ciphertext-Only Attack).

Tổng quan tài liệu và vị trí của luận án

Luận án đã hệ thống hóa lịch sử phát triển của lý thuyết động học phi tuyến từ các phương trình vi phân của Newton (thế kỷ 17), các phát hiện về tính hỗn loạn của Henri Poincaré (cuối thế kỷ 19), đến sự bùng nổ của các nghiên cứu ứng dụng hỗn loạn trong xử lý tín hiệu và truyền thông bảo mật nửa sau thế kỷ 20.

Các hướng nghiên cứu được điểm lại

Trong bức tranh tổng quan quốc tế và trong nước, tác giả điểm lại các nhóm nghiên cứu và công trình tiêu biểu:

  • Các nhóm nghiên cứu quốc tế: Nhóm nghiên cứu của GS. Guanrong Ron Chen (Đại học Thành phố Hồng Kông); nhóm của TS. Arroyo Guardeño David (Đại học Universidad Autónoma de Madrid) và TS. Gonzalo Alvarez (Hội đồng nghiên cứu quốc gia Tây Ban Nha); nhóm của Hidayet OĞRAŞ và Mustafa TÜRK (Đại học Batman, Thổ Nhĩ Kỳ); nhóm của GS. Safwan El Assad (Đại học Nantes, Pháp).
  • Nhóm nghiên cứu trong nước: Nhóm nghiên cứu của PGS. Hoàng Mạnh Thắng, PGS. Nguyễn Xuân Quyền và TS. Tạ Thị Kim Huệ tại Trường Đại học Bách khoa Hà Nội là đơn vị nghiên cứu chuyên sâu về hỗn loạn và ứng dụng trong bảo mật, truyền tin.
  • Các công trình nền tảng về cấu trúc và giải thuật mật mã:
    • Mô hình mạng hoán vị - thay thế (SPN) ứng dụng hỗn loạn đầu tiên do Jiri Fridrich đề xuất năm 1998.
    • Phân tích không gian khóa của các hàm hỗn loạn (như hàm Standard) của S. Lian (2009).
    • Các giải thuật tạo dãy giả ngẫu nhiên kết hợp thanh ghi dịch hồi tiếp tuyến tính (LFSR) và hàm hỗn loạn của Hassan Noura (2014, 2017).
    • Phương pháp trích xuất bit ngẫu nhiên từ dạng biểu diễn dấu phảy tĩnh của T. Kohda (1997, 2002).
    • Giải thuật hoán vị hàng/cột của Xingyuan Wang và các cộng sự (2012).
    • Các nghiên cứu về cấu trúc mặt phẳng bit và tương quan không gian của ảnh số tự nhiên của Wang và He (2011).
    • Các công trình phân tích mã đối với cấu trúc SPN một vòng lặp của Solak và cộng sự (2010) và Li và cộng sự (2012).

Khoảng trống luận án lựa chọn giải quyết

Luận án định vị nghiên cứu vào việc giải quyết hai vấn đề cốt lõi mà các công trình trước chưa hoàn thiện:

  1. Xây dựng giải thuật mật mã làm việc ở mức bit có khả năng thay đổi động các tham số điều khiển của hàm hỗn loạn ngay trong quá trình xử lý từng bit dữ liệu, kết hợp với các hàm hỗn loạn đa chiều (Cat-Hadamard) nhằm tăng tính phức tạp động học và cân bằng thống kê bit.
  2. Xây dựng phương pháp toán học và quy trình thực nghiệm để 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 = 3$), chỉ ra cơ chế lan truyền ảnh hưởng của điểm yếu cấu trúc và đề xuất phương án kiến trúc nhằm khắc phục triệt để lỗ hổng này.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết và các mô hình hàm hỗn loạn

Luận án vận dụng lý thuyết hệ động học phi tuyến, lý thuyết mật mã học Shannon (tiêu chí lộn xộn và khuếch tán), cùng các mô hình toán học của các hàm hỗn loạn rời rạc theo thời gian $X_{n+1} = F(X_n)$:

  • Hàm Logistic: $x_{n+1} = r x_n (1 - x_n)$, với $x_n \in (0, 1)$, trạng thái hỗn loạn xuất hiện khi tham số điều khiển $3,57 \le r \le 4$.
  • Hàm Henon (2D): $x_{n+1} = 1 - a x_n^2 + y_n$ và $y_{n+1} = b x_n$, với các tham số chuẩn $a = 1,4$ và $b = 0,3$.
  • Hàm Cat (Arnold's Cat Map): $$\begin{bmatrix} x_1(n+1) \ x_2(n+1) \end{bmatrix} = \begin{bmatrix} 1 & b \ a & ab+1 \end{bmatrix} \begin{bmatrix} x_1(n) \ x_2(n) \end{bmatrix} \pmod N$$
  • Hàm hỗn loạn Cat-Hadamard $2^k$ chiều: Được mở rộng thông qua tích Kronecker với ma trận Hadamard: $$H_k = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes H_{k-1}$$ với $H_0 = [1]$ và $H_1 = \begin{bmatrix} ab+1 & b \ a & 1 \end{bmatrix}$. Luận án chi tiết hóa ma trận $H_2$ ($4 \times 4$) và $H_3$ ($8 \times 8$).
  • Hàm Standard (Chirikov-Taylor): $x_{n+1} = (x_n + y_{n+1}) \pmod M$; $y_{n+1} = (y_n + K \sin(x_{n+1} N / 2\pi)) \pmod N$.
  • Hàm Chebyshev: $T_n(x) = 2x T_{n-1}(x) - T_{n-2}(x)$.
  • Lưới ghép một chiều (Coupled Map Lattice - CML): $x_n^{(k)} = (1 - \varepsilon)g(x_n^k) + \varepsilon g(x_n^{k-1})$.

Đặc trưng thống kê và mức độ quan trọng của các lớp bit ảnh

Ảnh mức xám 8 bit được phân tích thành 8 mặt phẳng bit (từ bit $b_0$ đến bit $b_7$). Mức độ đóng góp thông tin của lớp bit thứ $i$ ($Sig_i$) được xác định theo công thức: $$Sig_i = \frac{2^i}{\sum_{j=0}^{2^k-1} 2^j}$$

Lớp bit ($i$) Tỷ lệ thông tin đóng góp ($Sig_i$)
Lớp 8 ($b_7$ - MSB) 50,20%
Lớp 7 ($b_6$) 25,10%
Lớp 6 ($b_5$) 12,55%
Lớp 5 ($b_4$) 6,27%
Lớp 4 ($b_3$) 3,14%
Lớp 3 ($b_2$) 1,57%
Lớp 2 ($b_1$) 0,78%
Lớp 1 ($b_0$ - LSB) 0,20%

Dữ liệu ảnh tự nhiên có hàm tự tương quan (ACF) rất cao giữa các điểm ảnh liền kề và tập trung phần lớn năng lượng ở các lớp bit cao ($b_4 - b_7$), trong khi các lớp bit thấp ($b_0 - b_3$) có tính chất phân bố ngẫu nhiên như nhiễu.

Phương pháp nghiên cứu và công cụ thực nghiệm

  • Phương pháp phân tích lý thuyết: Phân tích giải thuật biến đổi ma trận, giải tích ma trận Jacobian để xác định tính chất ánh xạ một-một (bijective), tính toán hệ số Lyapunov ($\lambda$), phân tích sự lan truyền vi sai và thiết lập quy trình giải mã từng bước.
  • Phương pháp mô phỏng số: Kiểm chứng các giải thuật mật mã và thám mã trên máy tính sử dụng phần mềm Matlab phiên bản 2016.
  • Phương pháp thiết kế phần cứng số: Hiện thực hóa các khối mật mã mức bit bằng ngôn ngữ mô tả phần cứng trên phần mềm Altera Quartus II phiên bản 13 và kiểm tra dạng sóng thời gian bằng ModelSim phiên bản 6.0.
  • Phương pháp đánh giá thống kê: Sử dụng bộ tiêu chuẩn NIST SP 800-22, đánh giá độ nhạy vi sai thông qua tỷ lệ thay đổi điểm ảnh (NPCR - Number of Pixels Change Rate), cường độ thay đổi trung bình thống nhất (UACI - Unified Average Changing Intensity), tỷ lệ sai khác bản mã (Cdr - Ciphertext difference rate), độ nhạy khóa mật, entropy thông tin, cùng các chỉ số hoán vị PAPC và DBAP trên tập dữ liệu chuẩn 100 ảnh thử nghiệm (bao gồm ảnh Lena, Image1 kích thước $256 \times 256$, $512 \times 512$ và các ảnh màu RGB).

Nội dung chính theo từng chương

Chương 1: Tổng quan về hàm hỗn loạn và ảnh số

Chương này cung cấp nền tảng lý thuyết về hệ thống mật mã hiện đại và các đặc tính động học của hệ hỗn loạn:

  • Khái niệm mật mã học: Trình bày mô hình 5 thành phần $(P, C, K, E, D)$, trong đó $D_K(E_K(P)) = P$; phân loại theo khóa (đối xứng, bất đối xứng), theo cách thức xử lý (mật mã dòng, mật mã khối), theo cấu trúc (Feistel, SPN/Unified), và theo đơn vị dữ liệu (byte, digit, bit).
  • Hệ thống hỗn loạn liên tục và rời rạc: Trình bày các hệ liên tục (Chua, Lorenz, Rossler, hệ có trễ) và các hàm rời rạc (Logistic, Henon, Cat, Cat-Hadamard, Standard, Skew tent, Chebyshev, CML).
  • Các thuộc tính cơ bản của hỗn loạn ứng dụng trong mật mã:
    • Tính nhạy cảm với điều kiện đầu: Minh họa qua hệ số Lyapunov $\lambda > 0$. Ví dụ thực nghiệm cho thấy hàm Logistic với $r = 4,0$ khi xuất phát từ hai điều kiện đầu $x_0 = 0,123$ và $x_0 = 0,12300000005$ sẽ phân kỳ hoàn toàn sau 28 lần lặp.
    • Đồ hình phân nhánh (bifurcation) và tính chất cấu trúc đồ hình liên kết (topologically transitive).
    • Phân tích phân bố giá trị đầu ra: Chỉ ra tính phân bố không đồng đều của hàm Logistic (tập trung mật độ cao ở gần 0 và 1) và phân bố đồng đều hơn của hàm Henon khi chuẩn hóa về dải $[0, 255]$.
  • Phương pháp tạo chuỗi giả ngẫu nhiên: Trình bày 4 phương pháp tạo chuỗi bit (so sánh ngưỡng, chaotic iteration, ghép bit, trích xuất bit sau dấu phảy tĩnh theo Kohda) và 3 phương pháp tạo chuỗi số nguyên ($S_n = X_n \times 10^t \pmod K$, kết hợp thanh ghi LFSR theo Hassan Noura, sắp xếp thứ tự chuỗi để lấy chỉ số).
  • Đặc trưng của dữ liệu ảnh số: Phân tích cấu trúc ảnh raster, không gian màu RGB/HSV, phân rã 8 lớp bit của ảnh mức xám và xác lập bảng trọng số thông tin $Sig_i$.

Chương 2: Mật mã ảnh ở mức bit ứng dụng kỹ thuật hỗn loạn

Chương này tập trung vào các mô hình mạng SPN ở mức bit và trình bày hai đề xuất hệ mật mã mới của tác giả:

  • Mô hình SPN dùng hỗn loạn: Phân tích khối hoán vị (P-box) và khối thay thế/khuếch tán (S-box). Phân tích ưu nhược điểm của việc hoán vị theo cụm điểm ảnh, điểm ảnh đơn, chữ số (digit) và bit.
  • Cơ chế tạo luật hoán vị:
    • Quy luật dựa trên sắp xếp dãy biến trạng thái: Tạo chuỗi hỗn loạn $X$, loại bỏ các giá trị quá độ ban đầu (ví dụ bỏ 500 điểm đầu), sắp xếp tăng dần thành $X'$ để thu được hàm hoán vị $h(i) = j$. Luận án chứng minh tính nhạy cảm khi số điểm bỏ đi thay đổi (so sánh ma trận $T_{499}$, $T_{500}$, $T_{501}$).
    • Quy luật dựa trên đặc tính động của hàm hỗn loạn 2D: Khai thác tính chất song ánh (bijective) của hàm có định thức Jacobian bằng 1 (như Cat, Standard) qua $q$ lần lặp.
  • Đề xuất 1: Hệ mật mã hỗn loạn tác động lên đặc tính động ở mức bit:
    • Cơ chế: Thay đổi liên tục giá trị tham số điều khiển $r$ của hàm Logistic tại từng chu kỳ xử lý bit dữ liệu, làm cho đặc tính động của hàm trở nên phi ổn định, triệt tiêu cấu trúc thống kê và mở rộng không gian khóa. Tích hợp thuật toán cân bằng phân bố bit nhằm đưa tỷ lệ bit 0 và bit 1 về trạng thái cân bằng xấp xỉ 50%.
    • Cấu trúc hệ thống: Gồm khối hoán vị mức bit (CPP - Chaos Permutation Pixel) và khối khuếch tán (CD - Chaos Diffusion) cùng khối giải khuếch tán ngược (iCD).
    • Thiết kế phần cứng: Hiện thực hóa cấu trúc RTL trên FPGA bằng Altera Quartus II và ModelSim, gồm khối hàm Logistic nhiều vòng lặp, khối mở rộng 8 bit thành 32 bit, khối tách 8 bit và cấu trúc mạch tích hợp tổng thể của CPP.
    • Đánh giá an toàn và hiệu năng: Phân tích độ nhạy khóa mật qua $Cdr$, tính toán entropy thông tin, phân bố histogram phẳng, hệ số tương quan giữa các điểm ảnh lân cận xấp xỉ bằng 0.
Chỉ số đánh giá Giá trị thực nghiệm (Ảnh Lena / Tập 100 ảnh)
NPCR trung bình (100 ảnh) 99,61%
UACI trung bình (100 ảnh) 33,46%
Entropy bản mã ~ 7,999x bit/symbol
Hệ số tương quan điểm ảnh bản mã ~ 0,00xx (tiến về 0)
  • Đề xuất 2: Hệ mật mã hỗn loạn cho ảnh ở mức bit dùng Cat-Hadamard:
    • Giải thuật: Sử dụng hàm Cat hai chiều cho quá trình hoán vị vị trí bit và hàm hỗn loạn Cat-Hadamard đa chiều ($H_2$ cho 4 chiều hoặc $H_3$ cho 8 chiều) cho quá trình khuếch tán ma trận bit.
    • Trình bày chi tiết thuật toán mã hóa, giải mã, thủ tục phân phối khóa và phân tích chi phí tính toán.

Chương 3: Phân tích mật mã hỗn loạn có cấu trúc SPN

Chương này trình bày các giải thuật thám mã đối với hệ mật mã hỗn loạn cấu trúc SPN:

  • Quy ước phân tích mã: Phân loại năng lực thám mã theo các mô hình KPA, CPA, CCA, COA. Mô tả chi tiết cấu trúc hệ mật mã SPN của Xingyuan Wang để làm đối tượng phân tích.
  • Đề xuất 3: Phân tích hệ mật mã hỗn loạn SPN với một vòng lặp ($R = 1$):
    • Tấn công lựa chọn bản rõ (CPA): Tách rời bước hoán vị và khuếch tán. Bằng cách chọn các bản rõ đặc biệt (ma trận toàn số 0 hoặc các bản rõ chỉ sai khác 1 bit tại vị trí $(x_0, y_0)$), tác giả khôi phục hoàn toàn bảng hoán vị vị trí và sau đó giải mã luồng khóa khuếch tán (tìm các bit $b_0, b_5$). Minh họa thực nghiệm trên ma trận ảnh $5 \times 5$ và mở rộng $10 \times 10$.
    • Tấn công lựa chọn bản mã (CCA): Thực hiện quá trình ngược lại bằng cách chọn các bản mã đặc biệt để bẻ gãy quá trình hoán vị ngược và giải khuếch tán ngược.
    • Ước lượng độ phức tạp thời gian: Xác định chính xác số lượng bản tin cần chọn và thời gian tính toán để khôi phục hoàn toàn khóa mật.
  • Đề xuất 4: Phân tích hệ mật mã hỗn loạn SPN với nhiều vòng lặp ($R > 1$):
    • Nhận diện điểm yếu cấu trúc: Luận án chỉ ra rằng trong cấu trúc giải mật của hệ SPN nhiều vòng lặp (khảo sát với $R = 3$), sự lan truyền ảnh hưởng của các phần tử biên và giá trị khởi tạo khuếch tán tạo ra các điểm bất đối xứng thông tin.
    • Khôi phục luật hoán vị tổng quát: Xây dựng quy trình lập bảng tra cứu hoán vị tổng quát thông qua phân tích 4 trường hợp lan truyền ảnh hưởng vi sai ($Trường\ hợp\ 1, 2, 3, 4$).
    • Đề xuất giải pháp tăng cường bảo mật: Nhằm ngăn chặn kỹ thuật tấn công đã phát hiện, tác giả đề xuất hai cải tiến kiến trúc:
      1. Bổ sung thêm một vòng khuếch tán ở cuối quy trình mã hóa.
      2. Ràng buộc điều kiện giá trị khởi tạo khuếch tán $ac^{(r+1)}(0)$ bằng với giá trị bản mã trung gian $cipher^{(r)}(4N^2)$. Kết quả phân tích cho thấy các đường lan truyền vi sai bị xóa bỏ hoàn toàn, vô hiệu hóa khả năng tấn công CPA và CCA.

Kết quả và những đóng góp mới

Các kết quả và đóng góp khoa học của luận án được tổng hợp theo hai nhóm chính:

Nhóm đóng góp về xây dựng hệ mật mã mới

  1. Đề xuất hệ mật mã hỗn loạn làm việc ở mức bit với cơ chế tác động lên đặc tính động: Luận án đề xuất phương pháp can thiệp trực tiếp vào tham số điều khiển $r$ của hàm Logistic tại mức bit trong suốt quá trình mã hóa. Giải pháp này làm cho hành vi động học trở nên không ổn định, ngăn chặn các kỹ thuật thám mã thống kê, mở rộng không gian khóa và kết hợp cơ chế cân bằng bit giúp cải thiện chất lượng ngẫu nhiên của bản mã.
  2. Thiết kế và kiểm chứng mạch phần cứng số: Hiện thực hóa thành công cấu trúc RTL của khối CPP trên nền tảng FPGA sử dụng Altera Quartus II và ModelSim, chứng minh tính khả thi khi triển khai hệ mật mã trên các thiết bị phần cứng điện tử số tốc độ cao.
  3. Đề xuất hệ mật mã sử dụng hàm Cat-Hadamard đa chiều: Ứng dụng thành công hàm Cat cho hoán vị bit và hàm Cat-Hadamard nhiều chiều ($H_2, H_3$) cho quá trình khuếch tán bit, giúp tối ưu hóa chi phí tính toán và gia tăng mức độ khuếch tán dữ liệu.

Nhóm đóng góp về phân tích mã và giải pháp an toàn

  1. Phương pháp thám mã hệ SPN một vòng lặp ($R = 1$): Xây dựng thuật toán tấn công lựa chọn bản rõ (CPA) và lựa chọn bản mã (CCA) cho phép tách biệt và khôi phục độc lập ma trận hoán vị cùng luồng khóa khuếch tán.
  2. Phương pháp thám mã hệ SPN nhiều vòng lặp ($R = 3$): Lần đầu tiên công bố giải thuật thám mã thành công hệ mật mã hỗn loạn SPN nhiều vòng lặp thông qua việc nhận diện lỗ hổng lan truyền ảnh hưởng trong giải mật và xây dựng bảng tra cứu hoán vị tổng quát.
  3. Đề xuất giải pháp kiến trúc nâng cao độ an toàn: Đưa ra phương án bổ sung vòng khuếch tán và thiết lập mối liên kết phụ thuộc giữa giá trị khởi tạo khuếch tán với dữ liệu bản mã trung gian, giúp hệ thống kháng lại các kỹ thuật tấn công phân tích vi sai đã nêu.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của nghiên cứu

  • Luận án giới hạn phạm vi nghiên cứu ở các hệ mật mã sử dụng các hàm hỗn loạn rời rạc theo thời gian, chưa mở rộng áp dụng cho các hệ hỗn loạn liên tục có trễ thời gian hoặc các hệ động học siêu hỗn loạn (hyperchaos).
  • Phạm vi cấu trúc mật mã tập trung chủ yếu vào mạng hoán vị - thay thế (SPN), chưa thực hiện đánh giá so sánh chi tiết trên các cấu trúc khác như Feistel hay Lai-Massey.
  • Việc thực nghiệm thiết kế phần cứng số trên FPGA mới dừng lại ở việc kiểm chứng hoạt động của các khối chức năng lõi (như khối CPP, hàm Logistic nhiều vòng lặp), chưa đóng gói thành một vi mạch xử lý hoàn chỉnh (SoC/ASIC) chạy ở thời gian thực cho luồng dữ liệu video độ phân giải cao.

Hướng nghiên cứu tiếp

  • Mở rộng phương pháp phân tích thám mã sang các hệ mật mã hỗn loạn sử dụng các cấu trúc mạng khác và các hàm hỗn loạn phức tạp hơn (như hàm hỗn loạn không gian - thời gian CML bậc cao).
  • Tối ưu hóa tài nguyên phần cứng (diện tích cổng logic, công suất tiêu thụ) để tích hợp toàn bộ giải thuật mật mã ảnh mức bit vào chip bảo mật chuyên dụng.
  • Nghiên cứu cơ chế phân phối và quản lý khóa mật an toàn kết hợp với hạ tầng khóa công khai (PKI) để ứng dụng hệ mật mã hỗn loạn vào hệ thống truyền thông mạng thực tế.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành hữu ích cho các nhóm đối tượng:

  • Nghiên cứu sinh, học viên cao học và giảng viên: Thuộc các ngành Kỹ thuật điện tử, Kỹ thuật máy tính, Kỹ thuật mật mã, An toàn thông tin và Toán tin ứng dụng. Tài liệu cung cấp cơ sở lý thuyết toán học có hệ thống về hệ động học phi tuyến, phân tích mặt phẳng bit ảnh số và các phương pháp đánh giá an toàn mật mã theo tiêu chuẩn quốc tế.
  • Kỹ sư thiết kế vi mạch và hệ thống nhúng an toàn: Tham khảo trực tiếp Chương 2 về phương pháp chuyển đổi hàm hỗn loạn sang dạng số dấu phảy tĩnh, thiết kế khối hoán vị/khuếch tán mức bit và các sơ đồ kiến trúc RTL mô phỏng trên Quartus II/ModelSim.
  • Chuyên gia phân tích an toàn thông tin và thám mã: Tham khảo Chương 3 để nắm vững quy trình toán học trong việc nhận diện điểm yếu lan truyền thông tin của cấu trúc mạng SPN và phương pháp dựng bảng khôi phục khóa trong các mô hình tấn công CPA/CCA.

Câu hỏi thường gặp

1. Tại sao luận án tập trung phát triển hệ mật mã hỗn loạn ở mức bit thay vì mức byte hay ký tự?

Mật mã ở mức bit can thiệp sâu nhất vào cấu trúc biểu diễn dữ liệu của điểm ảnh. Ảnh tự nhiên có sự phân bố thông tin không đều giữa các lớp bit (các lớp bit cao từ $b_4$ đến $b_7$ chiếm hơn 94% thông tin). Việc xử lý ở mức bit cho phép hoán đổi vị trí giữa các bit có trọng số khác nhau, vừa tạo ra sự lộn xộn vị trí vừa làm biến đổi trực tiếp giá trị mức xám của điểm ảnh (kết hợp cả confusion và diffusion). Ngoài ra, giải thuật mức bit hoàn toàn tương thích với nguyên lý xử lý dữ liệu song song của phần cứng điện tử số (FPGA/ASIC).

2. Hàm hỗn loạn Cat-Hadamard được xây dựng như thế nào và giữ vai trò gì trong luận án?

Hàm Cat-Hadamard $2^k$ chiều được xây dựng bằng cách kết hợp hàm Cat hai chiều với ma trận Hadamard thông qua phép nhân tích Kronecker: $H_k = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes H_{k-1}$. Trong Đề xuất 2 của luận án, hàm Cat-Hadamard đa chiều ($H_2$ bậc 4 và $H_3$ bậc 8) được sử dụng trong khối khuếch tán để nhân trộn đồng thời nhiều thành phần bit, giúp tăng tốc độ khuếch tán và mở rộng không gian trạng thái của hệ mật mã.

3. Phương pháp thám mã hệ SPN nhiều vòng lặp của tác giả dựa trên nguyên lý cốt lõi nào?

Phương pháp thám mã dựa trên việc phân tích sự lan truyền ảnh hưởng của dữ liệu trong quá trình giải mật mã khi có sự sai khác ở đầu vào. Tác giả chỉ ra rằng tại các vị trí biên và các giá trị khởi tạo khuếch tán, dữ liệu giải mã chưa bị xáo trộn hoàn toàn qua các vòng lặp. Bằng cách thiết lập 4 kịch bản vi sai bản mã được lựa chọn (CCA), tác giả cô lập được các thành phần ảnh hưởng và xây dựng bảng tra cứu hoán vị tổng quát để khôi phục toàn bộ ma trận hoán vị mà không cần giải mã khóa bí mật.

4. Tác giả đã sử dụng những phần mềm công cụ nào để mô phỏng và kiểm chứng các kết quả nghiên cứu?

Nghiên cứu sử dụng hệ thống công cụ gồm:

  • Matlab (phiên bản 2016): Dùng cho phân tích lý thuyết, mô phỏng các giải thuật mật mã/giải mã, chạy các thuật toán thám mã CPA/CCA và tính toán các chỉ số thống kê (NPCR, UACI, Cdr, ACF, Histogram, Entropy).
  • Altera Quartus II (phiên bản 13): Dùng để thiết kế, tổng hợp mạch điện tử số (RTL) cho các khối chức năng mật mã mức bit trên FPGA.
  • ModelSim (phiên bản 6.0): Dùng để mô phỏng dạng sóng thời gian và kiểm chứng sự trùng khớp giữa kết quả xử lý phần cứng và mô phỏng thuật toán trên Matlab.

5. Cải tiến kiến trúc nào được đề xuất để khắc phục điểm yếu của hệ mật mã SPN nhiều vòng lặp?

Tác giả đề xuất hai giải pháp:

  1. Thêm một vòng khuếch tán độc lập ở cuối giải thuật mã hóa để đảm bảo mọi điểm ảnh biên đều bị xáo trộn giá trị hoàn toàn.
  2. Thiết lập ràng buộc giá trị khởi tạo khuếch tán $ac^{(r+1)}(0)$ bằng với giá trị của điểm ảnh bản mã trung gian $cipher^{(r)}(4N^2)$, làm cho quá trình khuếch tán phụ thuộc chặt chẽ vào dữ liệu động của vòng lặp trước, triệt tiêu hoàn toàn khả năng lập bảng tra cứu của kẻ tấn công.

Kết luận

Luận án tiến sĩ của tác giả Hoàng Xuân Thành đã giải quyết trọn vẹn hai bài toán cơ bản trong mật mã học ứng dụng kỹ thuật hỗn loạn: thiết kế hệ mật mã ảnh mức bit tối ưu hóa cho phần cứng và phân tích thám mã cấu trúc mạng hoán vị - thay thế (SPN). Tác giả đã đề xuất thành công cơ chế tác động lên đặc tính động của hàm Logistic ở mức bit, ứng dụng hàm Cat-Hadamard đa chiều và hiện thực hóa kiểm chứng trên phần cứng FPGA. Đồng thời, công trình đóng góp phương pháp thám mã hệ SPN một vòng lặp và nhiều vòng lặp ($R = 3$), chỉ ra lỗ hổng cấu trúc và đưa ra giải pháp cải tiến bảo mật hiệu quả. Các kết quả nghiên cứu đã cung cấp những luận cứ khoa học và giải pháp kỹ thuật có giá trị cho lĩnh vực an toàn thông tin và kỹ thuật điện tử.