tailieunhanh - Một số phân tích về mô hình an toàn cho giao thức trao đổi khóa

Bài viết trình bày so sánh độ an toàn trong mô hình | Công nghệ thông tin MỘT SỐ PHÂN TÍCH VỀ MÔ HÌNH AN TOÀN CHO GIAO THỨC TRAO ĐỔI KHÓA Triệu Quang Phong Tóm tắt Các mô hình an toàn đóng vai trò quan trọng trong việc phân tích độ an toàn của các giao thức trao đổi khóa. Trong đó các mô hình an toàn CK 1 2 và eCK 3 được sử dụng phổ biến hơn cả. Trong 4 C. J. F. Cremers đã chỉ ra rằng độ an toàn trong ba mô hình này không thể được suy dẫn qua nhau nghĩa là một giao thức đạt được độ an toàn trong bất cứ mô hình nào kể trên thì chưa chắc an toàn trong bất kỳ mô hình nào còn lại. Ngoài ra công trình này cũng chỉ ra một vài vấn đề liên quan đến chứng minh an toàn cho một số giao thức trong những mô hình này cụ thể là vấn đề về tính so khớp phiên. Dựa trên cơ sở của 4 bài báo sẽ so sánh độ an toàn trong mô hình 2 và độ an toàn AKE 8 . Bên cạnh đó bài báo sẽ chỉ ra một vấn đề liên quan đến việc cài đặt của giao thức Lemongrass-3 9 10 mà đạt độ an toàn AKE và sau đó đưa ra một phương án giải quyết cho vấn đề đó. Từ khóa Giao thức HMQV Giao thức KEA Giao thức Lemongrass-3 Mô hình Độ an toàn AKE. 1. GIỚI THIỆU Các mô hình an toàn đóng vai trò quan trọng trong việc phân tích độ an toàn của các giao thức trao đổi khóa. Mô hình chứng minh an toàn đầu tiên được đề xuất bởi Bellare và Rogaway với tên gọi BR93 5 . Tiếp theo đó nhiều mô hình chứng minh an toàn khác đã được đề xuất như BR95 6 BPR2000 7 CK 1 . Trong đó mô hình CK và các biến thể của nó bao gồm CK HMQV 2 và mô hình eCK 3 hiện được sử dụng phổ biến để phân tích độ an toàn cho các giao thức mật mã. Cụ thể những giao thức đặc trưng mà chúng ta có thể kể đến như SIG-DH an toàn trong mô hình CK 1 HMQV an toàn trong mô hình CK HMQV 2 và NAXOS an toàn trong mô hình eCK 3 . Hình 1. Giao thức HMQV 2 . Trong 4 C. J. F. Cremers đã phân tích và tìm liên hệ giữa ba mô hình an toàn CK CK HMQV eCK. Một kết quả mà công trình đó đưa ra là độ an toàn của ba mô hình CK CK HMQV eCK không được suy dẫn qua nhau nghĩa là một giao thức đạt được độ an toàn trong bất cứ mô hình nào kể trên thì