Luận án tiến sĩ Toán học: Nghiên cứu phát triển giao thức trao đổi khóa an toàn

Mục đích của luận án nhằm nghiên cứu tổng quan các cơ sở lý thuyết về các giao thức trao đổi khóa, về chữ ký số và cơ sơ toán học của các bài toán khó giải để xây dựng lược đồ chữ ký số dựa trên hai bài toán khó nhằm phát triển 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ội dung trích xuất từ tài liệu:
Luận án tiến sĩ Toán học: Nghiên cứu phát triển giao thức trao đổi khóa an toànBỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG VIỆN KHOA HỌC VÀ CÔNG NGHỆ QUÂN SỰ ĐỖ VIỆT BÌNH NGHIÊN CỨU PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA AN TOÀN LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI - 2018BỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG VIỆN KHOA HỌC VÀ CÔNG NGHỆ QUÂN SỰ ĐỖ VIỆT BÌNH NGHIÊN CỨU PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA AN TOÀNChuyên ngành: Cơ sở toán học cho tin họcMã số: 9 46 01 10 LUẬN ÁN TIẾN SĨ TOÁN HỌCNGƯỜI HƯỚNG DẪN KHOA HỌC: 1. PGS. TS Nguyễn Hiếu Minh 2. TS Nguyễn Mạnh Linh HÀ NỘI - 2018 i LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, các kếtquả nghiên cứu là trung thực và chưa được công bố trong bất kỳ công trìnhnào khác. Các dữ liệu tham khảo được trích dẫn đầy đủ. TÁC GIẢ LUẬN ÁN Đỗ Việt Bình ii LỜI CẢM ƠN Trong quá trình nghiên cứu và hoàn thành luận án, Nghiên cứu sinh đãnhận được sự định hướng, giúp đỡ, các ý kiến đóng góp quý báu và những lờiđộng viên của các nhà khoa học, các thầy cô giáo, đồng nghiệp và gia đình. Trước hết, Nghiên cứu sinh xin bày tỏ lời cảm ơn đến PGS, TS NguyễnHiếu Minh, TS Nguyễn Mạnh Linh, cùng nhóm nghiên cứu tại Viện Công nghệthông tin, Viện Khoa học và Công nghệ Quân sự. Cho phép Nghiên cứu sinh chân thành cảm ơn các thầy cô giáo trongViện Công nghệ thông tin, Viện Khoa học và Công nghệ Quân sự đã giúp đỡvà có nhiều đóng góp quý báu trong suốt thời gian Nghiên cứu sinh thực hiệnluận án. Nghiên cứu sinh chân thành cảm ơn Ban Giám đốc, Phòng Đào tạo/ ViệnKhoa học và Công nghệ Quân sự đã tạo điều kiện thuận lợi để Nghiên cứu sinhhoàn thành nhiệm vụ nghiên cứu. Cuối cùng, Nghiên cứu sinh bày tỏ lời cảm ơn tới đồng nghiệp, gia đình,và bạn bè đã luôn động viên, chia sẻ, ủng hộ và giúp đỡ Nghiên cứu sinh trongsuốt quá trình học tập và nghiên cứu vừa qua. NCS Đỗ Việt Bình iii MỤC LỤC TrangDANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT .................................. viDANH MỤC CÁC HÌNH VẼ ......................................................................... ixDANH MỤC CÁC BẢNG ............................................................................... xMỞ ĐẦU ........................................................................................................... 1Chương I: TỔNG QUAN VỀ VẤN ĐỀ NGHIÊN CỨU ................................. 8 1.1. Tổng quan về bài toán trao đổi khóa ...................................................... 8 1.1.1. Khái niệm giao thức trao đổi khóa ................................................ 11 1.1.2. Các tính chất an toàn của giao thức trao đổi khóa ........................ 12 1.1.3. Giao thức trao đổi khóa an toàn .................................................... 17 1.1.4. Bài toán trao đổi khóa nhóm ......................................................... 20 1.2. Tổng quan về lược đồ chữ ký số .......................................................... 23 1.2.1. Cơ sở toán học ............................................................................... 24 1.2.2. Lược đồ chữ ký số ......................................................................... 27 1.3. Kết luận chương 1 ................................................................................ 38Chương II: PHÁT TRIỂN GIAO THỨC TRAO ĐỔI KHÓA CÓ XÁCTHỰC DỰA TRÊN HAI BÀI TOÁN KHÓ .............................................. 40 2.1. Phát triển lược đồ chữ ký số dựa trên hai bài toán khó ........................ 40 2.1.1. Lược đồ thứ nhất (Rabin và Schnorr) ........................................... 48 2.1.2. Lược đồ thứ hai (RSA và Schnorr) ............................................... 49 2.1.3. Đánh giá khả năng bảo mật ........................................................... 50 iv 2.2. Phát triển giao thức trao đổi khóa có xác thực dựa trên haibài toán khó .................................................................................................. 52 2.2.1. Một số phát tri ...