Tổng quan nghiên cứu

Trong kỷ nguyên chuyển đổi số và bùng nổ dữ liệu toàn cầu, an toàn thông tin trở thành trụ cột sống còn đối với các hệ thống kinh tế, chính trị và thương mại điện tử. Các hàm băm mật mã học đóng vai trò nền tảng trong xác thực nguồn gốc, bảo vệ tính toàn vẹn dữ liệu và xây dựng hệ thống chữ ký số. Tuy nhiên, nhiều hàm băm truyền thống đã bộc lộ những điểm yếu nghiêm trọng trước các phương pháp thám mã hiện đại. Điển hình, các nghiên cứu kinh điển đã chứng minh độ phức tạp để tìm va chạm trên thuật toán SHA-1 bị giảm từ $2^{80}$ phép tính ban đầu xuống còn $2^{69}$ phép tính, và thuật toán MD5 hoàn toàn bị phá vỡ trên thực tế. Nhằm tìm kiếm giải pháp thay thế an toàn hơn, Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST) đã tổ chức cuộc thi chuẩn hóa SHA-3 thu hút 64 đề án dự thi và lựa chọn ra 5 ứng viên xuất sắc vào vòng chung kết năm 2010.

Xuất phát từ yêu cầu cấp thiết về tính độc lập và nâng cao năng lực bảo mật trong xử lý tài liệu số, luận văn thạc sĩ chuyên ngành Khoa học máy tính (mã số 848 0101) với đề tài "Nghiên cứu hàm băm trên cơ sở mạng hoán vị thay thế điều khiển được và ứng dụng trong mã hóa xác thực văn bản" đã được học viên Phoumivong Mithpasa thực hiện dưới sự hướng dẫn của TS. Đỗ Thị Bắc tại Trường Đại học Công nghệ Thông tin và Truyền thông – Đại học Thái Nguyên vào năm 2020.

Mục tiêu trọng tâm của nghiên cứu là xây dựng cấu trúc hàm băm mật mã có độ phức tạp cao dựa trên mạng hoán vị thay thế điều khiển được (Controlled Substitution-Permutation Network - CSPN) và hoán vị phụ thuộc dữ liệu (Data Dependent Permutation - DDP). Đồng thời, đề tài hiện thực hóa giải pháp bằng việc phát triển thư viện liên kết động và tiện ích mở rộng Add-In tích hợp trực tiếp vào Microsoft Word. Công trình mang ý nghĩa khoa học và thực tiễn sâu sắc khi phân loại thành công 2.208 đối hợp điều khiển được $F_{2/2}$ đạt độ phi tuyến cực đại bằng 4, giúp tối ưu hóa khả năng chống chịu tấn công vi phân và rút ngắn thời gian xác thực văn bản xuống dưới 50 mili-giây trên các hệ thống văn phòng phổ dụng.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng vững chắc của ba trụ cột lý thuyết mật mã học hiện đại:

  • Lý thuyết hàm băm mật mã học (Cryptographic Hash Function Theory): Tập trung vào cấu trúc hàm nén lặp Merkle-Damgård, hàm Davies-Meyer và các thuộc tính bảo mật tiêu chuẩn bao gồm khả năng chống đụng độ (Collision Resistance), chống tìm tiền ảnh (Preimage Resistance) và chống tìm tiền ảnh thứ hai (Second Preimage Resistance).
  • Lý thuyết mạng hoán vị thay thế điều khiển được (CSPN) và Hoán vị phụ thuộc dữ liệu (DDP): Sử dụng các khối điều khiển cơ bản $F_{2/1}$ và $F_{2/2}$ có khả năng thay đổi cấu trúc thế và hoán vị dựa trên các bit điều khiển, tạo ra hiệu ứng thác đổ mạnh mẽ và triệt tiêu tính tuyến tính của dữ liệu đầu vào.
  • Lý thuyết hàm Boolean và phân tích vi sai: Ứng dụng các hàm Boolean cân bằng nhiều biến nhằm tối đa hóa khoảng cách phi tuyến (Non-Linearity - NL) và giảm thiểu xác suất chuyển tiếp vi phân.

Mô hình nghiên cứu triển khai các cấu trúc tầng lặp đối xứng nhiều lớp như $\Phi_{64/192}$ và $\Phi_{128/384}$, kết hợp với các hoán vị cố định đối hợp $I_1, I_2$. Trong đó, 5 khái niệm then chốt xuyên suốt luận văn gồm: Hàm nén (Compression function), Độ phi tuyến đại số (Algebraic Non-Linearity), Phần tử điều khiển đối hợp (Controlled Involution Element), Đặc trưng vi phân (Differential Characteristics) và Entropy vi phân trung bình. Luận văn khảo sát chi tiết 70 hàm Boolean 3 biến cân bằng cùng 24 hộp thế kích thước $2 \times 2$ làm cơ sở thiết kế phần tử mật mã cơ sở.

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

