Tổng quan luận án

Công trình nghiên cứu thuộc loại hình Luận án Tiến sĩ kỹ thuật, chuyên ngành Mật mã học / Kỹ thuật Viễn thông và An toàn Thông tin, do nghiên cứu sinh Nguyễn Toàn Thắng thực hiện dưới sự hướng dẫn khoa học của GS. Nguyễn Xuân Quỳnh tại Học viện Công nghệ Bưu chính Viễn thông (bảo vệ năm 2017). Luận án tập trung vào hướng tiếp cận lý thuyết kết hợp giải tích đại số, mô phỏng thuật toán và kiểm chứng thực nghiệm để giải quyết bài toán thiết kế các hệ mật khối và hàm băm mở rộng.

  • Tính cấp thiết và khoảng trống nghiên cứu: Trong môi trường truyền thông số, việc bảo vệ tính bí mật, xác thực và toàn vẹn dữ liệu là yêu cầu sống còn. Khi năng lực tính toán của hệ thống máy tính tăng nhanh (khóa 32 bít chỉ cần $2^{32}$ bước thử trên máy tính cá nhân; khóa 40 bít bị duyệt trong một tuần; khóa 56 bít của chuẩn DES dễ dàng bị bẻ bởi phần cứng chuyên dụng; khóa 64 bít có thể bị phá bởi các tổ chức lớn), độ an toàn của các hệ mật truyền thống bị đe dọa nghiêm trọng. Bên cạnh đó, các hàm băm thông dụng như MD5 (128 bít) và SHA-1 (160 bít) đã bị các chuyên gia công bố tấn công va chạm thành công (nhóm nghiên cứu Trung Quốc tìm ra va chạm SHA-1 80 vòng trong 1 giờ 5 phút tại CRYPTO 2005 và giảm độ phức tạp xuống $2^{63}$ phép toán; tại ASIACRYPT 2006 tìm ra phương án tấn công SHA-1 64 vòng chỉ với $2^{35}$ phép toán). Mặc dù chuẩn SHA-2 ra đời với các phiên bản 224, 256, 384, 512 bít, song do có cấu trúc tương đồng SHA-1 nên việc phát triển các cấu trúc hàm băm mới có độ dài lớn (384–512 bít) dựa trên mật mã khối và đại số đa thức là một đòi hỏi cấp bách. Các nghiên cứu trước đây tại Việt Nam về hàm băm dựa trên cấp số nhân cyclic (như của Hồ Quang Bửu) mới chỉ dừng ở sơ đồ đơn 128 bít, dễ tổn thương trước các kỹ thuật thám mã và chưa khảo sát đầy đủ tính chất khuếch tán.

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

    1. Xây dựng một số các hàm băm mới (khảo sát trước khi xây dựng các hàm băm mở rộng).
    2. Xây dựng một lớp các hàm băm mở rộng mới (là lớp hàm băm có độ khuếch tán cao) với mục đích mở rộng chiều dài mã băm qua việc ghép móc xích để tạo ra sự phụ thuộc các bít đầu ra với các khối bít đầu vào (có kiểm chứng qua mô phỏng), đồng thời đề xuất khả năng ứng dụng các hàm băm mở rộng mới xây dựng.

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

    • Đối tượng nghiên cứu: Lý thuyết đại số trừu tượng (vành đa thức, các kiểu phân hoạch vành đa thức, đa thức sinh, ma trận, nhóm nhân cyclic, cấp số nhân cyclic), các thuật toán mật mã khóa bí mật và khóa công khai, lý thuyết hàm băm mật mã và các ứng dụng an toàn thông tin.
    • Phạm vi nghiên cứu: Vành đa thức $\mathbb{Z}_2[x]/(x^n - 1)$ với $n$ lẻ; các cấu trúc mật mã khối dựa trên lưu đồ Feistel, lưu đồ Lai-Massey và mô hình lai ghép; các sơ đồ hàm băm thao tác dữ liệu MDC (MDC-2, MDC-4, MDC-3, MDC 512 bít); khảo sát thực nghiệm tính chất khuếch tán thông qua khoảng cách Hamming $d_H$; ứng dụng trong xác thực thông điệp, kiểm tra toàn vẹn, chữ ký số kép và bảo vệ mật khẩu.

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

