Đang chuẩn bị liên kết để tải về tài liệu:
Một số phân tích về mô hình an toàn cho giao thức trao đổi khóa

Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ

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ì

TÀI LIỆU LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.