Nghiên cứu sử dụng kết hợp các phương pháp toán học giải tích, phương pháp vét cạn đại số có định hướng và mô phỏng thực nghiệm trên máy tính:

  • Nguồn dữ liệu và không gian mẫu: Khảo sát toàn diện không gian $2^{16} = 65.536$ hàm Boolean 4 biến; trích xuất tập con gồm 12.780 hàm Boolean phi tuyến cân bằng, trong đó có 10.920 hàm đạt giá trị phi tuyến bằng 4 và 1.920 hàm đạt giá trị phi tuyến bằng 2. Đồng thời, không gian 576 cặp biến thể hộp thế $2 \times 2$ cũng được phân tích toàn diện.
  • Phương pháp chọn mẫu và lý do lựa chọn: Tác giả áp dụng phương pháp lọc phân tầng dựa trên 4 tiêu chí khắt khe: tính cân bằng của hàm ngõ ra, tính song ảnh của các phép biến đổi, độ phi tuyến cực đại của hàm tổng và tính chất đối hợp tự nghịch đảo. Phương pháp này được lựa chọn vì giúp loại bỏ hoàn toàn các cấu trúc suy biến, đảm bảo tính an toàn toán học cao nhất nhưng vẫn tối ưu hóa tài nguyên phần cứng khi triển khai trên vi mạch lập trình FPGA.
  • Timeline nghiên cứu: Đề tài được triển khai trong giai đoạn 2019-2020 tại Đại học Thái Nguyên, trải qua các giai đoạn: tổng hợp lý thuyết và đánh giá các kiểu tấn công Merkle-Damgård (2019), phân loại toán tử và thiết kế kiến trúc đối xứng (đầu năm 2020), lập trình thư viện HashDLL và thử nghiệm Add-In Microsoft Word (giữa năm 2020).

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình nghiên cứu và thử nghiệm đã mang lại 4 kết quả học thuật và kỹ thuật nổi bật:

  1. Phân loại hoàn chỉnh không gian phần tử điều khiển $F_{2/1}$: Trong số 288 phần tử $F_{2/1}$ thỏa mãn tính song ảnh và cân bằng, nghiên cứu xác định được 192 biến thể phi tuyến ($NL = 2$) và 40 đối hợp cơ bản điều khiển được. Trong đó, 24 đối hợp thuộc hai nhóm tối ưu $Q_{2/1}$ và $R_{2/1}$ thể hiện hiệu ứng thác dữ liệu vượt trội, giúp tăng xác suất phân tán vi sai lên hơn 50% so với phần tử chuyển mạch thông thường.
  2. Khám phá và tối ưu hóa không gian phần tử $F_{2/2}$: Phân tích không gian phần tử điều khiển 2 bit ngõ vào $(v, z)$ đã chọn lọc được 126.720 phần tử đạt bộ ba chỉ số phi tuyến cực đại $(NL_1, NL_2, NL_3) = (4,4,4)$. Trong tập hợp này, tác giả đã sàng lọc ra 2.208 đối hợp phi tuyến và phân chia chính xác thành 16 nhóm con theo các mức entropy vi phân trung bình khác nhau.
  3. Thiết lập các kiến trúc mạng hoán vị đối xứng đa tầng: Đề xuất thành công các cấu trúc hoán vị đối xứng $\Phi_{64/192}$ và $\Phi_{128/384}$ với $s$ tầng hoạt động song song. Cấu trúc đệ quy kết hợp hoán vị cố định đối hợp $I_1$ gồm 24 cặp hoán vị bit giúp độ phức tạp chống thám mã vi phân đạt ngưỡng an toàn lý thuyết $2^{128}$.
  4. Xây dựng hoàn chỉnh phần mềm ứng dụng thực tế: Đóng gói thành công thư viện liên kết động HashDLL.dll và cài đặt tiện ích "Ez Hash Function" trên thanh công cụ Microsoft Word. Phần mềm cho phép băm và kiểm tra tính toàn vẹn tài liệu có kích thước từ 1 MB đến 50 MB với tốc độ xử lý nhanh, độ trễ trung bình dưới 50 mili-giây và tỷ lệ phát hiện sửa đổi đạt 100%.

Thảo luận kết quả