Luận án đã tổng quan toàn diện các mốc phát triển của lý thuyết thông tin, mật mã học và hàm băm trên thế giới và trong nước:

  • Các công trình quốc tế nền tảng:

    • Claude Shannon (1949) với công trình "Lý thuyết thông tin trong các hệ mật" trên tạp chí The Bell System Technical Journal, đặt nền móng toán học cho mật mã học hiện đại.
    • Ronald L. Rivest (1990, 1991) phát triển các hàm băm MD4 và MD5 (chuẩn Internet RFC 1321) với giá trị băm 128 bít.
    • Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST) phối hợp cùng Cơ quan An ninh Quốc gia Hoa Kỳ (NSA) ban hành tiêu chuẩn Secure Hash Standard (SHS) gồm SHA-1 và họ SHA-2 (SHA-224, SHA-256, SHA-384, SHA-512).
    • Nhóm tác giả Jean-Sébastien, Yevgeniy Dodis, Cécile Malinaud và Prashant (Đại học New York và Đại học Luxembourg) với công trình "A new Design Criteria for Hash-Function", chỉ ra MD5 và SHA-1 không còn đáp ứng yêu cầu bảo mật, tính kháng va chạm và độ khuếch tán, đồng thời khẳng định sự cần thiết của hàm băm độ dài 512 bít.
    • Tác giả Michal Rjaško với nghiên cứu "Properties of Cryptographic Hash Functions", phân tích các đặc tính cơ bản của hàm băm (tính một chiều, kháng tiền ảnh, kháng va chạm) nhưng chưa đi sâu vào tính chất khuếch tán.

  • Tình hình nghiên cứu trong nước và các nghiên cứu liên quan:

    • Các nghiên cứu về hệ mật và hàm băm tại Học viện Kỹ thuật Quân sự, Ban Cơ yếu Chính phủ, Đại học Mật mã, Học viện Công nghệ Bưu chính Viễn thông, Đại học Bách Khoa và Đại học Khoa học Tự nhiên.
    • Luận án Tiến sĩ và bài báo của Hồ Quang Bửu ("Về một phương pháp xây dựng hàm băm cho việc xác thực trên cơ sở ứng dụng thuật toán mã hóa đối xứng", "Xây dựng hàm băm trên các cấp số nhân cyclic"): Đề xuất hệ mật trên cấp số nhân cyclic theo lưu đồ Feistel sửa đổi với khối 128 bít, nhưng hàm băm tạo ra chỉ có độ dài 128 bít theo sơ đồ đơn nên dễ bị thám mã bẻ gãy.
    • Luận án Tiến sĩ của Hoàng Văn Quân (Viện Khoa học và Công nghệ Quân sự): Chưa giải quyết lớp hàm băm mở rộng và chưa đánh giá tính chất khuếch tán.

  • Khoảng trống luận án lựa chọn giải quyết: Khắc phục nhược điểm mã băm ngắn của các sơ đồ đơn (128 bít) bằng cách nghiên cứu xây dựng lớp hàm băm mở rộng có độ dài 384–512 bít, sử dụng các hệ mật khối xây dựng trên cấp số nhân cyclic của vành đa thức, kết hợp các lưu đồ kinh điển (Feistel và Lai-Massey) nhằm tối ưu hóa độ khuếch tán và khả năng chống lại tấn công ngày sinh nhật (birthday attack).

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

