Trong bài viết, các tác giả đã phân tích, đánh giá về mức độ an toàn và hiệu quả của một số giao thức thỏa thuận khóa theo giao thức Diffie-Hellman như: giao thức Arazi, giao thức Harn, giao thức Phan, giao thức Liu-Li và một số sửa đổi cho các giao thức Harn và giao thức Phan để đạt được tính an toàn quá khứ hoàn toàn. | Công nghệ thông tin amp Cơ sở toán học cho tin học ĐỀ XUẤT CÁC GIAO THỨC DH-KE AN TOÀN VÀ HIỆU QUẢ Nguyễn Thanh Sơn1 Lều Đức Tân2 Đặng Vũ Sơn3 Tóm tắt Trong bài báo các tác giả đã phân tích đánh giá về mức độ an toàn và hiệu quả của một số giao thức thỏa thuận khóa theo giao thức Diffie-Hellman như giao thức Arazi giao thức Harn giao thức Phan giao thức Liu-Li và một số sửa đổi cho các giao thức Harn và giao thức Phan để đạt được tính an toàn quá khứ hoàn toàn. Bài báo cũng đề xuất cải tiến giao thức Arazi giao thức Liu-Li để tăng tính an toàn và hiệu quả. Từ khóa Giao thức DH-KE HFS PFS Giao thức Arazi Giao thức Phan Giao thức Harn Giao thức Liu-Li . 1. ĐẶT VẤN ĐỀ Một trong những tiêu chuẩn an toàn quan trọng nhất cho giao thức thỏa thuận khóa đó là tiêu chuẩn an toàn phía trước được cho bởi định nghĩa sau Định nghĩa 1. tiêu chuẩn an toàn phía trước - Nếu khóa bí mật dài hạn của một bên bị lộ thì các khóa phiên được tạo ra trước đó cũng không tìm ra được thì giao thức được gọi là an toàn quá khứ một phía HFS Half Forward Secrecy . - Nếu khóa bí mật dài hạn của cả hai bên bên bị lộ thì các khóa phiên được tạo ra trước đó cũng không tìm ra được thì giao thức được gọi là an toàn quá khứ hoàn toàn PFS Perfect Forward Secrecy . . Đối tượng và nội dung khảo sát Đối tượng được xem xét gồm 4 giao thức thỏa thuận khóa theo giao thức Diffie-Hellman kết hợp với lược đồ chữ ký số DSA bao gồm giao thức Arazi 1 giao thức Harn 2 giao thức Phan 4 và giao thức của Jie Liu và Jianhua Li 3 . Về mặt an toàn Đầu tiên chúng tôi xem xét lại các đánh giá của các tác giả trên về giao thức của mình và của người khác. Kết quả thu được trong lĩnh vực này là kết luận Tự đánh giá của Phan là chưa đúng . Thực chất giao thức Phan chỉ là HFS chứ không phải PFS. Tiếp theo chúng tôi đưa ra một sửa đổi đơn giản cho hai giao thức Harn vốn không là HFS và Phan chỉ là HFS để đạt được tính PFS. Chúng tôi cũng nghiên cứu đề xuất một giao thức cải tiến dựa trên giao thức Azari để đạt được tính an toàn
