Đồ Án Nghiên cứu một số lược đồ xác thực từ xa và giao thức trao đổi khóa ba bên dựa trên mật khấu

Mục lục
LỜI NÓI ĐẦU 8
Chương 1. 10
HÀM BĂM,CHỮ KÝ SỐ 10
I.Hàm băm 10
1.Khái niệm 10
2.Phân loại hàm băm 11
II.Chữ ký số. 14
2.1.Khái niệm chữ ký số. 14
2.2.Các phương pháp tạo chữ ký số. 14
2.3.Một số lược đồ chữ ký số. 15
Chương 2. 21
GIAO THỨC XÁC THỰC 21
I.Khái niệm xác thực. 21
1.Xác thực nguồn gốc dữ liệu. 21
2.Xác thực thực thể. 22
3.Trao đổi khóa dựa trên xác thực. 23
4.Tấn công trên giao thức xác thực. 23
II.Những kỹ thuật xác thực cơ bản : 24
1 Tính tươi của thông báo và tính sống của thực thể : 24
2.Xác thực lẫn nhau. 28
3 Xác thực liên quan đến bên thứ ba tin cậy : 30
4.Xác thực dựa trên mật khẩu : 32
5.Tấn công trên giao thức xác thực. 37
Chương 3. 50
THIẾT LẬP KHÓA 50
1.Lý thuyết cơ bản. 50
1.1.Khái niệm 50
1.2.Độ tươi của khóa và sinh khóa(key freshness và key derivation) 50
1.3.Vấn đề n[SUP]2[/SUP]. 52
II.Một số lược đồ thiết lạp khóa dùng chung. 53
1.Dựa trên hệ mật khóa bí mật 53
2.Dựa trên hệ mật khóa công khai 59
Chương 4. 65
TRAO ĐỔI KHÓA DỰA TRÊN MẬT KHẨU 65
I.Tổng quan về trao đổi khóa ba bên. 65
II.Giao thức trao đổi khóa dựa trên mật khẩu đơn giản. 66
1.Lược đồ S-PAKE 66
2.Ví dụ. 68
III.Giao thức trao đổi khóa ba bên. 69
1.Lược đồ trao đổi khóa ba bên của Lu và Cao. 69
2.Tấn công trên giao thức S-3PAKE 71
Chương 5. 80
MINH HỌA TRÊN MAPLE 80
I.Giới thiệu về Maple. 80
II.Minh họa trên maple. 80
1.Giao thức trao đổi khóa ba bên dựa trên mật khẩu S-3PAKE. 80
2.Tấn công dò mật khẩu trên giao thức S-3PAKE 100
KẾT LUẬN 105
TÀI LIỆU THAM KHẢO 106

LỜI NÓI ĐẦU
Ngày nay,khi công nghệ thông tin ngày càng phát triển,công nghệ mang đến cho con người rất nhiều lợi ích nhưng cũng không ít những rủi ro.Trong thế giới đó,con người luôn hứng chịu những nguy cơ,rủi ro an toàn với tần suất và mức độ cao.
Mật mã học và những ứng dụng mật mã học có đóng góp vô cùng quan trọng cho mọi người trong cuộc chiến với những rủi ro đó, giup cho những liên lạc trở nên an toàn và đúng đắn trước những hiểm nguy khó lường trước của thế giới ảo.
Với lý do đó,đồ án này sẽ tập trung nghiên cứu các lược đồ xác thực từ xa và giao thức trao đổi khóa ba bên dựa trên mật khẩu-những ứng dụng mật mã học quan trọng trong việc đảm bảo an toàn trong thế giới ảo.
Nội dung của đồ án bao gồm
Chương 1. Hàm băm và chữ ký số : giới thiệu những kiến thức cơ bản tổng quan của hàm băm,chữ ký sô:hai trong số những ứng dụng mật mã học được sử dụng vô cùng rộng rãi.
Chương 2.Giao thức xác thực : mô tả từ tổng quan đến chi tiết khái niệm,phân loại và đi sâu vào các loại giao thức xác thực.Bên cạnh đó là những tấn công điển hình lên các giao thức xác thực.
Chương 3.Thiết lập khóa : phân tích các phương pháp trao đổi khóa từ mật mã khóa bí mật đến mật mã khóa công khai.Mô tả những rủi ro,nguy cơ mất an toàn lên các giao thức trao đổi khóa.
Chương 4.Trao đổi khóa ba bên dựa trên mật khẩu:Đi sâu vào phân tích lược đồ trao đổi khóa ba bên dựa trên mật khẩu,những rủi ro có thể có và những tấn công lên giao thức này.
Chương 5.Minh họa trên Maple:minh họa lược đồ trao đổi khóa ba bên dựa trên mật khẩu và tấn công lên giao thức này thông qua công cụ toán học Maple
Mục đích của đồ án:
Nghiên cứu những giao thức xác thực từ xa giữa các bên,những tấn công điển hình
Nắm rõ lược đồ,ưu nhược điểm,các tấn công của giao thức trao đổi khóa ba bên dựa trên mật khẩu và đưa ra các biện pháp ngăn chặn các tấn công này.
Hiểu và minh họa thành công giao thức trao đổi khóa ba bên dựa trên mật khẩu và những tấn công lên giao thức qua công cụ Maple