Tổng quan về luận án

Luận án "Nghiên cứu hệ mật mã khối dựa trên hỗn loạn rời rạc" tiên phong trong việc giải quyết các thách thức bảo mật ngày càng phức tạp trong kỷ nguyên số, đặc biệt đối với các hệ thống điện toán đám mây, Internet vạn vật (IoTs) và mối đe dọa từ máy tính lượng tử. Nghiên cứu này nằm trong bối cảnh khoa học mật mã hiện đại đang dịch chuyển từ các nguyên tắc an toàn dựa trên độ phức tạp tính toán truyền thống sang việc khai thác các đặc tính động học phức tạp của hệ hỗn loạn. Luận án nổi bật bởi cách tiếp cận tích hợp, kết hợp lý thuyết hỗn loạn rời rạc vào thiết kế mật mã khối, một hướng đi mới mẻ và đầy hứa hẹn để tăng cường bảo mật và hiệu quả tính toán.

Nghiên cứu xác định rõ research gap trong các công trình hiện có về mật mã hỗn loạn và mật mã hạng nhẹ. Cụ thể, các mô hình mật mã khối hỗn loạn trước đây như của Kocarev, Masuda, Lian thường thiếu đánh giá thực thi phần cứng và có cấu trúc phức tạp, dẫn đến hiệu quả tính toán thấp. Mật mã hóa ảnh của Fridrich, dù dựa trên hỗn loạn rời rạc, lại quá đơn giản và đã bị phân tích mã hoàn toàn [100]. Đối với mật mã hạng nhẹ, các thuật toán tiêu chuẩn như PRESENT (31 vòng), LED-64 (32 vòng), hay SEA (92 vòng) thường yêu cầu số vòng lặp cao, làm tăng thời gian thực thi và vẫn dễ bị tấn công phân tích thống kê truyền thống như tấn công tuyến tính và tấn công vi phân [53]. Thêm vào đó, vấn đề chu kỳ ngắn của các hàm hỗn loạn rời rạc trong ứng dụng mật mã ([75], [40], [58]) và sự phức tạp trong việc phân tích phân bố chu kỳ của hàm Cat mở rộng nhiều chiều vẫn là những điểm còn bỏ ngỏ.

Để giải quyết những vấn đề này, luận án tập trung vào các research questions và hypotheses chính:

  1. RQ1: Làm thế nào để thiết kế một hệ mật mã khối hỗn loạn rời rạc dựa trên cấu trúc mạng thay thế hoán vị (SPN) nhằm cải thiện hiệu quả thực thi và khả năng bảo mật?
    • H1.1: Việc tích hợp các ánh xạ hỗn loạn một chiều (ví dụ: Skew Tent) cho S-box và ánh xạ hỗn loạn đa chiều (ví dụ: Standard map) cho lớp hoán vị trong cấu trúc SPN sẽ tăng cường tính xáo trộn và khuếch tán, đồng thời tối ưu hóa tài nguyên phần cứng.
  2. RQ2: Làm thế nào để thiết kế các thuật toán mật mã khối hạng nhẹ dựa trên hỗn loạn rời rạc nhằm tăng cường bảo mật trước các tấn công thống kê mà vẫn duy trì hiệu quả thực thi trên các thiết bị tài nguyên hạn chế?
    • H2.1: Thiết kế S-box 4x4 liên kết móc xích dựa trên hàm Skew Tent rời rạc và lớp khuếch tán dựa trên hàm Standard hai chiều rời rạc sẽ cung cấp khả năng bảo mật cao hơn so với các thiết kế hạng nhẹ hiện có, với tài nguyên thực thi cạnh tranh.
  3. RQ3: Làm thế nào để mở rộng hàm Arnold Cat rời rạc nhiều chiều và giải quyết bài toán phân bố chu kỳ, đồng thời ứng dụng chúng vào các bộ tạo mật mã cơ bản?
    • H3.1: Đề xuất hàm Cat-Hadamard bằng cách mở rộng hàm Arnold Cat dựa trên biến đổi giả Hadamard nhanh (FPHT) sẽ giúp đơn giản hóa việc phân tích phân bố chu kỳ tổng quát cho hàm Cat đa chiều.
    • H3.2: Hàm Cat-Hadamard mở rộng có thể được ứng dụng hiệu quả để thiết kế bộ tạo đa ma trận MDS và bộ tạo chuỗi số giả ngẫu nhiên (PRNG) với Entropy đủ lớn và chu kỳ dài, đảm bảo tính ngẫu nhiên và an toàn.

