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), được tác giả 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 bối cảnh bùng nổ công nghệ thông tin và truyền thông, dữ liệu ảnh số chiếm tỷ trọng lớn trong tổng lưu lượng trao đổi trên mạng. Tuy nhiên, dữ liệu ảnh có những đặc thù riêng biệt so với dữ liệu văn bản truyền thống: dung lượng khối lớn, tính tương quan cao giữa các điểm ảnh lân cận và sự tập trung thông tin chủ yếu tại các lớp bit có trọng số cao. Các hệ mật mã khối kinh điển dựa trên sự phức tạp của số học (như DES, AES) gặp những giới hạn nhất định về tốc độ xử lý và tài nguyên tính toán khi áp dụng trực tiếp cho ảnh số.
Mật mã hỗn loạn xuất hiện như một hướng tiếp cận phi tuyến dựa trên các đặc tính động học của hệ hỗn loạn (độ nhạy điều kiện đầu, tính ngẫu nhiên giả, tính phân bố đều và tính không thể dự đoán dài hạn). Dù vậy, phần lớn các hệ mật mã hỗn loạn trước đây chỉ được thiết kế thao tác ở mức byte trên môi trường máy tính, chưa khai thác xử lý ở mức bit để tối ưu hóa việc can thiệp cấu trúc dữ liệu và triển khai trên phần cứng số. Đồng thời, các hệ mật mã hỗn loạn cấu trúc mạng hoán vị - thay thế (Substitution-Permutation Network - SPN) với nhiều vòng lặp hầu như chưa được phân tích thám mã một cách hệ thống; các nghiên cứu thám mã thành công công bố trước đó mới chỉ dừng lại ở hệ mật mã SPN một vòng lặp.
Mục tiêu nghiên cứu
Luận án xác định hai mục tiêu nghiên cứu cụ thể:
- 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, phân tích khả năng chịu đựng các tấn công và các vấn đề liên quan đến việc đảm bảo tính bí mật, từ đó làm rõ khả năng phát triển của mật mã hỗn loạn cho dữ liệu ảnh số.
- Từ cơ sở lý thuyết và thực nghiệm, đề 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 chống chịu các cơ chế tấn công và phù hợp cho thiết kế trên phần cứng số; đồng thời đề xuất phương pháp thám mã đối với hệ mật mã hỗn loạn cấu trúc SPN một vòng lặp và nhiều vòng lặp.
Đố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 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ã ảnh ở mức bit và các giải thuật phân tích mã (thám mã).
- Phạm vi nghiên cứu: Hệ mật mã khối đối xứng cho dữ liệu ảnh số (ảnh mức xám và ảnh màu RGB) được xây dựng theo cấu trúc mạng hoán vị - thay thế (SPN / cấu trúc Unified); đánh giá tính an toàn thông qua các tiêu chí thống kê, độ nhạy sai phân và các mô hình tấn công cơ bản (tấn công lựa chọn bản rõ CPA, tấn công lựa chọn bản mã CCA).
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trong và ngoài nước
Trong nước, các nghiên cứu mật mã truyền thống dựa trên nền tảng độ phức tạp thuật toán và cấu trúc số học được triển khai bởi các cơ quan chuyên trách như Ban Cơ yếu Chính phủ, Cục An toàn thông tin (Bộ Thông tin và Truyền thông), Bộ Tư lệnh Tác chiến không gian mạng (Bộ Quốc phòng) và một số công trình học thuật tại các trường đại học (như các công bố [4, 5, 6, 7, 8]). Hướng nghiên cứu ứng dụng lý thuyết hỗn loạn trong bảo mật và truyền tin được thực hiện bởi 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 [9, 10].
Trên thế giới, mật mã hỗn loạn thu hút sự quan tâm của nhiều nhóm nghiên cứu tiêu biểu:
- Nhóm nghiên cứu của GS. Guanrong Ron Chen (Đại học Thành phố Hồng Kông);
- Nhóm nghiên cứu 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 nghiên cứu của Hidayet OĞRAŞ và Mustafa TÜRK (Đại học Batman, Thổ Nhĩ Kỳ);
- Nhóm nghiên cứu của GS. Safwan El Assad (Đại học Nantes, Pháp);
- Jiri Fridrich đề xuất mô hình kiến trúc SPN hỗn loạn đầu tiên (kết hợp khối hoán vị P-box và khối thay thế S-box);
- Hassan Noura cùng cộng sự [1, 57, 58] đề xuất mô hình tạo chuỗi ngẫu nhiên kết hợp hệ hỗn loạn và thanh ghi dịch hồi tiếp tuyến tính (LFSR);
- S. Lian [35] phân tích không gian khóa của các hệ hỗn loạn và chỉ ra hàm Standard có không gian khóa lớn;
- Kohda [52, 53], Q. Zhou [48], T. Xiang [51] phát triển các phương pháp trích xuất chuỗi bit và số ngẫu nhiên từ hàm hỗn loạn;
- Xingyuan Wang [55], Zhang [59], Pareek [90], Fu [61] nghiên cứu các giải thuật hoán vị và khuếch tán mức điểm ảnh và mức bit.
Về phương diện thám mã (cryptanalysis), các công trình [11, 12] (công bố năm 2010) đã thám mã thành công hệ mật mã hỗn loạn SPN một vòng lặp. Mặc dù công trình [11] nhận định phương pháp có thể mở rộng cho cấu trúc nhiều vòng lặp, nhưng từ năm 2010 đến trước thời điểm công bố kết quả của luận án (2018), chưa có công trình nào thực hiện phân tích thành công hệ mật mã hỗn loạn SPN nhiều vòng lặp.
Khoảng trống luận án lựa chọn giải quyết
Luận án tập trung giải quyết hai khoảng trống học thuật:
- Thiết kế hệ mật mã hỗn loạn can thiệp trực tiếp ở mức bit dựa trên việc tác động vào đặc tính động của hàm hỗn loạn và mở rộng hàm Cat-Hadamard đa chiều, kết hợp cơ chế cân bằng phân bố bit nhằm nâng cao tính ngẫu nhiên thống kê và khả năng hiện thực hóa trên phần cứng số.
- Xây dựng phương pháp thám mã tường minh đối với hệ mật mã hỗn loạn cấu trúc SPN có nhiều vòng lặp dưới các kịch bản tấn công lựa chọn bản rõ (CPA) và lựa chọn bản mã (CCA), từ đó chỉ ra điểm yếu cấu trúc và đề xuất giải pháp tăng cường an toàn.
Cơ sở lý thuyết và phương pháp nghiên cứu
Cơ sở lý thuyết và các khái niệm sử dụng
Luận án dựa trên lý thuyết động học phi tuyến, lý thuyết mật mã học Shannon và lý thuyết xử lý ảnh số:
- Hệ mật mã 5 thành phần: Hệ thống được biểu diễn qua bộ $(P, C, K, E, D)$ gồm tập bản rõ $P$, tập bản mã $C$, tập khóa mật $K$, quy tắc mã hóa $E_K: P \rightarrow C$ và quy tắc giải mã $D_K: C \rightarrow P$ thỏa mãn điều kiện $D_K(E_K(P)) = P$.
- Hàm hỗn loạn rời rạc theo thời gian:
- 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 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; \quad y_{n+1} = b x_n$.
- Hàm Cat 2D (Arnold's Cat Map): Biến đổi bảo toàn diện tích có ma trận Jacobian bằng 1 (tính chất song ánh/bijective).
- Hàm Cat-Hadamard $2^k$ chiều: Mở rộng hàm Cat 2D thông qua tích Kronecker với ma trận Hadamard $H_k$:
$$H_k = \begin{bmatrix} 2 \times H_{k-1} & H_{k-1} \ H_{k-1} & H_{k-1} \end{bmatrix} = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes H_{k-1}$$
- Các hàm khác: Hàm Standard (Chirikov-Taylor), hàm Skew tent, hàm đa thức Chebyshev ($T_n(x) = 2x T_{n-1}(x) - T_{n-2}(x)$), hàm ghép không gian - thời gian (Coupled Map Lattice - CML).
- Thuộc tính động học của hàm hỗn loạn:
- Độ nhạy với điều kiện đầu được đo bằng hệ số lũy thừa Lyapunov $\lambda$:
$$\lambda = \lim_{N \to \infty} \frac{1}{N} \sum_{t=1}^N \ln \left| \frac{\delta(t)}{\delta(t-1)} \right|$$
Hệ số $\lambda > 0$ chứng minh hệ tồn tại trạng thái hỗn loạn.
- Đồ hình phân nhánh (bifurcation) và tính chất chuyển dịch liên kết tô-pô (topological mixing).
- Đặc trưng thống kê của dữ liệu ảnh số: Ảnh mức xám 8 bit ($k=8$) gồm 8 lớp bit. Nghiên cứu [61] chỉ ra tỷ lệ đóng góp thông tin của lớp bit thứ $i$ được xác định theo công thức:
$$Sig_i = \frac{2^i}{\sum_{j=0}^{k-1} 2^j} \times 100%$$
| Lớp bit ($i$) |
Mức đóng góp thông tin ($Sig_i$) |
| 1 (LSB) |
0,39% |
| 2 |
0,78% |
| 3 |
1,57% |
| 4 |
3,14% |
| 5 |
6,27% |
| 6 |
12,55% |
| 7 |
25,10% |
| 8 (MSB) |
50,20% |
Phương pháp nghiên cứu
- Phương pháp phân tích lý thuyết: Nghiên cứu cấu trúc đại số và mô hình động học của mạng SPN hỗn loạn; thiết lập các quy trình toán học để tách biệt giai đoạn hoán vị (P-box) và giai đoạn khuếch tán/thay thế (S-box/Diffusion) trong quá trình thám mã.
- Phương pháp mô phỏng số và thiết kế phần cứng:
- Sử dụng phần mềm Matlab 2016 để lập trình mô phỏng các giải thuật mã hóa, giải mã, tạo chuỗi giả ngẫu nhiên và thực thi các kịch bản tấn công.
- Sử dụng phần mềm Altera Quartus II (phiên bản 13) và ModelSim (phiên bản 6.0) để thiết kế, tổng hợp và mô phỏng kiểm tra mạch điện tử số (mức chuyển thanh ghi RTL) cho các khối chức năng mã hóa mức bit.
- Phương pháp đánh giá thống kê:
- Kiểm tra tính ngẫu nhiên của chuỗi bit/số hỗn loạn bằng bộ tiêu chuẩn NIST (Chi-test);
- Đánh giá tương quan điểm ảnh lân cận (hàm tự tương quan ACF theo phương ngang, dọc, chéo);
- Đánh giá entropy lượng tin;
- Đo độ nhạy sai phân thông qua tỷ lệ thay đổi số đ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) và tỷ lệ sai khác bản mã Cdr (Ciphertext Difference Rate);
- Đo hiệu quả hoán vị thông qua các đại lượng PAPC (Percentage of Adjacent Pixels Count) và DBAP (Distance Between Adjacent Pixels).
Nguồn tư liệu và dữ liệu
Dữ liệu thử nghiệm bao gồm các ảnh chuẩn được sử dụng phổ biến trong xử lý ảnh (ảnh Lena kích thước $256 \times 256$, $512 \times 512$, ảnh mức xám và ảnh màu RGB), cùng tập dữ liệu gồm 100 ảnh tự nhiên dùng cho đánh giá thống kê trung bình của các chỉ số an toàn.
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 1 hệ thống hóa cơ sở lý thuyết về mật mã hiện đại, hệ thống hỗn loạn và đặc tính dữ liệu ảnh số:
- Phân loại mật mã học: Trình bày mô hình mật mã đối xứng và bất đối xứng, mật mã dòng và mật mã khối, cấu trúc Feistel và cấu trúc Unified (SPN), phân loại theo đơn vị xử lý dữ liệu (byte, bit, digit/chữ số) và cơ sở nền tảng (toán học truyền thống, đường cong Elliptic, lượng tử, hỗn loạn).
- Hệ thống hỗn loạn: Phân tích sự khác biệt giữa hệ hỗn loạn liên tục theo thời gian (Lorenz, Rossler, Chua, hệ trễ) và hệ rời rạc theo thời gian (Logistic, Henon, Cat, Cat-Hadamard, Standard, Skew tent, Chebyshev, CML). Hệ liên tục đòi hỏi giải phương trình vi phân phức tạp nên ít phù hợp cho mật mã khối, trong khi hệ rời rạc có cấu trúc lặp đại số phù hợp với tính toán số.
- Thuộc tính hỗn loạn trong mật mã: Khảo sát sự phụ thuộc điều kiện đầu, hệ số Lyapunov $\lambda$ (chỉ ra hàm Logistic hỗn loạn khi $r > 3{,}56$), đồ hình phân nhánh và tính chất trộn tô-pô. Khảo sát phân bố giá trị cho thấy hàm Logistic có phân bố không đều (tập trung nhiều ở gần 0 và 1), trong khi hàm Henon có phân bố tương đối đồng đều hơn khi chuẩn hóa về dải $[0, 255]$.
- Phương pháp tạo chuỗi ngẫu nhiên: Trình bày các kỹ thuật tạo chuỗi bit (so sánh ngưỡng, phép lặp hỗn loạn chaotic iteration, ghép bit, lấy bit sau dấu phẩy Kohda) và tạo chuỗi số nguyên ($S_n = (X_n \times 10^t) \bmod K$, kết hợp LFSR, sắp xếp mảng rank). Tất cả các chuỗi đều được kiểm định đạt tiêu chuẩn NIST.
- Đặc trưng dữ liệu ảnh: Biểu diễn ảnh dạng vector và raster. Khảo sát hàm tự tương quan (ACF) của ảnh Lena tại các dòng điểm ảnh 10, 150, 240 cho thấy hệ số tương quan rất lớn giữa các điểm liền kề. Phân tích 8 lớp bit chỉ ra rằng thông tin tập trung ở các lớp bit cao ($Sig_8 = 50{,}20%$), trong khi các lớp bit thấp có đặc tính phân bố ngẫu nhiên như nhiễu ($Sig_1 = 0{,}39%$).
Chương 2: MẬT MÃ ẢNH Ở MỨC BIT ỨNG DỤNG KỸ THUẬT HỖN LOẠN
Chương 2 trình bày hai đề xuất hệ mật mã ảnh làm việc ở mức bit dựa trên cấu trúc SPN:
- Mô hình SPN và cơ chế hoán vị - thay thế: Phân tích các kỹ thuật hoán vị 1D, 2D và hoán vị dựa trên đặc tính động song ánh (bijective). Khảo sát độ nhạy của ma trận hoán vị $T$ kích thước $M \times N$ khi thay đổi số điểm loại bỏ ban đầu (bỏ 499, 500, 501 điểm) cho thấy các ma trận hoán vị hoàn toàn khác biệt.
- Đề xuất 1: Hệ mật mã tác động lên đặc tính động của hàm hỗn loạn:
- Nguyên lý: Tác động trực tiếp làm thay đổi tham số điều khiển $r$ của hàm Logistic một cách liên tục ở mức bit trong suốt quá trình mã hóa và giải mã. Điều này làm cho đặc tính động của hàm trở nên không ổn định, phá vỡ cấu trúc thống kê và chống lại các tấn công ước lượng quỹ đạo.
- Cấu trúc: Gồm khối hoán vị điểm ảnh/bit CPP (Confusion Pixel/Bit Permutation) và khối khuếch tán CD (Confusion Diffusion). Tích hợp thuật toán cân bằng phân bố bit nhằm đảm bảo tỷ lệ bit 0 và bit 1 trong bản mã cân bằng xấp xỉ 50%.
- Thiết kế phần cứng: Hiện thực hóa kiến trúc phần cứng của khối Logistic nhiều vòng lặp, khối mở rộng 8 bit thành 32 bit, khối tách 8 bit từ 32 bit và mạch tổng thể của khối CPP trên FPGA. Kết quả chạy trên phần mềm Quartus II và ModelSim cho kết quả bit đầu ra khớp chính xác với mô phỏng trên Matlab.
- Đánh giá an toàn: Không gian khóa lớn chống tấn công vét cạn; entropy đạt xấp xỉ 8 bit/pixel; hệ số tương quan giữa các điểm ảnh kề nhau trong bản mã giảm về xấp xỉ 0; giá trị trung bình NPCR và UACI trên 100 ảnh thử nghiệm đạt chuẩn lý thuyết an toàn.
- Đề xuất 2: Hệ mật mã hỗn loạn cho ảnh ở mức bit dùng Cat-Hadamard:
- Nguyên lý: Sử dụng hàm Cat 2D để hoán vị các mặt phẳng bit và hàm Cat-Hadamard đa chiều ($2^k$ chiều, cụ thể là 4 chiều $H_2$ và 8 chiều $H_3$) cho quá trình khuếch tán dữ liệu bit.
- Giải thuật giải mật và phân phối khóa: Xây dựng thuật toán giải mã nghịch đảo và cơ chế tạo khóa dẫn xuất, tối ưu hóa chi phí tính toán trên phần cứng số.
Chương 3: PHÂN TÍCH MẬT MÃ HỖN LOẠN CÓ CẤU TRÚC SPN
Chương 3 tập trung vào công tác 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ã: Thiết lập các mô hình tấn công chuẩn: tấn công chỉ có bản mã (COA), tấn công biết bản rõ (KPA), 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).
- Hệ mật mã tham chiếu: Mô tả chi tiết cấu trúc hệ mật mã SPN điển hình được đề xuất bởi Wong et al. và các biến thể phổ biến trong y văn.
- Đề xuất 3: Phân tích hệ mật mã hỗn loạn SPN một vòng lặp ($R = 1$):
- Tấn công lựa chọn bản rõ (CPA): Tác giả chứng minh rằng đối với hệ SPN 1 vòng lặp, có thể tách rời hoàn toàn quá trình hoán vị và quá trình khuếch tán. Bằng cách chọn các bản rõ đặc biệt (bản rõ chứa các điểm ảnh đồng nhất và bản rõ chỉ thay đổi một điểm ảnh), thuật toán khôi phục được toàn bộ bảng quy luật hoán vị, sau đó khôi phục khóa khuếch tán.
- Tấn công lựa chọn bản mã (CCA): Thực hiện quy trình ngược lại bằng cách chọn các bản mã thích hợp để khôi phục bảng hoán vị ngược và hàm giải khuếch tán.
- Ước lượng độ phức tạp thời gian: Xác định chính xác số lượng bản rõ/bản mã cần lựa chọn và thời gian tính toán cần thiết để phá vỡ hoàn toàn hệ thống.
- Đề xuất 4: Phân tích hệ mật mã hỗn loạn SPN nhiều vòng lặp ($R > 1$):
- Nhận diện điểm yếu cấu trúc: Phân tích quá trình giải mật với số vòng lặp $R = 3$, luận án phát hiện ra sự lan truyền ảnh hưởng của các phần tử trong ma trận giải mã không bao phủ toàn bộ không gian dữ liệu sau một số vòng giải mật nhất định.
- Khôi phục luật hoán vị: Thiết lập bảng khôi phục hoán vị tổng quát thông qua 4 trường hợp thử nghiệm biên đối với các bản mã được lựa chọn. Quá trình này cho phép bóc tách từng vòng lặp mã và khôi phục thành công luật hoán vị của hệ SPN nhiều vòng.
- Đề xuất giải pháp tăng cường an toàn: Bổ sung thêm các vòng khuếch tán phụ, thiết lập sự phụ thuộc hai chiều giữa khóa hoán vị và nội dung dữ liệu sau khuếch tán nhằm triệt tiêu điểm yếu phân tách độc lập trong cấu trúc SPN nhiều vòng.
Kết quả và những đóng góp mới
Đóng góp về lý luận và thuật toán
- Đề xuất hệ mật mã can thiệp đặc tính động: Xây dựng thành công cơ chế tác động tham số điều khiển của hàm Logistic ở mức bit và ứng dụng hàm hỗn loạn Cat-Hadamard đa chiều ($2^k$ chiều) cho quá trình khuếch tán mức bit.
- Kỹ thuật cân bằng phân bố bit: Phát triển thuật toán cân bằng phân bố bit đầu ra, khắc phục hiện tượng phân bố không đều của các hàm hỗn loạn một chiều, nâng cao tính chất thống kê của bản mã.
- Phương pháp thám mã hệ SPN một vòng lặp và nhiều vòng lặp:
- Xây dựng quy trình toán học hoàn chỉnh để thám mã hệ SPN 1 vòng lặp dưới cả hai kịch bản CPA và CCA.
- Giải quyết bài toán mở tồn tại từ năm 2010 bằng việc đề xuất phương pháp thám mã thành công hệ mật mã hỗn loạn SPN nhiều vòng lặp ($R > 1$).
Đóng góp về thực tiễn và triển khai
- Thiết kế phần cứng số: Hiện thực hóa các khối thuật toán mã hóa mức bit (khối CPP, khối mở rộng và trích xuất bit, khối lặp Logistic) thành các module phần cứng RTL, được kiểm chứng tương thích chính xác giữa mô phỏng phần cứng (Quartus II, ModelSim) và phần mềm (Matlab).
- Giải pháp kiến trúc nâng cao an toàn: Đề xuất các cải tiến kiến trúc mạng SPN (chèn vòng khuếch tán phụ, liên kết động giữa P-box và S-box) giúp các nhà thiết kế hệ mật mã hỗn loạn khắc phục các lỗ hổng bảo mật tiềm ẩn.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế của luận án
- Luận án giới hạn phạm vi nghiên cứu ở các hệ mật mã đối xứng sử dụng hàm hỗn loạn rời rạc theo thời gian và cấu trúc mạng hoán vị - thay thế (SPN);
- Thử nghiệm và đánh giá tập trung vào dữ liệu ảnh tĩnh (ảnh mức xám và ảnh màu RGB), chưa mở rộng kiểm nghiệm trên các luồng video thời gian thực hoặc tín hiệu âm thanh;
- Chưa xem xét các hệ thống hỗn loạn liên tục theo thời gian hoặc hệ siêu hỗn loạn (hyper-chaos) có nhiều hơn một số mũ Lyapunov dương.
Hướng nghiên cứu tiếp theo
- Mở rộng ứng dụng giải thuật mã hóa mức bit cho dữ liệu video động và truyền thông đa phương tiện thời gian thực;
- Nghiên cứu hiện thực hóa hệ thống mật mã hỗn loạn hoàn chỉnh trên chip chuyên dụng (ASIC) hoặc kit phát triển phần cứng FPGA tốc độ cao;
- Phát triển các giải thuật thám mã cho các hệ mật mã hỗn loạn có cấu trúc hỗn hợp (kết hợp Feistel và SPN) hoặc hệ mật mã sử dụng hệ hỗn loạn không gian - thời gian bậc cao.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên sâu trong các lĩnh vực:
- Nghiên cứu sinh và học viên cao học: Cung cấp phương pháp luận nghiên cứu về hệ động học phi tuyến ứng dụng trong an toàn thông tin, kỹ thuật trích xuất chuỗi giả ngẫu nhiên, quy trình thiết kế mật mã mức bit và các kỹ thuật thám mã vi sai/lựa chọn bản rõ;
- Giảng viên và nhà nghiên cứu chuyên ngành Kỹ thuật điện tử, Kỹ thuật máy tính, Mật mã học: Cung cấp mô hình toán học chi tiết về hàm Cat-Hadamard đa chiều, phân tích lớp bit ảnh số và hướng dẫn thiết kế phần cứng RTL trên FPGA bằng Quartus II và ModelSim;
- Kỹ sư thiết kế hệ thống nhúng và an toàn thông tin: Tham khảo các phân tích lỗ hổng cấu trúc SPN trong Chương 3 để phòng tránh các sai sót thiết kế khi xây dựng các hệ mật mã nhúng cho thiết bị IoT và truyền tải hình ảnh.
Câu hỏi thường gặp
1. Tại sao hàm Logistic có phương trình đơn giản nhưng lại cần can thiệp tham số động ở mức bit?
Hàm Logistic ($x_{n+1} = r x_n (1 - x_n)$) có cấu trúc lặp đơn giản và dễ thực hiện trên phần cứng, nhưng lại có nhược điểm là phân bố giá trị không đồng đều (tập trung nhiều ở gần 0 và 1) và có thể bị suy biến quĩ đạo khi tính toán trên hệ thống số có độ chính xác hữu hạn. Việc can thiệp thay đổi tham số điều khiển $r$ liên tục ở mức bit trong quá trình mã hóa giúp làm mất tính ổn định của đặc tính động, phá vỡ cấu trúc thống kê đơn điệu, mở rộng không gian khóa và triệt tiêu khả năng ước lượng quĩ đạo của đối phương.
2. Sự khác biệt về mức độ đóng góp thông tin giữa các lớp bit trong ảnh mức xám 8 bit là gì?
Trong ảnh mức xám 8 bit, thông tin không phân bố đều trên 8 lớp bit. Lớp bit thứ 8 (MSB - bit trọng số cao nhất) chiếm tới $50{,}20%$ lượng thông tin của điểm ảnh, trong khi lớp bit thứ 1 (LSB - bit trọng số thấp nhất) chỉ đóng góp $0{,}39%$. Các lớp bit thấp có hình thái tương tự như nhiễu ngẫu nhiên, do đó việc hoán vị và khuếch tán can thiệp sâu ở mức bit (đặc biệt là đảo và dịch chuyển giữa các lớp bit cao và thấp) mang lại hiệu quả lộn xộn và khuếch tán cao hơn so với chỉ thao tác ở mức byte.
3. Hàm hỗn loạn Cat-Hadamard được xây dựng như thế nào và có ưu điểm gì trong khuếch tán?
Hàm Cat-Hadamard $2^k$ chiều được xây dựng từ việc mở rộng hàm Cat 2D thông qua tích Kronecker với ma trận Hadamard cấp $k$ ($H_k = \begin{bmatrix} 2 & 1 \ 1 & 1 \end{bmatrix} \otimes H_{k-1}$). Với số chiều mở rộng (như 4 chiều $H_2$ hoặc 8 chiều $H_3$), hàm cho phép xử lý đồng thời một khối gồm nhiều bit hoặc nhiều điểm ảnh trong một phép biến đổi ma trận, tạo ra hiệu ứng khuếch tán đa chiều nhanh chóng và đồng đều trên toàn khối dữ liệu.
4. Điểm yếu cốt lõi nào của hệ mật mã hỗn loạn SPN một vòng lặp bị khai thác trong tấn công CPA?
Điểm yếu cốt lõi của hệ SPN một vòng lặp là tính phân tách độc lập giữa tầng hoán vị (P-box) và tầng khuếch tán (S-box/Diffusion). Kẻ tấn công có thể chọn các bản rõ đặc biệt (như các ảnh có giá trị điểm ảnh đồng nhất hoặc chỉ thay đổi một điểm ảnh duy nhất) để vô hiệu hóa tác động của tầng khuếch tán, từ đó cô lập và khôi phục chính xác toàn bộ bảng quy luật hoán vị, sau đó giải mã tầng khuếch tán còn lại một cách độc lập mà không cần biết khóa mật gốc.
5. Luận án đã giải quyết bài toán thám mã hệ SPN nhiều vòng lặp ($R > 1$) bằng cách nào?
Bằng cách phân tích chi tiết quá trình giải mật mã với $R = 3$, luận án chỉ ra sự lan truyền ảnh hưởng của các phần tử dữ liệu trong quá trình giải mã vẫn tạo ra các vùng ảnh hưởng cục bộ có thể bóc tách. Bằng cách thiết kế 4 trường hợp lựa chọn bản mã có chủ đích và theo dõi sự thay đổi ở đầu ra giải mật, tác giả đã xây dựng được bảng khôi phục hoán vị tổng quát, cho phép bóc tách từng vòng mã hóa và khôi phục thành công quy luật hoán vị của hệ thống nhiều vòng lặp.
Kết luận
Luận án của tác giả Hoàng Xuân Thành đã giải quyết một cách có hệ thống cả hai khía cạnh mật mã và thám mã đối với dữ liệu ảnh số ứng dụng kỹ thuật hỗn loạn rời rạc. Tác giả đã đề xuất thành công hai hệ mật mã làm việc ở mức bit dựa trên việc tác động đặc tính động của hàm Logistic và ứng dụng hàm Cat-Hadamard đa chiều, đồng thời hiện thực hóa và kiểm chứng chính xác trên phần cứng số FPGA. Đồng thời, luận án đã đóng góp giải pháp thám mã cấu trúc SPN một vòng lặp và nhiều vòng lặp dưới các mô hình tấn công CPA/CCA, chỉ ra các lỗ hổng an toàn và đề xuất giải pháp nâng cao tính bảo mật cho hệ mật mã hỗn loạn.