Cơ chế tạo nên sự vượt trội của hàm băm đề xuất nằm ở khả năng biến đổi linh hoạt của các hộp thế $S_{2 \times 2}$ dưới sự điều khiển của chính dữ liệu thông điệp (DDP). Trong cấu trúc Merkle-Damgård cổ điển, các điểm yếu cấu trúc cho phép kẻ tấn công thực hiện tấn công mở rộng độ dài, tấn công đa va chạm (Joux) với chi phí tạo $2^l$ thông điệp va chạm chỉ tốn $l$ lần chi phí đơn lập, hoặc tấn công cấu trúc kim cương (Kelsey-Kohno). Khi áp dụng mạng CSPN với các đối hợp $F_{2/2}$ có entropy phân tán đều qua 5 tập đặc trưng vi phân ${A, B, C, D, E}$, hàm băm triệt tiêu hoàn toàn các đường dẫn vi sai cố định.

So với các hàm băm mở rộng như 3C (vẫn nhạy cảm với tấn công đa khối) hay Merkle-Damgård có hoán vị (chưa ngăn chặn được tấn công nghịch ảnh thứ hai), mô hình hàm băm dựa trên $F_{2/2}$ duy trì tính chất không phân biệt được với hàm ngẫu nhiên giả (PRF). Dữ liệu nghiên cứu được biểu diễn trực quan qua hệ thống 10 bảng phân loại thống kê và 9 sơ đồ kiến trúc mạch phân tầng trong văn bản luận văn, giúp các nhà phát triển dễ dàng tra cứu cấu hình hộp thế phù hợp với từng yêu cầu băng thông cụ thể.

Đề xuất và khuyến nghị

Dựa trên các đóng góp lý thuyết và kết quả thực nghiệm, 4 giải pháp và khuyến nghị hành động cụ thể được đề xuất:

  • Chuẩn hóa và tích hợp thuật toán băm CSPN vào hệ thống quản lý văn bản công: Ban Cơ yếu Chính phủ và Bộ Thông tin và Truyền thông nên chủ trì nghiên cứu, xây dựng tiêu chuẩn kỹ thuật quốc gia về hàm băm dựa trên mạng hoán vị thay thế trong giai đoạn 2025-2027. Mục tiêu hướng tới là tích hợp giải pháp vào 100% hệ thống cổng dịch vụ công trực tuyến, nâng cao khả năng bảo mật dữ liệu hành chính trước các nguy cơ tấn công mạng.
  • Hiện thực hóa thuật toán trên vi mạch phần cứng chuyên dụng FPGA và ASIC: Các viện nghiên cứu và doanh nghiệp công nghệ bán dẫn cần phối hợp thiết kế lõi IP (IP Core) cho phần tử $F_{2/2}$ trong vòng 18 tháng. Giải pháp này giúp tận dụng các ô nhớ 4-bit của FPGA, giảm 35% diện tích mạch logic và đạt thông lượng xử lý vượt mức 2 Gbps đối với các luồng dữ liệu lớn.
  • Mở rộng và thương mại hóa tiện ích xác thực tài liệu đa định dạng: Doanh nghiệp an ninh mạng cần tiếp nhận chuyển giao công nghệ, nâng cấp Add-In "Ez Hash Function" từ Microsoft Word sang các nền tảng PDF, bảng tính Excel và phần mềm nguồn mở trong giai đoạn 2025-2026. Chỉ tiêu đặt ra là xử lý ký số và kiểm tra toàn vẹn tài liệu dung lượng 20 MB trong thời gian dưới 15 mili-giây.
  • Duy trì kiểm thử thám mã vi phân và nghiên cứu an toàn hậu lượng tử: Các nhóm nghiên cứu tại các trường đại học kỹ thuật cần định kỳ 12 tháng/lần thực hiện các đợt đánh giá độ an toàn thuật toán trước các kỹ thuật thám mã đại số và điện toán lượng tử, đảm bảo biên độ an toàn luôn duy trì trên mức $2^{128}$ phép tính.

Đối tượng nên tham khảo luận văn

Công trình luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng chuyên môn:

  • Kỹ sư an toàn thông tin và chuyên gia mật mã học: Nắm vững phương pháp thiết kế cấu trúc hàm nén phi tuyến và kỹ thuật phân tích vi sai; ứng dụng trực tiếp vào việc phát triển các giao thức truyền thông an toàn, chữ ký điện tử và hệ thống xác thực dữ liệu phân tán.
  • Lập trình viên phát triển phần mềm ứng dụng và hệ thống văn phòng: Khai thác mã nguồn thư viện liên kết động HashDLL.dll và mô hình kiến trúc Add-In Microsoft Word để tích hợp tính năng kiểm tra tính toàn vẹn tệp tin vào các hệ thống quản lý văn bản số (EDMS), ERP và hợp đồng điện tử.
  • Kỹ sư thiết kế phần cứng vi mạch (FPGA/ASIC): Sử dụng bảng phân loại 2.208 đối hợp $F_{2/2}$ và các mô hình phần tử nhớ 4-bit để tối ưu hóa thiết kế chip xử lý mật mã tốc độ cao, tiết kiệm năng lượng và giảm diện tích cổng logic.
  • Giảng viên, học viên cao học và nghiên cứu sinh ngành Khoa học máy tính: Sử dụng luận văn làm tài liệu học thuật chuyên sâu về cấu trúc hàm Boolean, mạng hoán vị phụ thuộc dữ liệu và phân tích các dạng tấn công va chạm trên cấu trúc Merkle-Damgård.

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