Theoretical framework của luận án được xây dựng dựa trên sự giao thoa sâu sắc giữa Lý thuyết hỗn loạn (Chaos Theory) và Lý thuyết mật mã hiện đại (Modern Cryptography Theory). Cụ thể, luận án kế thừa các nguyên lý thiết kế mật mã (Kerckhoffs's principle) và các tính chất cơ bản của mật mã khối như tính xáo trộn (Confusion) và tính khuếch tán (Diffusion) của Claude Shannon [97]. Nghiên cứu sử dụng các hệ động học phi tuyến tính và các hàm hỗn loạn rời rạc (Logistic, Skew Tent, Standard, Arnold Cat) làm nền tảng để tạo ra sự phức tạp và tính giả ngẫu nhiên cần thiết cho mật mã. Các khái niệm như Số mũ Lyapunov (Lyapunov Exponent - LE) và Kolmogorov-Sinai Entropy (KS Entropy) từ lý thuyết hỗn loạn được dùng làm tiêu chí định lượng để đánh giá đặc tính hỗn loạn và mức độ ngẫu nhiên của các chuỗi được tạo ra.

Các đóng góp đột phá của luận án mang lại tác động định lượng đáng kể:

  1. Kiến trúc mật mã khối hỗn loạn SPN mới: Luận án đề xuất một thuật toán lập mã khối hỗn loạn rời rạc theo cấu trúc SPN, được chứng minh có các tính chất bảo mật "hoàn toàn được so sánh tương đương với hệ mã AES có cùng cấu trúc" [C1, C2, J1]. Kiến trúc này tích hợp các ánh xạ hỗn loạn một chiều (Skew Tent) cho S-box và ánh xạ hỗn loạn hai chiều (Standard map) cho hoán vị, tạo ra sự cân bằng giữa tính bảo mật và hiệu quả thực thi, đặc biệt trong ứng dụng mã hóa ảnh RGB.
  2. Mật mã khối hạng nhẹ tăng cường bảo mật: Luận án đã thiết kế thành công hai biến thể cho thuật toán mật mã khối hạng nhẹ dựa trên hỗn loạn, giúp "tăng độ bảo mật nhưng vẫn thỏa mãn yêu cầu cài đặt, tài nguyên sử dụng và thời gian xử lý phù hợp với yêu cầu của thuật toán mật mã hạng nhẹ." Điều này giải quyết nhược điểm của các LWC truyền thống dễ bị tấn công phân tích và đòi hỏi nhiều vòng lặp.
  3. Mở rộng hàm Cat-Hadamard và phân tích chu kỳ: Một đóng góp lý thuyết quan trọng là việc mở rộng hàm Arnold Cat hai chiều thành hàm Cat-Hadamard dựa trên biến đổi giả Hadamard nhanh (FPHT). Luận án đã tìm ra "mối quan hệ giữa chu kỳ chuỗi Fibonacci giới hạn bởi phép chia modulo cho một số nguyên tố và chu kỳ của hàm Cat-Hadamard," từ đó "giảm được độ phức tạp của thuật toán tìm chu kỳ tổng quát cho hàm Cat mở rộng nhiều chiều." Đây là một tiến bộ đáng kể so với các phương pháp trước đây chủ yếu tập trung vào hàm Cat hai chiều [18, 19, 20].
  4. Bộ tạo ma trận MDS và PRNG hiệu quả: Dựa trên hàm Cat-Hadamard, luận án đã phát triển bộ tạo đa ma trận MDS cho mật mã khối và bộ tạo chuỗi số giả ngẫu nhiên (PRNG). PRNG này nổi bật với "Entropy đủ lớn, chu kỳ phụ thuộc vào tham số điều khiển. Chuỗi đầu ra nhanh chóng hội tụ về phân bố đều, gần với tín hiệu ngẫu nhiên," cung cấp các nguyên thủy mật mã mạnh mẽ.

Phạm vi nghiên cứu (scope) của luận án bao gồm thiết kế S-box 4x4 và các phép hoán vị bit trong cấu trúc SPN. Trong các thử nghiệm ứng dụng mã hóa ảnh RGB, ảnh đầu vào "có 3 lớp mầu và mỗi điểm ảnh được mã hóa bằng 8-bit, ảnh đầu vào được biến đổi thành một chuỗi một chiều gồm các byte là P = [p1 p2 ...]. Chuỗi P được phần chia thành các khối có kích thước cố định là Tblock = 2 byte." Các phân tích thực thi phần cứng được thực hiện trên "kit phát triển Altera FPGA DE2." Về khía cạnh thời gian, nghiên cứu này được hoàn thành vào năm 2017, phản ánh các vấn đề cấp thiết trong bảo mật thông tin tại thời điểm đó. Tầm quan trọng (significance) của luận án nằm ở việc cung cấp các giải pháp mật mã tiên tiến, hiệu quả và an toàn hơn cho các hệ thống viễn thông và IoTs, đặc biệt trong bối cảnh các mối đe dọa an ninh mạng ngày càng tinh vi và phức tạp.

Literature Review và Positioning

Nghiên cứu này tổng hợp các dòng nghiên cứu chính trong mật mã hiện đại, bao gồm mật mã khối truyền thống, mật mã hỗn loạn và mật mã hạng nhẹ. Mật mã khối truyền thống đã được định hình bởi các chuẩn như DES và AES (Advanced Encryption Standard). Luận án ghi nhận sự khác biệt giữa các cấu trúc Feistel (DES) và SPN (AES) [104], với SPN được ưu tiên trong các thiết kế gần đây do hiệu quả trong cả cài đặt phần mềm và phần cứng. Claude Shannon [97] đã đặt nền móng cho lý thuyết mật mã hiện đại, đưa ra các khái niệm cơ bản về tính xáo trộn và khuếch tán.

Mật mã hỗn loạn là một dòng nghiên cứu tương đối mới, xuất hiện trong hơn mười năm trở lại đây. Các công trình của Kocarev [61], Masuda [76] và Fridrich [40] là những nền tảng quan trọng, khẳng định tiềm năng của lý thuyết hỗn loạn trong việc tạo ra tính phức tạp và giả ngẫu nhiên cho mật mã. Đặc tính nhạy cảm với điều kiện đầu, nhạy cảm với tham số và không thể dự báo dài hạn của hệ hỗn loạn được xem là tương đồng với các yêu cầu bảo mật. Tuy nhiên, luận án chỉ ra rằng các mô hình thiết kế mật mã khối của Kocarev, Masuda, Lian "chưa có đánh giá về mặt thực thi phần cứng, giảm hiệu quả tính toán vì lựa chọn các hệ động học hỗn loạn có cấu trúc phức tạp," và Fridrich đã bị "phân tích mã hoàn toàn" [100].

Mật mã hạng nhẹ (Lightweight Cryptography - LWC) trở thành một lĩnh vực quan trọng với sự phát triển của IoTs và các thiết bị tài nguyên hạn chế. Các thuật toán như PRESENT, HIGHT, KASUMI, KATAN, KTANTAN, mCRYPTON, SEA được tổ chức ECRYPT [34, 55, 87] chấp nhận, chủ yếu dựa trên cấu trúc SPN hoặc Feistel. Tuy nhiên, luận án phê phán rằng các thuật toán này "thường tăng độ xáo trộn hỗn độn và khuếch tán bằng việc thực thi nhiều vòng lặp như: PRESENT lặp 31 vòng, LED-64 lặp 32 vòng, LED-128 lặp 48 vòng, TWINE 32 vòng và SEA lặp 92 vòng." Điều này dẫn đến "tăng thời gian thực thi" và các thuật toán vẫn "bị phá vỡ bởi các phép tấn công phân tích thống kê truyền thống như tấn công tuyến tính và tấn công vi phân" [53].

Nghiên cứu này định vị bản thân trong literature bằng cách xác định một gap cụ thể: thiếu các giải pháp mật mã khối hỗn loạn rời rạc hiệu quả, có thể thực thi trên phần cứng và chống lại các tấn công phân tích truyền thống, đặc biệt trong bối cảnh mật mã hạng nhẹ và các hệ thống lớn hơn như điện toán đám mây. Luận án thẳng thắn chỉ ra rằng "mật mã hạng nhẹ là sự "thỏa hiệp" một cách tối ưu giữa độ an toàn và tài nguyên dành cho việc cài đặt thuật toán mật mã," nhưng cần cải tiến để vượt qua các hạn chế hiện có.

Nghiên cứu này thúc đẩy lĩnh vực mật mã bằng cách đề xuất các đóng góp cụ thể:

  • Phát triển một mô hình thiết kế hệ mật mã khối hỗn loạn theo cấu trúc SPN, sử dụng các ánh xạ hỗn loạn rời rạc một chiều (Skew Tent) cho lớp thay thế S-box và ánh xạ hai chiều (Standard map) cho lớp hoán vị, giải quyết vấn đề hiệu quả thực thi và bảo mật cho mật mã hỗn loạn.
  • Thiết kế các biến thể mật mã khối hạng nhẹ dựa trên hỗn loạn nhằm cân bằng tối ưu giữa bảo mật và tài nguyên, đặc biệt cho các thiết bị IoTs với tài nguyên tính toán hạn chế.
  • Mở rộng hàm Arnold Cat thành hàm Cat-Hadamard đa chiều, giải quyết bài toán phức tạp về phân bố chu kỳ, một vấn đề cơ bản nhưng còn bỏ ngỏ trong mật mã hỗn loạn rời rạc.

So sánh với ít nhất 2 nghiên cứu quốc tế:

  1. So với AES (Advanced Encryption Standard): Luận án khẳng định hệ mật mã khối hỗn loạn SPN đề xuất của mình "hoàn toàn được so sánh tương đương với hệ mã AES có cùng cấu trúc" về tính chất bảo mật [C1, C2, J1]. Trong khi AES là một chuẩn mật mã toàn cầu với cấu trúc SPN cố định và các S-box được xác định trước, nghiên cứu này mang lại sự linh hoạt thông qua các S-box động dựa trên hỗn loạn, có khả năng tăng tính kháng cự trước các tấn công side-channel tiềm tàng do sự phụ thuộc vào tham số động. Tuy nhiên, AES đã trải qua quá trình đánh giá và chuẩn hóa rất nghiêm ngặt kéo dài hàng thập kỷ, điều mà một luận án khó có thể đạt được trong phạm vi ngắn hạn.
  2. So với PRESENT và LED (Lightweight Cryptography schemes): Luận án chỉ trích các LWC hiện có như PRESENT (31 vòng) và LED (32-48 vòng) về số lượng vòng lặp cao và khả năng bị tấn công phân tích [53]. Nghiên cứu này đề xuất thiết kế S-box và lớp khuếch tán dựa trên hỗn loạn cho mật mã hạng nhẹ, hướng tới việc giảm số vòng lặp và tăng cường khả năng chống lại các tấn công phân tích thống kê mà vẫn đảm bảo hiệu quả. Mặc dù các LWC như PRESENT đã được triển khai rộng rãi, thiết kế dựa trên hỗn loạn có thể mang lại một lớp bảo mật khác, đặc biệt trong việc chống lại các tấn công kênh kề nhờ tính nhạy cảm cao của hỗn loạn với tham số.

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

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

Luận án này đóng góp đáng kể vào việc mở rộng và thách thức một số lý thuyết mật mã và hệ thống động học cụ thể. Nó mở rộng Lý thuyết hỗn loạn rời rạc (Discrete Chaos Theory) bằng cách ứng dụng nó vào việc thiết kế các nguyên thủy mật mã. Thay vì chỉ sử dụng các hàm hỗn loạn để tạo chuỗi giả ngẫu nhiên, luận án đã tích hợp chúng một cách có cấu trúc vào mô hình mật mã khối SPN. Nghiên cứu mở rộng các khái niệm về tính xáo trộn (Confusion) và tính khuếch tán (Diffusion) của Shannon bằng cách chứng minh rằng các đặc tính động học của hàm hỗn loạn (như nhạy cảm với điều kiện đầu và tham số, hành vi không dự đoán được) có thể trực tiếp được sử dụng để đạt được các mục tiêu này một cách hiệu quả hơn so với các ánh xạ tuyến tính hoặc S-box cố định.

Cụ thể, luận án mở rộng Lý thuyết về hàm Arnold Cat (Arnold Cat map) bằng cách khái quát hóa nó lên nhiều chiều thông qua biến đổi giả Hadamard nhanh (FPHT), tạo ra hàm Cat-Hadamard. Công trình của Chen và cộng sự [18, 19, 20] đã phân tích chu kỳ của hàm Cat hai chiều; luận án này đi xa hơn bằng cách giải quyết bài toán phân bố chu kỳ tổng quát cho hàm Cat mở rộng nhiều chiều, tìm ra "mối quan hệ giữa chu kỳ chuỗi Fibonacci giới hạn bởi phép chia modulo cho một số nguyên tố và chu kỳ của hàm Cat-Hadamard." Điều này không chỉ là một đóng góp toán học mà còn có ý nghĩa thực tiễn trong việc thiết kế các bộ tạo chuỗi giả ngẫu nhiên có chu kỳ dài hơn và khó dự đoán hơn. Về Paradigm shift: Mặc dù không tuyên bố một sự thay đổi hoàn toàn về mô hình, luận án thúc đẩy một sự tiến bộ đáng kể trong mô hình mật mã dựa trên hỗn loạn. Trước đây, các hệ mật mã hỗn loạn thường bị chỉ trích vì thiếu các đánh giá thực thi phần cứng nghiêm ngặt và tính đơn giản dễ bị phá vỡ [100]. Luận án này cung cấp bằng chứng thực nghiệm (trên FPGA) và phân tích lý thuyết sâu sắc cho thấy mật mã hỗn loạn rời rạc có thể đạt được mức độ bảo mật tương đương với các chuẩn như AES [C1, C2, J1] và giải quyết các vấn đề tồn tại của LWC, từ đó nâng cao độ tin cậy và chấp nhận của phương pháp này trong cộng đồng mật mã.

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

Khung phân tích của luận án tích hợp ba lý thuyết chính: Lý thuyết hệ thống động học phi tuyến (Nonlinear Dynamical System Theory), Lý thuyết mật mã khối (Block Cipher Theory) và Lý thuyết độ phức tạp tính toán (Computational Complexity Theory).

  • Hệ thống động học phi tuyến: Cung cấp các công cụ toán học để phân tích các hàm hỗn loạn một chiều (Logistic, Skew Tent) và đa chiều (Standard, Arnold Cat, Cat-Hadamard), đặc biệt là các đặc tính như Số mũ Lyapunov dương (positive Lyapunov Exponent), Entropy mẫu (Sample Entropy - SampEn), và phân bố xác suất đồng nhất.
  • Mật mã khối: Cung cấp cấu trúc SPN làm nền tảng cho thiết kế thuật toán, với các lớp thay thế (S-box) và lớp hoán vị (permutation layer).
  • Độ phức tạp tính toán: Được dùng để đánh giá khả năng chống lại các tấn công phân tích mã, đảm bảo không gian khóa đủ lớn và độ phức tạp thuật toán đủ cao.

Luận án đề xuất một cách tiếp cận phân tích mới, trong đó các đặc tính của hàm hỗn loạn được dùng để định lượng hóa và tối ưu hóa các yêu cầu của mật mã khối.

  • Đóng góp về khái niệm:
    • Hệ mật mã khối hỗn loạn hạng nhẹ: Một định nghĩa mới về hệ mật mã hạng nhẹ không chỉ tối ưu về tài nguyên mà còn được tăng cường bảo mật thông qua tích hợp hỗn loạn, nhằm giải quyết các nhược điểm của LWC hiện có [53].
    • Hàm Cat-Hadamard: Một ánh xạ hỗn loạn đa chiều mới được định nghĩa và phân tích chu kỳ, làm phong phú thêm kho tàng các hàm hỗn loạn có thể ứng dụng trong mật mã.
  • Boundary conditions: Luận án xác định rõ ràng các điều kiện biên cho các thiết kế của mình. Các hàm hỗn loạn rời rạc được biểu diễn trong miền hữu hạn chính xác (thường là 8-bit hoặc 16-bit cho các hệ thống như FPGA) để đảm bảo khả năng thực thi. Các tham số điều khiển của hàm hỗn loạn phải được chọn sao cho đảm bảo hệ thống luôn ở trạng thái hỗn loạn (ví dụ: r ≥ 3.5699 cho hàm Logistic, Số mũ Lyapunov dương), điều này ảnh hưởng đến kích thước và sự an toàn của không gian khóa. Các thiết kế mật mã hạng nhẹ được tối ưu hóa cho các thiết bị có "khả năng tính toán hạn chế" như các thiết bị IoTs (ví dụ: Atmel Mega 128L với 4KB SRAM).

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

Thiết kế nghiên cứu

Thiết kế nghiên cứu của luận án này mang tính tích hợp cao, kết hợp chặt chẽ giữa phân tích lý thuyết, mô phỏng trên máy tính và thực nghiệm phần cứng, một cách tiếp cận toàn diện để phát triển và kiểm chứng các giải pháp mật mã mới.

  • Research philosophy: Luận án theo đuổi triết lý nghiên cứu Positivism. Nó tìm cách xây dựng kiến thức thông qua việc kiểm chứng các giả thuyết bằng các bằng chứng có thể đo lường và định lượng được. Điều này được thể hiện rõ qua việc sử dụng "công cụ toán học bằng các chứng minh rất rõ ràng," "kiểm chứng qua công cụ mô phỏng trên máy tính là Matlab," và "thực hiện trên phần cứng và phần mềm nhằm cho thấy khả năng ứng dụng thực tế." An toàn mật mã được định lượng qua các tiêu chuẩn thống kê (NPCR, UACI, CDR, Chi-bình phương, KS Entropy), độ phức tạp tính toán và khả năng chống lại các mô hình tấn công đã biết.
  • Mixed methods: Luận án sử dụng một sự kết hợp mạnh mẽ của các phương pháp. Nó bắt đầu với phân tích lý thuyết để hiểu rõ các đặc tính của hệ hỗn loạn và xây dựng các thuật toán. Sau đó, mô phỏng định lượng bằng Matlab được sử dụng để kiểm tra các tính chất động học, phân bố chu kỳ và các đặc tính thống kê của các hàm hỗn loạn và các thành phần mật mã. Cuối cùng, thực nghiệm phần cứng trên kit phát triển Altera FPGA DE2 xác nhận hiệu quả thực thi, tài nguyên sử dụng và tốc độ xử lý của các thiết kế đề xuất, đặc biệt là cho mật mã hạng nhẹ. Rationale cho sự kết hợp này là để đảm bảo rằng các giải pháp không chỉ khả thi về mặt lý thuyết mà còn hiệu quả và an toàn trong các môi trường thực tế.
  • Multi-level design: Mặc dù không phải là một thiết kế đa cấp theo nghĩa xã hội học, nghiên cứu này tiếp cận bài toán từ nhiều cấp độ trừu tượng. Cấp độ đầu tiên là lý thuyết toán học về các hàm hỗn loạn (Logistic, Skew Tent, Standard, Cat-Hadamard) và các đặc tính của chúng. Cấp độ thứ hai là thiết kế thuật toán (mật mã khối SPN, S-box, lớp hoán vị, bộ tạo khóa). Cấp độ thứ ba là kiểm tra thực nghiệm (mã hóa ảnh, đánh giá tài nguyên FPGA, kiểm tra ngẫu nhiên của PRNG). Điều này cho phép một cái nhìn toàn diện từ các nguyên lý cơ bản đến ứng dụng cụ thể.
  • Sample size và selection criteria:
    • Đối với thiết kế S-box, "S-box 4 × 4-bit được tạo ra sau 25 bước lặp hàm Skew Tent rời rạc." (Bảng 2.2).
    • Đối với mã hóa ảnh, dữ liệu đầu vào là "ảnh số RGB-8bit có 3 lớp mầu," được chia thành "các khối có kích thước cố định là Tblock = 2 byte." Các pixel của ảnh được chọn ngẫu nhiên để đánh giá các tiêu chí bảo mật như NPCR và UACI, phản ánh khả năng lan truyền thay đổi của một bit đầu vào.
    • Đối với bộ tạo chuỗi giả ngẫu nhiên (PRNG), các chuỗi bit được tạo ra được kiểm tra bằng các phép kiểm tra thống kê tiêu chuẩn, chẳng hạn như kiểm tra Chi-bình phương (χ2test) với "n = 4" (Bảng 3.3) và các giá trị P-values được báo cáo (Bảng 3.10) để đánh giá tính ngẫu nhiên.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được thiết kế để đảm bảo tính nghiêm ngặt và độ tin cậy của kết quả.

  • Sampling strategy: Trong mã hóa ảnh, các cặp ảnh rõ/mã được chọn để đánh giá các tiêu chí bảo mật như NPCR (Number of Changing Pixel Rate), UACI (Unified Averaged Changed Intensity) và CDR (Cipher Difference Rate). Các giá trị này được tính toán dựa trên sự thay đổi của một bit trong bản rõ và quan sát ảnh hưởng trên bản mã. "So sánh các hệ số NPCR, UACI và CDR của bản mã thu được từ thuật toán đề xuất và AES" (Bảng 1.3) cho thấy việc sử dụng các mẫu dữ liệu tiêu chuẩn để so sánh.
  • Data collection protocols: Dữ liệu được thu thập từ mô phỏng Matlab để đánh giá các đặc tính hỗn loạn (Lyapunov Exponent, KS Entropy, phân bố chu kỳ) và từ thực nghiệm FPGA để đo lường tài nguyên phần cứng (ví dụ: "tài nguyên phần cứng thực thi trên kit phát triển Altera FPGA DE2" trong Bảng 1.4, "tổng hợp tài nguyên thực thi phần cứng trên FPGA của chuỗi S-box 4 × 4 móc xích" trong Bảng 2.7). Các instrument bao gồm các công cụ tính toán toán học trong Matlab và các công cụ đo lường hiệu năng của FPGA.
  • Triangulation: Luận án áp dụng triangulation để tăng cường tính hợp lệ và tin cậy của kết quả.
    • Data Triangulation: Các kết quả về bảo mật được đánh giá thông qua nhiều chỉ số khác nhau (NPCR, UACI, CDR, SAC, BIC) và các loại dữ liệu khác nhau (ảnh, chuỗi bit giả ngẫu nhiên).
    • Method Triangulation: Kết quả lý thuyết được kiểm chứng bằng mô phỏng (Matlab) và thực nghiệm (FPGA).
    • Theory Triangulation: Các thiết kế được dựa trên sự kết hợp của lý thuyết hỗn loạn, lý thuyết mật mã và lý thuyết độ phức tạp.
  • Validity và reliability:
    • Construct Validity: Các chỉ số như Số mũ Lyapunov, KS Entropy, χ2 test được sử dụng để đo lường các khái niệm trừu tượng như "tính hỗn loạn" và "tính ngẫu nhiên" một cách phù hợp.
    • Internal Validity: Thiết kế nghiên cứu đảm bảo rằng các thay đổi trong biến phụ thuộc (ví dụ: bảo mật, hiệu quả) là do biến độc lập (ví dụ: việc áp dụng hỗn loạn) chứ không phải các yếu tố gây nhiễu. Các điều kiện khởi tạo và tham số được kiểm soát chặt chẽ trong các thử nghiệm.
    • External Validity: Luận án cố gắng đảm bảo tính tổng quát hóa của các thiết kế bằng cách so sánh với các chuẩn quốc tế (AES, PRESENT) và nêu rõ các điều kiện ứng dụng (ví dụ: các thiết bị IoTs tài nguyên hạn chế).
    • Reliability: Các quy trình đo lường được chuẩn hóa. Ví dụ, các kiểm tra thống kê cho PRNG báo cáo "Giá trị Pvalues thu được và tỷ lệ các chuỗi vượt qua phép kiểm tra thống kê tương ứng" (Bảng 3.10), đảm bảo rằng các phép đo có thể được lặp lại và cho ra kết quả tương tự.

Data và phân tích

  • Sample characteristics: Dữ liệu được sử dụng bao gồm các pixel của ảnh RGB (0-255), các chuỗi bit nhị phân, và các tham số của hàm hỗn loạn (ví dụ: r trong hàm Logistic, K trong hàm Standard).
  • Advanced techniques:
    • Phân tích hệ động học phi tuyến: Tính toán Số mũ Lyapunov lớn nhất để xác định hành vi hỗn loạn và KS Entropy để đo lường độ ngẫu nhiên của các chuỗi. "KS entropy của hàm Cat-Hadamard tương ứng với m = 4 và Ks = (N − 1) × (a − 1) + b" (Hình 3.6).
    • Kiểm tra thống kê: Sử dụng phép kiểm tra Chi-bình phương (χ2 test) để đánh giá tính phân bố đều của các đầu ra hỗn loạn và các chuỗi giả ngẫu nhiên. "Kết quả kiểm tra phân phối Chi-bình phương χ2test của các dạng mở rộng hàm Cat" (Hình 3.5).
    • Phân tích mật mã: Các tiêu chí NPCR, UACI, CDR được dùng để định lượng khả năng chống lại tấn công vi phân trong mã hóa ảnh. SAC (Strict Avalanche Criterion) và BIC (Output Bit Independence Criterion) được dùng để đánh giá tính khuếch tán và xáo trộn của S-box.
    • Phần mềm: Chủ yếu sử dụng Matlab để mô phỏng và phân tích dữ liệu.
  • Robustness checks: Luận án đề cập đến việc kiểm tra tính nhạy cảm của hệ thống với các tham số và điều kiện đầu. "Tính chất phụ thuộc vào các điều kiện đầu được thể hiện trong Hình 5. Trong đó biến đổi biên độ của biến với hai điều kiện đầu có giá trị sai khác rất nhỏ được chỉ ra. Có thể thấy rằng các tín hiệu ban đầu xuất phát gần như cùng một điểm, nhưng sau đó chúng tách biệt nhanh chóng và trở nên khác nhau hoàn toàn." Điều này chứng minh tính hỗn loạn và gián tiếp là một dạng kiểm tra độ vững chắc của hệ thống.
  • Effect sizes và confidence intervals: Các giá trị thống kê như p-values cho kiểm tra Chi-bình phương và các hệ số NPCR/UACI được báo cáo để định lượng mức độ ảnh hưởng và ý nghĩa thống kê của các phát hiện.

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

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

Luận án đã đạt được một số phát hiện then chốt, mang tính đột phá và được hỗ trợ bởi bằng chứng thực nghiệm cụ thể:

  1. Hiệu quả và bảo mật của mật mã khối SPN dựa trên hỗn loạn: Thiết kế hệ mật mã khối hỗn loạn rời rạc theo cấu trúc SPN đã chứng minh được "các tính chất bảo mật của hệ mật mã khối hỗn loạn đề xuất hoàn toàn được so sánh tương đương với hệ mã AES có cùng cấu trúc" [C1, C2, J1]. Ví dụ, trong mã hóa ảnh RGB, thuật toán đề xuất đạt các giá trị NPCR, UACI, CDR cạnh tranh so với AES, thể hiện khả năng chống lại các tấn công vi phân hiệu quả.
  2. Mật mã hạng nhẹ cải tiến cho IoTs: Việc thiết kế S-box 4x4 dựa trên hàm Skew Tent rời rạc và lớp khuếch tán dựa trên hàm Standard hai chiều đã tạo ra một hệ mật mã hạng nhẹ với độ bảo mật cao mà vẫn tối ưu tài nguyên. "Tổng hợp tài nguyên thực thi phần cứng trên FPGA của chuỗi S-box 4 × 4 móc xích" (Bảng 2.7) và "Tổng hợp tài nguyên phần cứng" (Bảng 2.10) cung cấp bằng chứng định lượng về hiệu quả trên kit Altera FPGA DE2, cho thấy khả năng ứng dụng thực tế trên các thiết bị tài nguyên hạn chế.
  3. Khám phá hàm Cat-Hadamard và chu kỳ dài: Phát hiện về hàm Cat-Hadamard đa chiều và mối quan hệ với chu kỳ chuỗi Fibonacci là một bước tiến lý thuyết. Luận án đã chứng minh rằng việc mở rộng hàm Cat theo FPHT cho phép đạt được "phân bố chu kỳ nhỏ nhất của hàm Cat-Hadamard 4−chiều và 2−chiều tương ứng" (Hình 3.1) và so sánh "phân bố chu kỳ của hàm 4−chiều tương ứng với Type I, II và Cat-Hadamard" (Hình 3.2), cho thấy khả năng tạo ra chu kỳ dài hơn so với các phương pháp trước đây.
  4. Bộ tạo MDS và PRNG chất lượng cao: Các ứng dụng của hàm Cat-Hadamard đã dẫn đến việc phát triển bộ tạo đa ma trận MDS hiệu quả (Bảng 3.6, Bảng 3.7, Bảng 3.8) và một PRNG với "Entropy đủ lớn, chu kỳ phụ thuộc vào tham số điều khiển. Chuỗi đầu ra nhanh chóng hội tụ về phân bố đều, gần với tín hiệu ngẫu nhiên." "Giá trị Pvalues thu được và tỷ lệ các chuỗi vượt qua phép kiểm tra thống kê tương ứng" (Bảng 3.10) cung cấp bằng chứng thống kê về chất lượng của PRNG.

Implications đa chiều

  • Theoretical advances: Luận án mở rộng Lý thuyết hỗn loạn rời rạc bằng cách cung cấp một khung công tác cụ thể cho việc tích hợp nó vào mật mã khối. Nó làm phong phú thêm Lý thuyết mật mã khối với các nguyên tắc thiết kế S-box và lớp hoán vị dựa trên hỗn loạn. Đặc biệt, việc mở rộng và phân tích chu kỳ của hàm Cat-Hadamard góp phần vào Lý thuyết hệ thống động học phi tuyến, cung cấp các công cụ mới để tạo ra tính giả ngẫu nhiên và phức tạp.
  • Methodological innovations: Phương pháp kết hợp lý thuyết, mô phỏng Matlab và thực nghiệm FPGA là một khuôn khổ mạnh mẽ có thể áp dụng cho việc phát triển và đánh giá các thuật toán mật mã khác. Cách tiếp cận định lượng hóa các đặc tính hỗn loạn (LE, KS Entropy) và sử dụng chúng làm tiêu chí thiết kế mật mã là một cải tiến đáng kể.
  • Practical applications:
    • Bảo mật cho IoTs: Các thiết kế mật mã hạng nhẹ của luận án cung cấp "giải pháp cài đặt rất gọn nhẹ nhưng không làm giảm quá nhiều về tính an toàn," rất phù hợp cho các thiết bị tài nguyên hạn chế trong mạng lưới IoTs.
    • Mã hóa ảnh và đa phương tiện: Thuật toán mã hóa ảnh RGB đề xuất là một ứng dụng trực tiếp, cung cấp khả năng bảo mật cao cho dữ liệu hình ảnh.
    • Nguyên thủy mật mã: Bộ tạo đa ma trận MDS và PRNG dựa trên Cat-Hadamard có thể được sử dụng làm thành phần cốt lõi trong nhiều hệ thống bảo mật khác nhau.
  • Policy recommendations: Các phát hiện của luận án có thể cung cấp bằng chứng cho các nhà hoạch định chính sách về tiềm năng của mật mã dựa trên hỗn loạn trong việc tăng cường an ninh mạng quốc gia, đặc biệt trong các lĩnh vực có yêu cầu cao về hiệu quả và bảo mật như hạ tầng mạng di động, mạng cảm biến không dây, và các hệ thống thanh toán điện tử. Việc khuyến khích nghiên cứu và phát triển trong lĩnh vực này có thể giúp Việt Nam chủ động hơn trong công nghệ an ninh mạng.
  • Generalizability conditions: Các thiết kế và phương pháp của luận án có thể được tổng quát hóa cho các kích thước khối khác nhau (không chỉ 128 bit) và các loại dữ liệu khác (không chỉ ảnh). Tuy nhiên, các điều kiện biên về tài nguyên phần cứng (ví dụ: kích thước bộ nhớ, tần số hoạt động) cần được xem xét cẩn thận khi triển khai. Các hàm hỗn loạn và tham số điều khiển phải được chọn để duy trì tính hỗn loạn trong miền số hữu hạn chính xác của hệ thống mục tiêu.

Limitations và Future Research

Nghiên cứu này, mặc dù đạt được nhiều đóng góp quan trọng, vẫn có những hạn chế cụ thể cần được thừa nhận và mở ra các hướng nghiên cứu trong tương lai.

3-4 specific limitations acknowledged

  1. Đánh giá thực thi phần cứng còn giới hạn: Mặc dù luận án đã thực hiện kiểm tra thực nghiệm trên "kit phát triển Altera FPGA DE2" và báo cáo "tài nguyên phần cứng" (Bảng 1.4, 2.7, 2.10), các đánh giá này có thể chưa toàn diện như các kiểm chứng cấp công nghiệp. Các thông số như công suất tiêu thụ, độ trễ và khả năng chịu lỗi trong môi trường khắc nghiệt hơn có thể chưa được phân tích sâu.
  2. Khả năng chống tấn công kênh kề (Side-channel attacks): Luận án đã đề cập đến các tấn công vật lý nhưng chưa đi sâu vào việc phân tích khả năng chống lại các tấn công kênh kề (như phân tích năng lượng vi sai - DPA, phân tích năng lượng tương quan - CPA) trên các thiết kế đề xuất. Tính nhạy cảm của hỗn loạn có thể là con dao hai lưỡi: tăng cường bảo mật nhưng cũng có thể làm lộ thông tin qua các kênh kề nếu không được thiết kế cẩn thận.
  3. Tối ưu hóa tham số hàm hỗn loạn: Việc tìm ra các tham số tối ưu cho hàm hỗn loạn để đảm bảo chu kỳ dài nhất và tính hỗn loạn mạnh nhất trong miền số hữu hạn chính xác vẫn là một thách thức phức tạp. Luận án đã tìm ra mối quan hệ cho hàm Cat-Hadamard, nhưng việc mở rộng cho các hàm hỗn loạn khác và tìm kiếm tự động các tham số tối ưu vẫn còn hạn chế.
  4. Mức độ so sánh với các chuẩn LWC: Mặc dù đã so sánh với các LWC như PRESENT và LED về số vòng lặp và khả năng chống tấn công thống kê [53], luận án chưa cung cấp một phân tích định lượng chi tiết về các đặc tính hiệu năng (throughput, latency) và bảo mật (key size, resistance to specific attacks) trên cùng một nền tảng phần cứng so với các chuẩn LWC quốc tế được chấp nhận rộng rãi.

Boundary conditions về context/sample/time

Các kết quả của luận án được kiểm chứng trong môi trường mô phỏng Matlab và thực nghiệm FPGA. Điều này có nghĩa là các đặc tính của hàm hỗn loạn được xem xét trong miền số hữu hạn, và hiệu suất được đo trên một nền tảng phần cứng cụ thể vào năm 2017. Sự tiến bộ của công nghệ phần cứng và các yêu cầu bảo mật có thể thay đổi trong tương lai, ảnh hưởng đến tính tối ưu của các thiết kế.

Future research agenda với 4-5 concrete directions

  1. Phát triển mật mã chống tấn công lượng tử dựa trên hỗn loạn: Mở rộng nghiên cứu để thiết kế các thuật toán mật mã khối hỗn loạn có khả năng chống lại các tấn công từ máy tính lượng tử, đặc biệt là các biến thể của tấn công Shor. Hướng này có thể khám phá việc tích hợp các cấu trúc hỗn loạn vào các hệ mã dựa trên lưới hoặc mã sửa lỗi.
  2. Phân tích tấn công kênh kề và thiết kế kháng lỗi: Thực hiện phân tích chuyên sâu về khả năng chống lại các tấn công kênh kề (side-channel attacks) trên các thiết kế mật mã khối hỗn loạn đã đề xuất. Đồng thời, nghiên cứu các kỹ thuật thiết kế để tăng cường khả năng kháng lỗi và bảo vệ khóa bí mật khỏi các thông tin rò rỉ qua năng lượng tiêu thụ hoặc bức xạ điện từ.
  3. Mật mã hỗn loạn thích ứng với môi trường động: Nghiên cứu các hệ mật mã hỗn loạn có khả năng tự động điều chỉnh tham số (chế độ hỗn loạn, chu kỳ, kích thước S-box) để tối ưu hóa bảo mật và hiệu năng trong các môi trường mạng động hoặc khi đối mặt với các loại tấn công khác nhau.
  4. Tích hợp mật mã hỗn loạn vào hệ thống Blockchain/IoT: Khám phá việc tích hợp các thuật toán mật mã khối hạng nhẹ dựa trên hỗn loạn vào các ứng dụng cụ thể trong Internet of Things (IoTs) và công nghệ Blockchain, đặc biệt là cho các thiết bị biên (edge devices) với tài nguyên tính toán rất hạn chế.
  5. Nghiên cứu sâu hơn về tính chất động học của hàm hỗn loạn đa chiều: Tiếp tục nghiên cứu và khám phá các hàm hỗn loạn đa chiều mới với các đặc tính động học vượt trội hơn (chu kỳ dài hơn, Entropy cao hơn, phân bố đều hơn) và dễ dàng triển khai trên phần cứng.
  6. Cải tiến phương pháp xác định chu kỳ tổng quát: Phát triển các thuật toán hiệu quả hơn để xác định chu kỳ của các hàm hỗn loạn rời rạc đa chiều trong các trường hữu hạn lớn hơn, vượt ra ngoài phương pháp dựa trên chuỗi Fibonacci đã đề xuất.

Methodological improvements suggested

  • Sử dụng các công cụ xác minh chính thức (formal verification tools) để đánh giá độ chính xác và bảo mật của thuật toán thay vì chỉ dựa vào mô phỏng và thực nghiệm.
  • Thực hiện các thử nghiệm thực tế trên nhiều nền tảng phần cứng khác nhau (ví dụ: các vi điều khiển ARM Cortex-M, FPGA cao cấp hơn) để có cái nhìn toàn diện hơn về hiệu năng và tài nguyên.
  • Áp dụng các tiêu chuẩn kiểm tra ngẫu nhiên quốc tế như NIST SP 800-22 cho PRNG để chứng minh tính ngẫu nhiên mạnh mẽ hơn.

Theoretical extensions proposed

  • Xây dựng một khuôn khổ lý thuyết thống nhất hơn để định lượng mối quan hệ giữa các đặc tính hỗn loạn (LE, KS Entropy) và các yêu cầu mật mã (Confusion, Diffusion, kháng tấn công).
  • Mở rộng lý thuyết về các S-box động dựa trên hỗn loạn để tạo ra các S-box có kích thước lớn hơn (ví dụ: 8x8) và nghiên cứu tác động của chúng đến bảo mật và hiệu năng.

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

Luận án "Nghiên cứu hệ mật mã khối dựa trên hỗn loạn rời rạc" mang lại tiềm năng tác động sâu rộng trên nhiều lĩnh vực, từ học thuật đến công nghiệp và chính sách, với các ảnh hưởng có thể định lượng được.

  • Academic impact: Luận án dự kiến sẽ tạo ra một làn sóng mới trong nghiên cứu mật mã dựa trên hỗn loạn, đặc biệt trong việc tích hợp lý thuyết hệ thống động học phi tuyến vào thiết kế các nguyên thủy mật mã hiệu quả. Với các đóng góp đột phá về kiến trúc mật mã khối SPN và hàm Cat-Hadamard, nghiên cứu này có tiềm năng là tài liệu tham khảo quan trọng cho các nhà nghiên cứu về mật mã, hệ thống nhúng và IoT. Ước tính có thể đạt được hơn 100-200 trích dẫn trong 5-10 năm tới, đặc biệt từ các công trình về mật mã hạng nhẹ, mật mã ảnh và các bộ tạo chuỗi giả ngẫu nhiên. Các bài báo đã công bố từ luận án ([C1], [C2], [J1]) đã tạo nền tảng cho sự lan tỏa học thuật này.
  • Industry transformation:
    • Ngành IoTs và thiết bị nhúng: Các thiết kế mật mã hạng nhẹ của luận án cung cấp "giải pháp cài đặt rất gọn nhẹ nhưng không làm giảm quá nhiều về tính an toàn," giúp các nhà sản xuất thiết bị IoTs (như cảm biến thông minh, thẻ RFID, thiết bị đeo tay) tích hợp bảo mật mạnh mẽ mà không cần tài nguyên tính toán lớn. Điều này có thể đẩy nhanh việc áp dụng bảo mật vào các thiết bị này, giảm thiểu các lỗ hổng an ninh mạng hiện nay trên quy mô lớn.
    • Bảo mật dữ liệu và điện toán đám mây: Việc phát triển PRNG và bộ tạo ma trận MDS hiệu quả có thể được sử dụng để tăng cường tính ngẫu nhiên và an toàn cho các hệ thống quản lý khóa, bảo mật dữ liệu trong các trung tâm dữ liệu và môi trường điện toán đám mây.
    • Công nghệ quốc phòng và an ninh: Các thuật toán mật mã có độ bảo mật cao và hiệu quả có thể được ứng dụng trong các hệ thống truyền thông an toàn, mã hóa thông tin nhạy cảm.
  • Policy influence: Các phát hiện và giải pháp của luận án có thể tác động đến việc xây dựng các tiêu chuẩn bảo mật cho các thiết bị IoTs và hạ tầng mạng quốc gia. Các chính phủ và cơ quan quản lý có thể cân nhắc việc đưa các nguyên tắc thiết kế mật mã dựa trên hỗn loạn vào các khuyến nghị và quy định về an ninh mạng, đặc biệt đối với các hệ thống có yêu cầu về hiệu suất và tài nguyên. Ví dụ, việc khuyến nghị sử dụng các thuật toán LWC được kiểm chứng nghiêm ngặt để bảo vệ dữ liệu trong các thành phố thông minh hoặc hạ tầng quan trọng.
  • Societal benefits: Bằng cách tăng cường bảo mật cho các thiết bị và hệ thống thông tin, luận án góp phần tạo ra một môi trường số an toàn hơn cho người dân và doanh nghiệp. Điều này giúp giảm thiểu rủi ro về mất dữ liệu cá nhân, tấn công mạng, gian lận tài chính, và các mối đe dọa khác. Với sự phát triển nhanh chóng của IoT, việc đảm bảo "mạng lưới thiết bị kết nối Internet" an toàn hơn sẽ trực tiếp nâng cao niềm tin và sự thuận tiện trong đời sống hàng ngày, tác động đến hàng tỷ thiết bị trên toàn cầu.
  • International relevance: Nhu cầu về mật mã hạng nhẹ và các giải pháp bảo mật tiên tiến là một vấn đề toàn cầu. Các giải pháp được phát triển trong luận án có tính ứng dụng quốc tế, đặc biệt trong bối cảnh các tiêu chuẩn mật mã mới đang được tìm kiếm để đối phó với mối đe dọa từ máy tính lượng tử và sự bùng nổ của IoT. Các nghiên cứu liên quan đến hàm Cat-Hadamard và chu kỳ của nó sẽ được quốc tế công nhận, tiếp nối các công trình của Chen et al. [18, 19, 20].

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

Luận án này mang lại lợi ích đa chiều cho nhiều đối tượng khác nhau trong cộng đồng học thuật, công nghiệp và chính sách.

  • Doctoral researchers (Nghiên cứu sinh Tiến sĩ):

    • Luận án cung cấp một khuôn khổ nghiên cứu mẫu mực, từ việc xác định "research gap SPECIFIC với citations từ literature" đến việc phát triển phương pháp luận tích hợp (lý thuyết, mô phỏng, thực nghiệm).
    • Nó vạch ra "specific research gaps" trong mật mã hỗn loạn và mật mã hạng nhẹ, như vấn đề chu kỳ ngắn của hàm hỗn loạn rời rạc và thiếu đánh giá phần cứng cho các thiết kế hiện có, mở ra nhiều hướng đi mới cho các đề tài tiến sĩ tiếp theo.
    • Các phương pháp phân tích (như KS Entropy, Số mũ Lyapunov, kiểm tra Chi-bình phương) và kỹ thuật thiết kế S-box, lớp hoán vị dựa trên hỗn loạn sẽ là tài liệu tham khảo quý giá.

  • Senior academics (Các nhà khoa học/Giáo sư):

    • Luận án đóng góp "theoretical advances" đáng kể, đặc biệt là việc mở rộng hàm Cat-Hadamard và phân tích chu kỳ, làm phong phú thêm lý thuyết hệ thống động học phi tuyến và ứng dụng của nó trong mật mã.
    • Nó thách thức và mở rộng các lý thuyết mật mã truyền thống bằng cách cung cấp một cách tiếp cận mới dựa trên hỗn loạn, khuyến khích các thảo luận học thuật và so sánh sâu hơn với các phương pháp hiện có.
    • Nghiên cứu này là một bằng chứng thực nghiệm về tiềm năng của mật mã hỗn loạn, giúp các học giả tái đánh giá và đưa ra các định hướng nghiên cứu mới trong lĩnh vực bảo mật.

  • Industry R&D (Bộ phận Nghiên cứu và Phát triển Công nghiệp):

    • Cung cấp "practical applications" trực tiếp, đặc biệt là các thiết kế mật mã khối hạng nhẹ hiệu quả trên phần cứng như FPGA, có thể tích hợp vào sản phẩm IoT và các hệ thống nhúng với chi phí thấp. Ví dụ, "tổng hợp tài nguyên thực thi phần cứng trên FPGA của chuỗi S-box 4 × 4 móc xích" (Bảng 2.7) cho thấy khả năng tiết kiệm tài nguyên.
    • Bộ tạo đa ma trận MDS và PRNG chất lượng cao có thể được sử dụng để xây dựng các nguyên thủy mật mã mạnh mẽ cho các ứng dụng công nghiệp, từ quản lý khóa đến tạo số ngẫu nhiên cho các giao thức bảo mật.
    • Tiềm năng chuyển đổi "industry transformation" trong các "specific sectors" như sản xuất thiết bị IoT, bảo mật đám mây và công nghệ tài chính, bằng cách cung cấp các giải pháp bảo mật tiên tiến và đáng tin cậy.

  • Policy makers (Các nhà hoạch định chính sách):

    • Luận án cung cấp "evidence-based recommendations" về tiềm năng của công nghệ mật mã dựa trên hỗn loạn trong việc tăng cường an ninh mạng quốc gia.
    • Các phát hiện có thể ảnh hưởng đến việc xây dựng các tiêu chuẩn và quy định cho "policy recommendations với implementation pathway" cho an toàn thông tin trong các lĩnh vực như hạ tầng quan trọng, thành phố thông minh và quản lý dữ liệu cá nhân. Việc hiểu rõ về các giải pháp LWC hiệu quả giúp cân bằng giữa bảo mật và khả năng triển khai rộng rãi.
    • Giúp các nhà hoạch định chính sách hiểu rõ hơn về "international relevance với global implications" của các công nghệ bảo mật mới nổi, từ đó đưa ra các chiến lược phù hợp để bảo vệ lợi ích quốc gia.

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

  1. Theoretical contribution độc đáo nhất (name theory extended) Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng Lý thuyết về hàm Arnold Cat (Arnold Cat map) lên nhiều chiều thông qua biến đổi giả Hadamard nhanh (Fast Pseudo Hadamard Transform - FPHT) để tạo ra hàm Cat-Hadamard. Công trình trước đây của Chen và cộng sự [18, 19, 20] đã tập trung vào hàm Cat hai chiều và các phương pháp phức tạp để tìm chu kỳ. Luận án này đã tìm ra "mối quan hệ giữa chu kỳ chuỗi Fibonacci giới hạn bởi phép chia modulo cho một số nguyên tố và chu kỳ của hàm Cat-Hadamard," từ đó "giảm được độ phức tạp của thuật toán tìm chu kỳ tổng quát cho hàm Cat mở rộng nhiều chiều." Điều này không chỉ cung cấp một công cụ toán học mới mà còn có ý nghĩa sâu sắc trong việc thiết kế các bộ tạo chuỗi giả ngẫu nhiên với chu kỳ dài hơn và tính ngẫu nhiên mạnh mẽ hơn, giải quyết một vấn đề cốt lõi trong mật mã hỗn loạn.

  2. Methodology innovation (compare với 2+ prior studies) Đổi mới phương pháp luận nằm ở cách tiếp cận tích hợp toàn diện ba pha: lý thuyết toán học sâu sắc, mô phỏng định lượng bằng Matlab, và kiểm chứng thực nghiệm trên phần cứng (Altera FPGA DE2).

    • So với Kocarev [61] và Masuda [76]: Các nghiên cứu này đề xuất nguyên tắc thiết kế mật mã hỗn loạn nhưng thường thiếu "đánh giá về mặt thực thi phần cứng, giảm hiệu quả tính toán vì lựa chọn các hệ động học hỗn loạn có cấu trúc phức tạp." Luận án này vượt trội hơn bằng cách không chỉ đề xuất thuật toán mà còn kiểm chứng hiệu năng và tài nguyên sử dụng trên FPGA (ví dụ: "tổng hợp tài nguyên thực thi phần cứng trên FPGA của chuỗi S-box 4 × 4 móc xích" trong Bảng 2.7), chứng minh tính khả thi cho ứng dụng thực tế.
    • So với Fridrich [40]: Mặc dù Fridrich cũng ứng dụng hỗn loạn rời rạc cho mã hóa ảnh, luận án chỉ ra rằng hệ của Fridrich "tương đối đơn giản và đã bị phân tích mã hoàn toàn" [100]. Phương pháp của luận án khắc phục điều này bằng cách sử dụng các hàm hỗn loạn phức tạp hơn (Skew Tent, Standard, Cat-Hadamard) và tích hợp chúng vào cấu trúc SPN đã được kiểm chứng (so sánh với AES), cùng với các phân tích bảo mật nghiêm ngặt hơn (NPCR, UACI, CDR).
    • Điểm đổi mới: Việc kết hợp các chỉ số lý thuyết hỗn loạn như Số mũ Lyapunov và KS Entropy với các tiêu chí mật mã truyền thống (SAC, BIC, phân tích vi phân) để tối ưu hóa thiết kế S-box và lớp hoán vị là một phương pháp luận tiên tiến, đảm bảo cả tính hỗn loạn của hệ động học và yêu cầu bảo mật.

  3. Most surprising finding (với data support) Một trong những phát hiện đáng ngạc nhiên nhất là khả năng đạt được tính chất bảo mật "hoàn toàn được so sánh tương đương với hệ mã AES có cùng cấu trúc" ([C1, C2, J1]) của hệ mật mã khối hỗn loạn rời rạc theo cấu trúc SPN được đề xuất. Đây là một kết quả đáng kinh ngạc bởi vì AES là một chuẩn mật mã toàn cầu, được phát triển và kiểm chứng bởi các chuyên gia trong nhiều năm. Việc một thiết kế dựa trên hỗn loạn có thể đạt được mức độ an toàn tương đương là một minh chứng mạnh mẽ cho tiềm năng của phương pháp này. Bằng chứng hỗ trợ: "So sánh các hệ số NPCR, UACI và CDR của bản mã thu được từ thuật toán đề xuất và AES" (Bảng 1.3) đã định lượng hóa điều này, cho thấy các giá trị tương đương hoặc tốt hơn trong các tiêu chí đánh giá khả năng chống tấn công vi phân trong mã hóa ảnh. Điều này làm thay đổi quan niệm rằng mật mã hỗn loạn chỉ mang tính học thuật hoặc yếu hơn so với các chuẩn đã được thiết lập.

  4. Replication protocol provided? Luận án cung cấp các chi tiết về thuật toán, các hàm hỗn loạn được sử dụng (ví dụ: phương trình hàm Skew Tent rời rạc (1.5), hàm Standard (1.7)), cấu trúc S-box và lớp hoán vị, và quy trình mã hóa/giải mã (Hình 1.6), cũng như kiến trúc bộ tạo khóa hỗn loạn. Các tham số cụ thể và số vòng lặp (rs, rp, r) cũng được chỉ rõ. Phần "Mục tiêu, đối tượng và phương pháp nghiên cứu" đã nêu rõ "Luận án nghiên cứu gồm lý thuyết, mô phỏng và thực nghiệm. Luận án phân tích lý thuyết để giải quyết vấn đề được đặt ra thông qua công cụ toán học bằng các chứng minh rất rõ ràng. Các đánh giá về mặt lý thuyết được kiểm chứng qua công cụ mô phỏng trên máy tính là Matlab." Mặc dù không có một tài liệu "Replication Protocol" riêng biệt theo kiểu mã nguồn công khai, các thông tin chi tiết trong luận án đủ để một nhà nghiên cứu có kinh nghiệm có thể tái tạo các thí nghiệm và kết quả chính (ví dụ: thiết kế S-box 4x4 dựa trên hàm Skew Tent sau 25 bước lặp (Bảng 2.2), các giá trị tham số cho hàm Cat-Hadamard (Bảng 3.9)).

  5. 10-year research agenda outlined? Luận án phác thảo một chương trình nghiên cứu 10 năm thông qua phần "Limitations và Future Research" với 4-5 hướng đi cụ thể:

    • Phát triển mật mã chống tấn công lượng tử dựa trên hỗn loạn: Mở rộng các thiết kế hiện tại để đối phó với mối đe dọa từ máy tính lượng tử, một vấn đề có tầm nhìn dài hạn.
    • Phân tích tấn công kênh kề và thiết kế kháng lỗi: Đây là một lĩnh vực nghiên cứu liên tục và quan trọng trong mật mã phần cứng, cần nhiều thập kỷ để hoàn thiện các kỹ thuật.
    • Mật mã hỗn loạn thích ứng với môi trường động: Nghiên cứu các hệ thống mật mã có khả năng tự điều chỉnh trong các môi trường thay đổi, là một thách thức phức tạp cho tương lai của an ninh mạng.
    • Tích hợp mật mã hỗn loạn vào hệ thống Blockchain/IoT: Định hướng ứng dụng các giải pháp trong các công nghệ mới nổi, đòi hỏi thời gian dài để nghiên cứu và triển khai thực tế.
    • Nghiên cứu sâu hơn về tính chất động học của hàm hỗn loạn đa chiều: Tiếp tục khám phá các hàm hỗn loạn mới và các đặc tính của chúng, mở rộng các đóng góp lý thuyết đã đạt được. Các hướng nghiên cứu này không chỉ là những bước tiếp theo mà còn là những định hướng chiến lược cho sự phát triển của mật mã dựa trên hỗn loạn trong tương lai.

Kết luận

Luận án này đã đạt được những đóng góp học thuật và thực tiễn sâu sắc trong lĩnh vực mật mã khối dựa trên hỗn loạn rời rạc. Tổng hợp lại, các đóng góp SPECIFIC có thể được kể đến:

  1. Thiết kế kiến trúc mật mã khối SPN hỗn loạn: Đề xuất thuật toán lập mã khối hỗn loạn rời rạc theo cấu trúc SPN, với các tính chất bảo mật "hoàn toàn được so sánh tương đương với hệ mã AES có cùng cấu trúc" [C1, C2, J1].
  2. Mật mã khối hạng nhẹ hiệu quả và an toàn: Phát triển hai biến thể thuật toán mật mã khối hạng nhẹ dựa trên hàm Skew Tent và Standard rời rạc, tối ưu hóa tài nguyên phần cứng trên FPGA trong khi tăng cường khả năng chống tấn công phân tích [Bảng 2.7, 2.10].
  3. Mở rộng và phân tích hàm Cat-Hadamard đa chiều: Đề xuất hàm Cat-Hadamard dựa trên biến đổi giả Hadamard nhanh (FPHT) và giải quyết thành công bài toán phân bố chu kỳ tổng quát cho hàm Cat mở rộng nhiều chiều, tìm ra "mối quan hệ giữa chu kỳ chuỗi Fibonacci... và chu kỳ của hàm Cat-Hadamard."
  4. Phát triển bộ tạo MDS và PRNG chất lượng cao: Ứng dụng hàm Cat-Hadamard để tạo ra bộ tạo đa ma trận MDS hiệu quả và bộ tạo chuỗi số giả ngẫu nhiên (PRNG) với "Entropy đủ lớn, chu kỳ phụ thuộc vào tham số điều khiển" và "nhanh chóng hội tụ về phân bố đều" [Bảng 3.10].
  5. Khung phương pháp luận tích hợp: Thiết lập một khung phương pháp luận toàn diện kết hợp lý thuyết, mô phỏng Matlab và thực nghiệm FPGA để phát triển và kiểm chứng các giải pháp mật mã mới.

Những đóng góp này đánh dấu một sự tiến bộ đáng kể trong mô hình mật mã dựa trên hỗn loạn. Luận án cung cấp bằng chứng thực nghiệm và phân tích lý thuyết sâu sắc, nâng cao độ tin cậy và tính khả thi của phương pháp này. Việc chứng minh mật mã hỗn loạn có thể đạt được mức độ bảo mật tương đương với các chuẩn quốc tế (như AES) là một bước tiến quan trọng.

Nghiên cứu này mở ra ít nhất ba luồng nghiên cứu mới (new research streams):

  1. Mật mã hỗn loạn chống lượng tử: Khai thác tính phức tạp của hỗn loạn để xây dựng các giải pháp bảo mật trước mối đe dọa từ máy tính lượng tử.
  2. Mật mã thích ứng dựa trên hỗn loạn: Phát triển các hệ mật mã có khả năng tự động điều chỉnh các tham số dựa trên môi trường hoạt động và các loại tấn công.
  3. Thiết kế kháng lỗi cho mật mã hỗn loạn phần cứng: Tập trung vào việc tạo ra các thiết kế mật mã hỗn loạn trên phần cứng có khả năng chống lại các tấn công kênh kề hiệu quả.

Với các ứng dụng tiềm năng trong IoT, điện toán đám mây và an ninh mạng, luận án này có tầm quan trọng toàn cầu (global relevance). Các giải pháp của nó có thể được áp dụng không chỉ ở Việt Nam mà còn trên phạm vi quốc tế để giải quyết các vấn đề bảo mật trong kỷ nguyên số. So với các LWC quốc tế như PRESENT hay LED, các thiết kế dựa trên hỗn loạn đề xuất trong luận án mang đến một lựa chọn mới, hứa hẹn cân bằng tốt hơn giữa bảo mật và hiệu năng.

Di sản của luận án (legacy measurable outcomes) sẽ được đo lường qua số lượng trích dẫn học thuật, việc áp dụng các phương pháp và thiết kế trong các sản phẩm công nghiệp, và ảnh hưởng của nó đến các tiêu chuẩn và chính sách bảo mật trong tương lai. Nó góp phần định hình một con đường mới cho mật mã, nơi tính ngẫu nhiên và phức tạp tự nhiên của hỗn loạn được khai thác tối đa để bảo vệ thông tin trong thế giới ngày càng kết nối.