TỔNG QUAN VÀ MÔ TẢ HỌC THUẬT: GIÁO TRÌNH CƠ SỞ MẬT MÃ HỌC
- Tên tài liệu: Giáo trình Cơ sở Mật mã học
- Chủ biên: GS.TS. Nguyễn Bình
- Cộng tác viên: TS. Ngô Đức Thiện
- Đơn vị biên soạn: Khoa Kỹ thuật Điện tử 1 – Học viện Công nghệ Bưu chính Viễn thông (Hà Nội, 2013)
- Cấp độ đào tạo: Đại học và Sau đại học (Ngành Kỹ thuật Điện tử, Công nghệ Thông tin, An toàn Thông tin)
1. Tổng quan về giáo trình (250-300 từ)
Giáo trình Cơ sở Mật mã học do GS.TS. Nguyễn Bình chủ biên và TS. Ngô Đức Thiện cộng tác biên soạn, được xuất bản năm 2013 phục vụ chương trình đào tạo kỹ sư và học viên cao học tại Học viện Công nghệ Bưu chính Viễn thông. Môn học giữ vị trí nền tảng trong khối kiến thức an toàn thông tin và kỹ thuật truyền thông số, cung cấp cơ sở toán học và giải thuật cho các cơ chế bảo mật dữ liệu.
Mục tiêu học tập của giáo trình là trang bị cho người học kiến thức có hệ thống về ba dịch vụ an toàn thông tin cơ bản: bảo mật tính bí mật (Confidentiality), xác thực nguồn gốc (Authentication) và đảm bảo tính toàn vẹn dữ liệu (Integrity). Người học được đào tạo để phân tích nguyên lý giải thuật, đánh giá độ phức tạp tính toán và ứng dụng các kỹ thuật mã hóa vào các hệ thống truyền dẫn số.
Giáo trình được cấu trúc thành 6 chương lý thuyết kèm hệ thống câu hỏi, bài tập sau mỗi chương và 1 phần phụ lục cung cấp mã nguồn thuật toán DES. Cách tiếp cận của tài liệu đi từ mô hình toán học giải tích (Đại số tuyến tính, Lý thuyết thông tin Shannon, Lý thuyết độ phức tạp tính toán) đến việc mô tả chi tiết cơ chế hoạt động của từng thuật toán mật mã cụ thể. Điểm đặc sắc của giáo trình nằm ở việc tập trung vào tính chính xác toán học, lược bỏ các phần thám mã chuyên sâu để định hướng người học vào việc hiểu rõ cấu trúc bên trong của các thuật toán đang lưu hành cũng như các chuẩn mã hóa trong thực tế.
2. Nội dung kiến thức cốt lõi (500-600 từ)
Các chương và chủ đề chính
Giáo trình phân bổ nội dung theo tiến trình từ cơ sở lý thuyết đến thuật toán và ứng dụng thực tế qua 6 chương:
- Chương 1: Nhập môn mật mã học: Trình bày sơ đồ khối hệ thống thông tin số; phân loại thám mã thành thám mã thụ động (thu chặn, so sánh tương quan) và thám mã tích cực (giả mạo, sử dụng lại); các mô hình tấn công (chỉ có bản mã, biết bản rõ, chọn bản rõ, chọn bản mã); độ phức tạp tính toán ($O$-lớn, thời gian đa thức $O(k^d)$, thời gian dưới mũ, thời gian mũ); lý thuyết thông tin trong hệ mật theo công trình của Claude Shannon (1949), định nghĩa độ mật hoàn thiện, đại lượng Entropy $H(X)$, bất đẳng thức Jensen, Entropy có điều kiện $H(K|C)$, số khóa giả $s_n$ và khoảng duy nhất $n_0$.
- Chương 2: Mật mã khóa bí mật: Khảo sát hệ mật bộ năm $(P, C, K, E, D)$ với các kỹ thuật cổ điển: Mã dịch vòng (MDV), Mã thay thế đơn biểu (MTT), Mã Vigenère, Mã Affine (dựa trên số học modulo và hàm phi-Euler $\phi(m)$), Mã hoán vị (MHV), Mã Hill của Lester S. Hill trên ma trận khả nghịch $Z_{26}$. Chương này cũng trình bày hệ mật xây dựng trên cấp số nhân xyclic của vành đa thức $Z_2[x]/(x^n-1)$, ma trận luân hoàn thuộc nhóm tuyến tính $GL(n, GF(2))$, sơ đồ mã dòng M-dãy, cùng hai chuẩn mã khối: Chuẩn mã dữ liệu DES (Data Encryption Standard) và Chuẩn mã dữ liệu tiên tiến AES (Advanced Encryption Standard).
- Chương 3: Mật mã khóa công khai: Xây dựng trên cơ sở số học modulo (ký hiệu Legendre, Jacobi, số Blum) và các bài toán một chiều: Bài toán Logarit rời rạc; Bài toán phân tích thừa số nguyên tố (Hệ mật RSA của Rivest – Shamir – Adleman, Hệ mật Rabin); Bài toán xếp ba lô (Hệ mật Merkle – Hellman, Hệ mật Chor – Rivest); Bài toán mã sửa sai (Hệ mật McEliece); và Hệ mật trên đường cong Elliptic (ECC) trên trường Galois.
- Chương 4: Hàm băm, xác thực và chữ ký số: Khái niệm hàm băm không khóa (MDC), tính toàn vẹn dữ liệu, sơ đồ chữ ký số RSA, hệ mật dựa trên định danh và sơ đồ trao đổi khóa Okamoto – Tanaka.
- Chương 5: Các thủ tục và các chú ý trong thực tế khi sử dụng mã hóa: Định nghĩa thủ tục (có trọng tài, có phán xét, tự ràng buộc); các bài toán giao thức: phân phối khóa, giao kèo khóa, chơi bài qua thư tín, bỏ phiếu bằng máy tính, chuyển giao không nhớ (oblivious transfer), thư tín chứng thực; các chế độ vận hành khối (CBC, CFB); các vấn đề lan truyền sai và kích thước bản mã.
- Chương 6: Các chuẩn và áp dụng: Phân tích giao thức bảo mật thư điện tử PGP (Pretty Good Privacy), chuẩn giao dịch điện tử an toàn SET (Secure Electronic Transaction) và ứng dụng xác thực mạng Kerberos.
Kiến thức nền tảng được xây dựng
Giáo trình thiết lập ba khối kiến thức nền tảng toán học và thuật toán:
- Lý thuyết thông tin và xác suất: Khái niệm Entropy Shannon, phân bố xác suất tiên nghiệm $p_P(x)$, phân bố xác suất hậu nghiệm $p_P(x|y)$, định lý Bayes và bất đẳng thức Jensen áp dụng trong chứng minh độ an toàn không điều kiện của hệ mật Vernam One-Time Pad (OTP 1917).
- Đại số trừu tượng và Lý thuyết số: Cấu trúc nhóm, vành đa thức $Z_2[x]/(x^n-1)$ với $n=2^k$, lý thuyết ma trận khả nghịch trên vành số nguyên, hàm phi-Euler $\phi(m)$, thặng dư bậc hai, nhóm điểm trên đường cong Elliptic qua trường hữu hạn Galois $GF(2^m)$.
- Lý thuyết độ phức tạp tính toán: Phân loại bài toán đa thức $P$, các bài toán phân tích thừa số nguyên tố, bài toán logarit rời rạc và bài toán xếp ba lô thuộc lớp bài toán khó tính toán.
Kỹ năng phát triển
- Kỹ năng kỹ thuật: Tính toán ma trận nghịch đảo modulo 26, tính hàm modulo ngược, cài đặt các bước hoán vị, thay thế S-box, sinh khóa con trong chuẩn DES và giải thuật mã dòng.
- Kỹ năng phân tích: Đánh giá độ an toàn tính toán dựa trên không gian khóa, tính khoảng duy nhất $n_0$ để ước lượng độ dài bản mã tối thiểu chống tấn công vét cạn, và phân tích độ bất định khóa $H(K|C)$.
- Kỹ năng thiết kế hệ thống: Lựa chọn chế độ khối (CBC, CFB) phù hợp với kênh truyền có lỗi, tích hợp cơ chế chữ ký số và quản lý giao thức khóa trong các hệ thống ứng dụng mạng.
3. Phương pháp giảng dạy và học tập (300-350 từ)
Giáo trình áp dụng phương pháp sư phạm diễn dịch kết hợp giữa chứng minh định lý toán học thuần túy và minh họa từng bước bằng các ví dụ số học cụ thể. Sau khi định nghĩa hình thức một hệ mật theo bộ năm $(P, C, K, E, D)$, tác giả triển khai các ví dụ thao tác trực tiếp trên chuỗi văn bản (ví dụ: mã hóa chuỗi "meet me at sunset" bằng mã Caesar, mã thay thế ngẫu nhiên, mã Vigenère với từ khóa "CIPHER", mã Affine $e_k(x) = 7x+3 \pmod{26}$, và mã Hill trên ma trận cấp $2 \times 2$ cho chuỗi "July").
Hệ thống bài tập sau mỗi chương được thiết kế thành hai nhóm chính:
- Bài tập tính toán đại số: Yêu cầu người học thực hiện mã hóa, giải mã, tìm khóa nghịch đảo, và xác định bảng hoán vị trên các không gian dữ liệu cụ thể.
- Bài tập chứng minh lý thuyết: Yêu cầu chứng minh các bổ đề về độ mật hoàn thiện (như chứng minh hệ mật xây dựng từ hình vuông Latin có độ mật hoàn thiện, chứng minh mã Affine đạt độ mật hoàn thiện, hoặc chứng minh bất đẳng thức entropy $H(X, Y) \le H(X) + H(Y)$ dựa trên bất đẳng thức Jensen).
Về phương pháp đánh giá, tài liệu hỗ trợ giảng viên xây dựng các bài kiểm tra tự luận đánh giá năng lực suy luận logic, giải thuật số học modulo, và khả năng lập trình mô phỏng. Đối với tự học, giáo trình yêu cầu người đọc thực hiện lại các bước tính toán trung gian trong các ví dụ mẫu, đồng thời đối chiếu thuật toán mô tả trong Chương 2 với mã nguồn C chi tiết của chuẩn DES tại Phụ lục 1 để hiểu sâu về mặt cài đặt phần mềm.
4. Điểm nổi bật và cập nhật (250-300 từ)
Giáo trình Cơ sở Mật mã học (2013) ghi nhận và hệ thống hóa nhiều nội dung học thuật quan trọng:
- Tích hợp các trường phái mật mã học đa dạng: Bên cạnh các hệ mật công khai kinh điển như RSA, giáo trình trình bày chi tiết các hệ mật ít phổ biến hơn trong các tài liệu đại cương nhưng có giá trị học thuật cao như: hệ mật Merkle – Hellman và Chor – Rivest (dựa trên bài toán xếp ba lô), hệ mật McEliece (dựa trên mã sửa sai), và hệ mật Rabin.
- Nghiên cứu ứng dụng của vành đa thức: Giáo trình đưa vào nội dung nghiên cứu chuyên sâu về các cấp số nhân xyclic trên vành đa thức $Z_2[x]/(x^n-1)$ với $n=2^k$ và cấu trúc ma trận luân hoàn, liên kết giữa đại số ma trận và lý thuyết mật mã.
- Cập nhật các chuẩn và giao thức công nghiệp: Nội dung giáo trình tích hợp các chuẩn mã hóa hiện đại như AES (thay thế DES), kiến trúc PGP trong bảo mật thư điện tử, chuẩn giao dịch thanh toán thẻ SET, và giao thức xác thực Kerberos.
- Gắn kết giữa lý thuyết và hiện thực mã nguồn: Giáo trình cung cấp toàn bộ chương trình nguồn bằng ngôn ngữ lập trình C cho thuật toán DES trong phần Phụ lục 1, cho phép đối chiếu trực tiếp giữa sơ đồ khối lý thuyết và mã lệnh thực thi.
5. Đối tượng sử dụng giáo trình (200-250 từ)
- Sinh viên chuyên ngành: Tài liệu được biên soạn cho sinh viên từ năm thứ ba trở đi thuộc các ngành Kỹ thuật Điện tử – Truyền thông, Công nghệ Thông tin, An toàn Thông tin và Mạng máy tính.
- Học viên sau đại học: Học viên cao học và nghiên cứu sinh có thể sử dụng các nội dung về Lý thuyết thông tin Shannon (Chương 1), Cấu trúc đại số trên vành đa thức (Chương 2), và Mật mã đường cong Elliptic (Chương 3) làm tài liệu cơ sở phục vụ các hướng nghiên cứu chuyên sâu.
- Kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành các học phần Toán cao cấp bao gồm: Đại số tuyến tính (phép tính ma trận, định thức, không gian vector), Xác suất thống kê (biến ngẫu nhiên, xác suất có điều kiện), Cấu trúc dữ liệu và giải thuật, cùng kỹ năng lập trình cơ bản bằng ngôn ngữ C/C++.
- Giảng viên và kỹ sư thực hành: Giảng viên có thể sử dụng sách làm đề cương chi tiết cho môn học Cơ sở Mật mã học. Các kỹ sư hệ thống mạng và lập trình viên an toàn thông tin có thể sử dụng tài liệu làm sổ tay tham khảo khi triển khai các chế độ mã khối (CBC, CFB), hàm băm và giao thức phân phối khóa.
6. Câu hỏi thường gặp (250-300 từ)
1. Giáo trình này phù hợp với đối tượng nào?
Giáo trình phục vụ trực tiếp cho sinh viên đại học năm 3, năm 4, học viên cao học các ngành Điện tử, Viễn thông, Công nghệ Thông tin, An toàn Thông tin và các kỹ sư phần mềm muốn nắm vững nền tảng thuật toán mật mã.
2. Cần chuẩn bị kiến thức nền tảng nào trước khi học?
Người học cần nắm vững kiến thức Đại số tuyến tính (ma trận, hệ phương trình tuyến tính), Số học modulo (ước chung lớn nhất, số nguyên tố, nghịch đảo modular), Lý thuyết xác suất cơ bản và ngôn ngữ lập trình C.
3. Giáo trình có điểm gì khác biệt so với các tài liệu mật mã thông thường?
Tài liệu trình bày chặt chẽ cơ sở Lý thuyết thông tin của Shannon (Entropy, khoảng duy nhất, độ mật hoàn thiện), khảo sát cả các hệ mật trên vành đa thức $Z_2[x]/(x^n-1)$, hệ mật ba lô Chor – Rivest và hệ mật McEliece, thay vì chỉ giới hạn ở DES, AES và RSA.
4. Phương pháp tự học giáo trình như thế nào để đạt hiệu quả?
Người học nên tự tay giải lại các ví dụ số học (mã Affine, mã Hill, tính Entropy), hoàn thành các bài tập chứng minh toán học sau mỗi chương, và đọc mã nguồn C của DES trong Phụ lục 1 để hiểu rõ cách tổ chức dữ liệu dạng bit.
5. Có tài liệu bổ trợ nào kèm theo giáo trình không?
Giáo trình đi kèm phần Phụ lục 1 chứa mã nguồn hoàn chỉnh của thuật toán DES. Về mảng thám mã và phân tích mã (cryptanalysis), giáo trình hướng dẫn người đọc tham khảo thêm các tài liệu chuyên khảo được liệt kê tại danh mục tài liệu tham khảo [1], [2], [3].
7. Kết luận (150 từ)
Giáo trình Cơ sở Mật mã học của GS.TS. Nguyễn Bình và TS. Ngô Đức Thiện cung cấp một hệ thống lý thuyết chuẩn xác và toàn diện về khoa học mật mã. Giáo trình kết nối thành công giữa nền tảng giải tích toán học (Lý thuyết thông tin Shannon, Đại số tuyến tính, Số học Modulo) với các chuẩn mã hóa hiện đại (DES, AES, RSA, ECC) và giao thức mạng ứng dụng (PGP, SET, Kerberos).
Lộ trình tiếp cận nội dung được đề xuất đi từ việc nắm vững mô hình toán học và lý thuyết thông tin ở Chương 1, thực hành giải thuật mã hóa đối xứng và bất đối xứng ở Chương 2 và Chương 3, đến triển khai các dịch vụ toàn vẹn, giao thức và chuẩn bảo mật ở Chương 4, 5, 6 và Phụ lục mã nguồn. Người học có thể mở rộng nghiên cứu về mảng thám mã thông qua các tài liệu chuyên khảo bổ trợ được định hướng trong giáo trình.