Luận án Nghiên cứu phát triển giao thức trao đổi khóa an toàn

Tên luận án:

NGHIÊN CỨU PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA AN TOÀN

Ngành:

Cơ sở toán học cho tin học (Mã số: 946 01 10)

Tóm tắt nội dung tài liệu:

Luận án "Nghiên cứu phát triển giao thức trao đổi khóa an toàn" tập trung giải quyết vấn đề bảo mật thông tin trong bối cảnh nhu cầu trao đổi dữ liệu ngày càng lớn và đa dạng. Đề tài nhấn mạnh tầm quan trọng của các biện pháp bảo vệ thông tin, đặc biệt là các biện pháp thuật toán trong mật mã học, và chỉ ra rằng khâu trao đổi khóa là một trong những khâu kém an toàn nhất trong các hệ thống mã hóa hiện nay.

Mục tiêu chính của nghiên cứu là xây dựng các giao thức trao đổi khóa an toàn có xác thực, sử dụng lược đồ chữ ký số dựa trên hai bài toán khó giải để nâng cao tính bảo mật. Đồng thời, luận án cũng nghiên cứu các vấn đề liên quan đến trao đổi khóa nhóm và đề xuất giao thức trao đổi khóa nhóm mới. Đối tượng nghiên cứu bao gồm bài toán trao đổi khóa Diffie-Hellman, các giao thức trao đổi khóa theo cặp và theo nhóm, cùng với các lược đồ chữ ký số phổ biến như RSA, Rabin, Schnorr.

Các phương pháp nghiên cứu bao gồm nghiên cứu lý thuyết để phân tích, tổng hợp, đề xuất các giao thức mới, chứng minh tính đúng đắn, và đánh giá độ an toàn, hiệu quả. Ngoài ra, còn có nghiên cứu thực nghiệm thông qua việc xây dựng các module thử nghiệm để kiểm tra tính đúng đắn của các giao thức đề xuất.

Luận án đã đạt được nhiều kết quả nổi bật. Đầu tiên, nghiên cứu tổng quan về bài toán trao đổi khóa, các giao thức thỏa thuận, thiết lập khóa, và các tiêu chuẩn an toàn. Thứ hai, đã nghiên cứu sâu về cơ sở toán học của các bài toán khó giải và lược đồ chữ ký số, làm nền tảng để đề xuất lược đồ chữ ký số mới dựa trên hai bài toán khó, đảm bảo an toàn ngay cả khi một trong hai bài toán khó bị giải. Đặc biệt, luận án đã đề xuất thành công ba giao thức trao đổi khóa an toàn dựa trên hai bài toán khó: Trao đổi khóa có xác thực (DH-MM-KE), Trao đổi khóa sử dụng ký và mã hóa đồng thời (DH-MM-SC), và Trao đổi khóa sử dụng ký và mã hóa đồng thời có thể chối từ (DH-MM-DSC). Hai trong số các giao thức này (DH-MM-SC và DH-MM-DSC) được coi là những giao thức đầu tiên sử dụng đồng thời hai bài toán khó, mang lại mức độ an toàn vượt trội. Cuối cùng, luận án còn đề xuất giao thức cải tiến trao đổi khóa nhóm NGDH1 nhằm khắc phục nhược điểm lộ khóa cặp, dễ dàng thay đổi khóa và giảm thiểu chi phí tính toán. Những đóng góp này có ý nghĩa quan trọng trong việc nâng cao bảo mật thông tin trong các ứng dụng đòi hỏi an ninh cao.

Mục lục chi tiết:

• Chương 1. TỔNG QUAN VỀ VẤN ĐỀ NGHIÊN CỨU

  • Trình bày tổng quan bài toán trao đổi khóa; giao thức thỏa thuận, thiết lập khóa.
  • Trình bày một số khái niệm, tiêu chuẩn an toàn của một giao thức trao đổi khóa.
  • Giới thiệu giao thức trao đổi khóa Diffie-Hellman; phân tích giao thức trao đổi khóa an toàn, ưu nhược điểm của một số giao thức trao đổi khóa an toàn đã công bố.
  • Trình bày các khái niệm về trao đổi khóa nhóm, các đặc điểm và yêu cầu đối với một giao thức trao đổi khóa nhóm.
  • Trình bày các vấn đề cơ sở toán học của các bài toán khó giải, tổng quan về chữ ký số, các phương pháp tấn công và một số lược đồ chữ ký số RSA, DSA, Rabin, Schnorr.

• Chương 2. PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA CÓ XÁC THỰC DỰA TRÊN HAI BÀI TOÁN KHÓ

  • Tập trung nghiên cứu và phân tích ưu nhược điểm của các lược đồ chữ ký số dựa trên hai bài toán khó trước đây, từ đó làm cơ sở đề xuất lược đồ chữ ký số mới dựa trên hai bài toán khó, giải quyết các vấn đề còn tồn tại.
  • Phân tích khả năng bảo mật và hiệu quả của lược đồ mới đề xuất.
  • Phát triển giao thức trao đổi khóa an toàn có xác thực tích hợp chữ ký số dựa trên hai bài toán khó.
  • Phân tích đánh giá tính bảo mật và hiệu năng của thuật toán.

• Chương 3. PHÁT TRIỂN GIAO THỨC KÝ VÀ MÃ HÓA ĐỒNG THỜI DỰA TRÊN HAI BÀI TOÁN KHÓ

  • Phân tích mô hình ký rồi mã hóa truyền thống, chỉ ra ưu điểm của mô hình ký và mã hóa đồng thời so với mô hình truyền thống.
  • Phân tích một số giao thức ký và mã hóa đồng thời đã công bố, chỉ ra các hạn chế còn tồn tại.
  • Đề xuất giao thức ký và mã hóa đồng thời dựa trên hai bài toán khó (DH-MM-SC) và giao thức ký và mã hóa đồng thời có thể chối từ dựa trên hai bài toán khó (DH-MM-DSC) nhằm nâng cao tính bảo mật và cung cấp khả năng chống tấn công cưỡng bức chủ động.

• Chương 4. PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA NHÓM

  • Nghiên cứu các vấn đề liên quan đến trao đổi khóa nhóm, qua phân tích các giao thức GDH nguyên thủy và IKA.1 và IKA.2.
  • Phân tích các điểm yếu của các giao thức trên và đề xuất xây dựng giao thức cải tiến trong trường hợp trao đổi khóa nhóm NGDH1.