Cơ sở lý thuyết

  1. Đại số vành đa thức và Cấp số nhân Cyclic (CGP):

    • Xét vành đa thức $\mathbb{Z}_2[x]/(x^n - 1)$ với $n$ lẻ. Nhóm nhân của vành đa thức tồn tại phần tử đơn vị lũy đẳng $e(x)$. Tổng cộng có $2^{n-2}$ nhóm nhân cyclic cấp $n$. Nhóm nhân cyclic đơn vị ký hiệu là $I$.
    • Cấp số nhân cyclic (Cyclic Geometric Progressions - CGP) trên vành đa thức là tập con có dạng: $$A(a, q) = {a(x), a(x)q(x), a(x)q^2(x), \dots, a(x)q^{m-1}(x)}$$ Trong đó $a(x)$ là số hạng đầu, $q(x)$ là công bội (hạt nhân phân hoạch). Khi chọn $a(x) = 1$, cấp số nhân cyclic có dạng $A(1, q) = {1, q(x), q^2(x), \dots, q^{m-1}(x)}$ với $q^m(x) = q^0(x) = 1$.
    • Phân hoạch vành đa thức phân chia vành thành các lớp kề không giao nhau (phân hoạch chuẩn theo $I = {x, x^2, \dots, x^{n-1}, 1}$, phân hoạch cực đại, phân hoạch cực tiểu).

  2. Hệ mật mã khóa bí mật và khóa công khai:

    • Khóa bí mật: Mã hoán vị ($e_\pi(x_1, \dots, x_m) = (x_{\pi(1)}, \dots, x_{\pi(m)})$), mã dịch vòng ($e_k(x) = x + k \bmod 26$), mã thay thế; lưu đồ Feistel 16 vòng ($L_i = R_{i-1}, R_i = L_{i-1} \oplus f(R_{i-1}, K_i)$); lưu đồ Lai-Massey 16 vòng ($ML_i = ML_{i-1} \oplus f(ML_{i-1} \boxminus MR_{i-1}), MR_i = MR_{i-1} \oplus f(ML_{i-1} \boxminus MR_{i-1})$ với phép toán cộng đảo $\boxminus$); Chuẩn mã dữ liệu DES (khối 64 bít, khóa 56 bít, hoán vị IP, $IP^{-1}$, hàm mở rộng E 32 lên 48 bít, 8 hộp S $S_1 \dots S_8$, hoán vị P, tạo bảng khóa PC-1 và PC-2; các chế độ ECB, CBC, CFB, OFB).
    • Khóa công khai: Dựa trên 7 bài toán một chiều (DLP, IFP, KP, CRCP, ECP, SVP, RLWE). Luận án khảo sát chi tiết hệ mật RSA ($n = pq, \phi(n) = (p-1)(q-1), ed \equiv 1 \bmod \phi(n)$, số mũ vạn năng $\lambda(n) = \text{BCNN}(p-1, q-1)$), hệ mật ElGamal (trên nhóm nhân $\mathbb{Z}_p^*$, khóa bí mật $a$, khóa công khai $(p, \alpha, \alpha^a \bmod p)$), hệ mật McEliece (dựa trên mã sửa sai Goppa $C(n, k, d)$ với $n = 2^m, d = 2t+1, k = n - mt$, tham số đề nghị $(1024, 524, 101)$ qua ma trận sinh công khai $G' = SGP$), và hệ mật Pohlig-Hellman dựa trên Logarit rời rạc.

  3. Lý thuyết hàm băm và các thuộc tính an toàn:

    • Hàm băm $h$ ánh xạ đầu vào độ dài tùy ý thành đầu ra $n$ bít cố định, thỏa mãn tính nén và dễ tính toán.
    • Các thuộc tính bảo mật: Khó tìm nghịch ảnh (One-Way Hash Function - OWHF), khó tìm nghịch ảnh thứ hai, kháng va chạm (Collision Resistant Hash Function - CRHF).
    • Hàm băm có khóa (Mã xác thực thông báo - MAC chế độ CBC có bước xử lý khóa phụ $k'$) và hàm băm không khóa (Mã phát hiện thao tác - MDC).
    • Các sơ đồ cấu trúc: Độ dài đơn (Matyas-Mayer-Oseas, Davies-Mayer, Miyaguchi-Preneel); độ dài kép (MDC-2, MDC-4).
    • Độ khuếch tán (Diffusion): Thước đo khoảng cách Hamming trung bình $d_H$ giữa các bản mã hoặc giá trị băm khi thay đổi 1 bít đầu vào hoặc 1 bít khóa; đạt trạng thái lý tưởng khi $d_H$ tiệm cận 50% tổng số bít đầu ra.
Yếu tố phân tích Hệ mật / Hàm băm truyền thống Đề xuất trong Luận án
Cấu trúc hàm vòng Hộp S-box cố định (DES, AES) Cấp số nhân cyclic trên vành đa thức $\mathbb{Z}_2[x]/(x^n-1)$
Lưu đồ mật mã Feistel đơn hoặc Lai-Massey đơn Kết hợp Lai-Massey với Feistel
Độ dài mã băm 128 bít (MD5, MDC-2), 160 bít (SHA-1) Mở rộng 384–512 bít (MDC-3, MDC 512 bít)
Tiêu chí đánh giá Kháng va chạm, tốc độ Kháng va chạm kết hợp đo đạc độ khuếch tán Hamming

Phương pháp nghiên cứu thực tế

  • Phương pháp giải tích: Thiết lập mô hình toán học đại số trừu tượng, phân tích cấu trúc nhóm nhân cyclic, cấp số nhân cyclic và ánh xạ đa thức trong vành thương.
  • Phương pháp mô phỏng: Lập trình mô phỏng các thuật toán mật mã khối và sơ đồ băm trên máy tính, thực hiện các kịch bản thay đổi bản rõ và khóa để tính toán đầu ra.
  • Phương pháp thực nghiệm: Đo đạc thống kê khoảng cách Hamming ($d_H$) qua nhiều chuỗi thử nghiệm (ví dụ 10 lần tính toán độc lập), xác định trọng số khóa và kiểm tra độ khuếch tán thực tế của các khối mã.

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

Chương I: Tổng quan về mật mã và hàm băm

Chương này trình bày toàn diện bức tranh tổng quan về kỹ thuật mật mã và hàm băm làm cơ sở khoa học cho toàn bộ luận án:

  • Phân tích chi tiết phương pháp xây dựng các hệ mật khóa bí mật: mã hoán vị, mã thay thế (dịch vòng), lưu đồ Feistel 16 vòng, lưu đồ Lai-Massey với phép toán hiệu đảo, chuẩn mã dữ liệu DES (toàn bộ cấu trúc hộp S1–S8, hoán vị mở rộng E, hoán vị IP, $IP^{-1}$, sơ đồ sinh khóa con PC-1, PC-2) cùng 4 chế độ hoạt động (ECB, CBC, CFB, OFB).
  • Trình bày toán học các hệ mật khóa công khai điển hình giải quyết các bài toán khó: hệ mật RSA (phân tích thừa số nguyên tố), hệ mật ElGamal (logarit rời rạc) và hệ mật McEliece (giải mã đại số mã Goppa ma trận $G' = SGP$).
  • Hệ thống hóa phân loại hàm băm: phân biệt hàm băm có khóa (MAC) và không khóa (MDC: OWHF, CRHF); mô tả chi tiết các sơ đồ độ dài đơn Matyas-Mayer-Oseas, Davies-Mayer, Miyaguchi-Preneel và sơ đồ độ dài kép MDC-2, MDC-4; chỉ ra 3 phương pháp bảo đảm toàn vẹn dữ liệu (chỉ dùng MAC, dùng MDC kết hợp mã hóa, dùng MDC qua kênh tin cậy).
  • Xây dựng cơ sở lý thuyết đại số về nhóm nhân của vành đa thức, cấu trúc các cấp số nhân cyclic cấp $n$ trên vành $\mathbb{Z}_2[x]/(x^n - 1)$ với $n$ lẻ (tổng số $2^{n-2}$ nhóm nhân cyclic) và các kỹ thuật phân hoạch vành đa thức theo nhóm nhân đơn vị $I$.

Chương II: Xây dựng các hàm băm mới

Chương II tập trung khảo sát tiền đề và thiết kế các hàm băm mới ứng dụng đại số cấp số nhân cyclic:

  • Hàm băm dựa trên hệ mật theo sơ đồ Lai-Massey: Đề xuất hệ mật khối sử dụng cấp số nhân cyclic đưa vào hàm vòng $f$ (với đa thức mã hóa ví dụ $a(x) = 1 + x + x^2$) kết hợp cấu trúc Lai-Massey, từ đó xây dựng hàm băm tương ứng.
  • Hàm băm dựa trên hệ mật mã lai ghép: Khảo sát bài toán Logarit rời rạc và hệ mật Pohlig-Hellman, đề xuất phương pháp xây dựng hệ mật mã lai ghép và chứng minh khả năng chuyển đổi cấu trúc này thành hàm băm an toàn.
  • Hàm băm sử dụng các cấp số nhân cyclic: Xây dựng sơ đồ hàm băm MDC-2 tích hợp lưu đồ Feistel cải tiến. Tiến hành mô phỏng và đo đạc thực nghiệm khoảng cách Hamming giữa các cặp bản mã $d_H(C_1, C_i)$ và giữa các cặp giá trị băm $d_H(MD_1, MD_i)$ khi thay đổi dữ liệu đầu vào hoặc thay đổi khóa.
Bảng thực nghiệm Chương II (trích dẫn) Đại lượng đo Mục đích kiểm chứng
Bảng 2.1 & 2.2 Khoảng cách Hamming $d_H(C_1, C_i)$ Độ biến đổi của bản mã khi thay đổi dữ liệu
Bảng 2.3 Khoảng cách Hamming $d_H(MD_1, MD_i)$ Độ nhạy và tính khuếch tán của giá trị băm
Bảng 2.4 Hàm mũ và Logarit rời rạc cơ số 2 Tính toán các phần tử trong hệ mật lai ghép
Bảng 2.5 & 2.6 Hoán vị ban đầu (IP) và đảo ($IP^{-1}$) Bảng tham số hoán vị trong mô phỏng

Chương III: Xây dựng một lớp các hàm băm mở rộng mới

Chương III là phần đóng góp cốt lõi của luận án, tập trung giải quyết bài toán mở rộng chiều dài mã băm và tối ưu hóa độ khuếch tán:

  • Xây dựng hàm băm mở rộng mới MDC-3: Đề xuất cấu trúc băm MDC-3 (mở rộng từ MDC-2) sử dụng 3 khối mã hóa song song kết hợp móc xích chéo để tăng cường sự phụ thuộc giữa các khối bít dữ liệu.
  • Hàm băm dựa trên hệ mật mã khối kết hợp sơ đồ Lai-Massey với Feistel: Thiết kế cấu trúc hệ mật khối lai kết hợp đồng thời ưu điểm xử lý phi tuyến của Lai-Massey và tính đảo chiều hiệu quả của Feistel (sử dụng mạch khối mã hóa $f$ với khóa con đa thức như $K_1 = 1 + x^4 + x^5$), từ đó thiết lập hàm băm trên cơ sở hệ mật kết hợp này.
  • Xây dựng hàm băm mở rộng mới MDC 512 bít:
    • Thiết kế và mô tả chi tiết hệ mật mã khối 256 bít (sử dụng mạch mã hóa với đa thức $m_i = 1 + x^3 + x^{63}$).
    • Đánh giá định lượng độ khuếch tán của hệ mật qua khoảng cách Hamming $d_H(C_0, C_i)$ và $d_H(MD_0, MD_i)$.
    • Thực hiện 10 lần đo thực nghiệm tính toán độ khuếch tán của hàm băm khi thay đổi bản rõ và thay đổi khóa.
    • Hoàn thiện sơ đồ hàm băm không khóa 512 bít đáp ứng tiêu chuẩn kháng va chạm cao.
Bảng thực nghiệm Chương III (trích dẫn) Nội dung thống kê thực nghiệm
Bảng 3.1 & 3.2 Bảng hoán vị ban đầu (IP) và hoán vị đảo ($IP^{-1}$) cho khối mở rộng
Bảng 3.3 & 3.4 Khoảng cách Hamming $d_H(MD_0, MD_i)$ của các bản tin và 8 mã băm
Bảng 3.5 Trọng số của các khóa tại các bước băm
Bảng 3.6 – 3.9 Khoảng cách Hamming $d_H(C_0, C_i)$ giữa các cặp bản mã và mã băm
Bảng 3.10 – 3.14 Kết quả 10 lần tính toán độ khuếch tán của hệ mật và hàm băm

Chương IV: Khả năng ứng dụng của hàm băm xây dựng mới

Chương IV đề xuất và phân tích chi tiết các mô hình ứng dụng thực tiễn của lớp hàm băm mở rộng:

  • Kiểm tra tính toàn vẹn của thông điệp:
    • Tích hợp hàm băm mở rộng vào quy trình tạo và kiểm tra chữ ký số (sơ đồ chữ ký số RSA không bí mật bản tin và RSA có bí mật bản tin).
    • Ứng dụng trong thủ tục chữ ký kép (dual signature) phục vụ các giao dịch thương mại điện tử bảo mật cao: phân định dữ liệu đơn hàng cho phía Cửa hàng kiểm tra và thông tin thanh toán cho phía Ngân hàng xác thực mà không làm lộ thông tin riêng tư giữa các bên.
    • Lược đồ gắn nhãn mã băm (hash labeling) nhằm quản lý và xác thực tính toàn vẹn của các khối dữ liệu truyền thông.
  • Bảo vệ mật khẩu: Thiết lập kiến trúc sử dụng hàm băm mở rộng 512 bít để lưu trữ và đối soát xác thực mật khẩu người dùng trong hệ thống máy chủ, triệt tiêu nguy cơ thám mã dò ngược mật khẩu nhờ đặc tính một chiều và khó tìm tiền ảnh.

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

  • Đóng góp về mặt lý luận:

    1. Đề xuất phương pháp khai thác cấu trúc cấp số nhân cyclic (CGP) và các dạng phân hoạch trên vành đa thức $\mathbb{Z}_2[x]/(x^n - 1)$ để thiết kế các hàm vòng $f$ trong mật mã khối, cung cấp nguồn khóa phong phú và mạch phần cứng thực thi đơn giản.
    2. Xây dựng mô hình mật mã khối lai ghép kết hợp giữa lưu đồ Feistel và lưu đồ Lai-Massey, tạo ra tính phi tuyến cao và khắc phục nhược điểm của từng cấu trúc riêng lẻ.
    3. Phát triển thành công lý thuyết thiết kế lớp hàm băm mở rộng MDC-3 và hàm băm không khóa 512 bít dựa trên hệ mật khối 256 bít, mở rộng không gian đầu ra chống tấn công ngày sinh nhật.

  • Đóng góp về mặt thực tiễn và giải pháp đề xuất:

    1. Cung cấp các thuật toán hàm băm mở rộng có tính khuếch tán cao, được kiểm chứng qua mô phỏng với khoảng cách Hamming $d_H$ đạt xấp xỉ 50% số bít đầu ra sau các bước lặp.
    2. Đề xuất hoàn chỉnh các giải pháp ứng dụng: lược đồ chữ ký kép RSA cho giao dịch thương mại điện tử ba bên (Khách hàng – Cửa hàng – Ngân hàng), lược đồ gắn nhãn mã băm và giải pháp lưu trữ xác thực mật khẩu an toàn.
    3. Kiến nghị phát triển các bộ sinh khóa và hàm mã hóa trên phần cứng chuyên dụng nhằm tối ưu hóa tốc độ băm cho các hệ thống viễn thông thực tế.

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

  • Hạn chế:

    • Nghiên cứu tập trung chủ yếu trên vành đa thức $\mathbb{Z}_2[x]/(x^n - 1)$ với $n$ lẻ, chưa mở rộng khảo sát trên các cấu trúc trường hữu hạn tổng quát hay các lớp vành đa thức phức tạp hơn.
    • Các đánh giá độ khuếch tán và hiệu năng chủ yếu được thực hiện thông qua mô phỏng phần mềm máy tính, chưa triển khai đo đạc thực tế trên các vi mạch phần cứng chuyên dụng (FPGA/ASIC).

  • Kiến nghị hướng phát triển:

    • Tiếp tục nghiên cứu mở rộng ứng dụng cấp số nhân cyclic trên các lớp vành đa thức và cấu trúc đại số khác.
    • Tối ưu hóa thuật toán để tăng tốc độ tính toán băm và giảm tài nguyên xử lý khi nhúng vào các thiết bị phần cứng viễn thông có cấu hình hạn chế.

Giá trị tham khảo

  • Đối tượng thụ hưởng:
    • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Mật mã học, An toàn thông tin, Toán ứng dụng và Kỹ thuật Viễn thông.
    • Các kỹ sư an toàn mạng, chuyên gia phát triển hệ thống xác thực dữ liệu số, chữ ký số và bảo mật giao dịch thương mại điện tử.
  • Nội dung có giá trị tham khảo cao:
    • Phương pháp xây dựng cấp số nhân cyclic trên vành đa thức ứng dụng trong mật mã khối.
    • Thiết kế cấu trúc băm mở rộng MDC-3 và sơ đồ băm 512 bít.
    • Bộ số liệu thực nghiệm đo đạc khoảng cách Hamming ($d_H$) và quy trình kiểm tra độ khuếch tán của hàm băm.
    • Lược đồ tích hợp chữ ký kép trong thương mại điện tử.

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

1. Cấp số nhân cyclic (CGP) trên vành đa thức được định nghĩa thế nào trong luận án?
Cấp số nhân cyclic trên vành đa thức $\mathbb{Z}_2[x]/(x^n - 1)$ (với $n$ lẻ) là tập hợp con có dạng $A(a, q) = {a(x), a(x)q(x), a(x)q^2(x), \dots, a(x)q^{m-1}(x)}$, trong đó $a(x)$ là số hạng đầu, $q(x)$ là công bội (hạt nhân phân hoạch) và $q^m(x) = 1$. Khi $a(x) = 1$, cấp số nhân cyclic có dạng $A(1, q) = {1, q(x), \dots, q^{m-1}(x)}$.

2. Tại sao luận án tập trung phát triển các hàm băm mở rộng có độ dài 384–512 bít?
Do các hàm băm 128 bít (MD5, MDC-2) và 160 bít (SHA-1) đã bị tấn công va chạm thành công bởi các kỹ thuật tính toán phân tán (như công bố của nhóm chuyên gia Trung Quốc năm 2005 chỉ cần $2^{63}$ phép toán). Để chống lại tấn công ngày sinh nhật (birthday attack) trong bối cảnh năng lực vi xử lý máy tính tăng nhanh, độ dài mã băm tối thiểu cần đạt từ 384 đến 512 bít.

3. Lưu đồ Lai-Massey khác biệt như thế nào so với lưu đồ Feistel trong cấu trúc mã khối?
Trong khi lưu đồ Feistel chia đôi dữ liệu và đưa nửa phải vào hàm $f$ để cộng modulo 2 với nửa trái, lưu đồ Lai-Massey áp dụng hàm vòng $f$ lên hiệu đảo của hai nửa dữ liệu ($ML_{i-1} \boxminus MR_{i-1}$), sau đó kết quả đầu ra của hàm $f$ được cộng đồng thời vào cả hai nửa để tạo ra khối dữ liệu cho vòng tiếp theo ($ML_i$ và $MR_i$).

4. Tiêu chí nào được luận án sử dụng để đánh giá độ khuếch tán của hệ mật và hàm băm?
Luận án sử dụng khoảng cách Hamming trung bình ($d_H$) giữa các cặp bản mã hoặc giữa các cặp giá trị băm khi thay đổi 1 bít đầu vào hoặc thay đổi khóa. Độ khuếch tán đạt mức tối ưu khi khoảng cách này tiệm cận 50% tổng số bít của khối đầu ra.

5. Lược đồ chữ ký kép trong Chương IV giải quyết bài toán gì trong thương mại điện tử?
Lược đồ chữ ký kép sử dụng hàm băm mở rộng để liên kết thông tin đơn hàng và thông tin thanh toán của khách hàng. Cấu trúc này cho phép Cửa hàng kiểm tra chữ ký xác thực đơn hàng mà không đọc được thông tin thẻ ngân hàng, đồng thời Ngân hàng xác thực được lệnh thanh toán mà không cần biết nội dung chi tiết đơn hàng.

Kết luận

Luận án Tiến sĩ của tác giả Nguyễn Toàn Thắng đã nghiên cứu giải quyết toàn diện bài toán thiết kế hệ mật khối và hàm băm mở rộng dựa trên lý thuyết đại số cấp số nhân cyclic trên vành đa thức. Công trình đã xây dựng thành công các cấu trúc hàm băm mới, nổi bật là sơ đồ mở rộng MDC-3 và hàm băm không khóa 512 bít kết hợp giữa lưu đồ Feistel và Lai-Massey, có độ khuếch tán Hamming đạt mức tối ưu qua mô phỏng thực nghiệm. Kết quả nghiên cứu không chỉ đóng góp về mặt lý thuyết mật mã đại số mà còn mở ra các giải pháp ứng dụng thiết thực trong kiểm tra toàn vẹn dữ liệu, chữ ký kép thương mại điện tử và bảo vệ mật khẩu hệ thống.