Hàm băm dựa trên mạng hoán vị thay thế điều khiển được (CSPN) có ưu điểm gì vượt trội so với MD5 và SHA-1? Mạng CSPN sử dụng các khối điều khiển phụ thuộc trực tiếp vào dữ liệu đầu vào để liên tục thay đổi cấu trúc hoán vị và phép thế trong từng vòng lặp. Cơ chế này loại bỏ các đường dẫn vi phân cố định vốn là nguyên nhân khiến MD5 và SHA-1 bị tấn công va chạm với độ phức tạp giảm sâu xuống dưới $2^{69}$ phép toán.

Tại sao nghiên cứu lại ưu tiên lựa chọn các phần tử đối hợp phi tuyến $F_{2/1}$ và $F_{2/2}$? Phần tử đối hợp có tính chất tự nghịch đảo, cho phép tái sử dụng cùng một cấu trúc phần cứng cho cả quá trình mã hóa và giải mã. Hơn nữa, việc đạt độ phi tuyến cực đại ($NL = 4$ đối với hàm Boolean 4 biến) giúp tối đa hóa khả năng khuếch tán bit và chống lại các kỹ thuật thám mã tuyến tính.

Luận văn khắc phục những lỗ hổng nào của cấu trúc lặp Merkle-Damgård truyền thống? Nghiên cứu giải quyết triệt để nguy cơ từ các cuộc tấn công mở rộng độ dài, tấn công đa va chạm (Joux) và tấn công cấu trúc kim cương (Kelsey-Kohno). Mạng hoán vị đối xứng nhiều tầng giúp bảo toàn tính ngẫu nhiên giả (PRF) và ngăn chặn việc tìm tiền ảnh thứ hai với chi phí thấp.

Tiện ích Add-In "Ez Hash Function" hỗ trợ xác thực văn bản trong Microsoft Word như thế nào? Tiện ích được nhúng trực tiếp vào giao diện Microsoft Word thông qua thư viện liên kết động HashDLL.dll. Khi người dùng soạn thảo, tiện ích sẽ tính toán giá trị băm của văn bản với thời gian xử lý dưới 50 mili-giây, cho phép đối soát và phát hiện lập tức mọi hành vi sửa đổi trái phép.

Khả năng ứng dụng phần tử $F_{2/2}$ trên vi mạch lập trình FPGA có tính khả thi ra sao? Cấu trúc phần tử $F_{2/2}$ được điều khiển bởi vectơ 2 bit và tương thích hoàn hảo với cấu hình bảng tra (LUT) 4 ngõ vào của các dòng chip FPGA phổ biến. Điều này giúp tối ưu hóa 100% tài nguyên khối nhớ logic và đạt thông lượng băm trên 1 Gbps mà không gây quá tải phần cứng.

Kết luận

  • Đóng góp lý luận: Hệ thống hóa toàn diện lý thuyết hàm băm mật mã học và phân tích sâu sắc các điểm yếu cấu trúc của mô hình Merkle-Damgård cổ điển.
  • Đóng góp thiết kế: Phân loại thành công 126.720 phần tử điều khiển $F_{2/2}$ và lựa chọn ra 2.208 đối hợp phi tuyến tối ưu có $NL = 4$ phân bổ trong 16 nhóm entropy vi phân.
  • Đóng góp thực tiễn: Thiết kế cấu trúc mạng đối xứng đa tầng $\Phi_{64/192}$, xây dựng hoàn thiện thư viện HashDLL.dll và Add-In xác thực văn bản trực tiếp trên Microsoft Word với độ trễ dưới 50 mili-giây.
  • Định hướng phát triển: Tiếp tục tối ưu hóa thuật toán trên vi mạch phần cứng chuyên dụng FPGA/ASIC và mở rộng thử nghiệm trên các định dạng dữ liệu số phức tạp trong giai đoạn 2025-2027.
  • Lời kêu gọi hành động: Các tổ chức, viện nghiên cứu và doanh nghiệp công nghệ an ninh thông tin cần đẩy mạnh hợp tác chuyển giao, ứng dụng mạng hoán vị thay thế điều khiển được vào các giải pháp xác thực số quốc gia.