Tóm tắt Luận án Tiến sĩ Toán học: Nghiên cứu phát triển một số lược đồ chữ ký số và ứng dụng trong việc thiết kế giao thức trao đổi khóa

Tóm tắt Luận án Tiến sĩ Toán học "Nghiên cứu phát triển một số lược đồ chữ ký số và ứng dụng trong việc thiết kế giao thức trao đổi khóa" được nghiên cứu với mục tiêu là: Khái quát chung về chữ ký số và giao thức trao đổi khóa; Đề xuất lược đồ chữ ký số an toàn; Đề xuất giao thức trao đổi khóa an toàn dựa trên chữ ký số.
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ Toán học: Nghiên cứu phát triển một số lược đồ chữ ký số và ứng dụng trong việc thiết kế giao thức trao đổi khóa BỘ 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Ự TRIỆU QUANG PHONG NGHIÊN CỨU PHÁT TRIỂN MỘT SỐ LƢỢC ĐỒ CHỮ KÝ SỐ VÀ ỨNG DỤNG TRONG VIỆC THIẾT KẾ GIAO THỨC TRAO ĐỔI KHÓA Ngành: Cơ sở toán học cho tin học Mã số: 9 46 01 10 TÓM TẮT LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI - 2023 CÔNG TRÌNH ĐƢỢC HOÀN THÀNH TẠI VIỆN KHOA HỌC VÀ CÔNG NGHỆ QUÂN SỰ - BỘ QUỐC PHÕNG Người hướng dẫn khoa học: TS. Trần Duy Lai TS. Vũ Quốc Thành Phản biện 1: PGS. TS Nguyễn Linh Giang Đại học Bách khoa Hà Nội Phản biện 2: PGS. TS Nguyễn Ngọc Hóa Trƣờng Đại học Công nghệ, Đại học Quốc gia Hà Nội Phản biện 3: TS Đỗ Việt Bình Viện Khoa học và Công nghệ Quân Sự Luận án được bảo vệ trước Hội đồng đánh giá luận án tiến sĩ cấp Viện, họp tại Viện KH-CNQS vào hồi……giờ….ngày.....tháng......năm 2023 Có thể tìm hiểu luận án tại: - Thư viện Viện Khoa học và Công nghệ quân sự - Thư viện Quốc gia Việt Nam DANH MỤC CÁC CÔNG TRÌNH KHOA HỌC ĐÃ CÔNG BỐ [CT1]. Trieu Quang Phong, Nguyen Quoc Toan (2017). “Some Security Comparisons of GOST R 34.10-2012 and ECDSA Signature Schemes”, In Pre-proceedings of 6th Workshop on Current Trends in Cryptology (CTCrypt 2017), pp. 140-158. [CT2]. Triệu Quang Phong, Trần Duy Lai (2017). “Về một số lưu ý đối với lược đồ chữ ký số”, Tạp chí Nghiên cứu KH&CNQS, Số Đặc san CNTT, 12-2017, tr. 45-53. [CT3]. Triệu Quang Phong (2017). “Xem xét các thuộc tính an toàn của họ giao thức STS”, Chuyên san Nghiên cứu KH&CN trong lĩnh vực An toàn thông tin của Tạp chí An toàn thông tin – Ban Cơ yếu chính phủ, CS 05, tr. 52-60. [CT4]. Trieu Quang Phong (2019). “Considering two MAC under SIG variants of the basic SIGMA protocol”, Mathematical Aspects of Cryptography, Vol. 10(2), pp. 145-158. [CT5]. Triệu Quang Phong (2020). “Một số phân tích về mô hình an toàn cho giao thức trao đổi khóa”, Tạp chí Nghiên cứu KH&CNQS, Số Đặc san CNTT, 12 –2020, tr. 60-71. [CT6]. Trieu Quang Phong, Tran Duy Lai (2021). “Constructing efficient and secure batch signature schemes”, Journal of Military Science and Technology, No. CSCE5, pp. 49-60. 1 MỞ ĐẦU 1. Tính cấp thiết của đề tài luận án Việc trao đổi thông tin một cách bí mật và hiệu quả giữa các bên có thể được đảm bảo bởi các lược đồ mã hóa khóa đối xứng. Tuy nhiên, phương thức này lại yêu cầu các bên phải chia sẻ một khóa bí mật chung để thực hiện cả chức năng mã hóa lẫn giải mã. Đối với các bên cách xa nhau về mặt địa lý, việc thiết lập các khóa bí mật chung sẽ được thực hiện thông qua các giao thức trao đổi khóa (hay thỏa thuận khóa). Các giao thức trao đổi khóa hiện nay đa phần được thiết kế dựa trên một cơ chế khá nổi tiếng, đó là trao đổi khóa Diffie-Hellman. Tuy nhiên, để đảm bảo các giao thức trao đổi khóa hoạt động một cách an toàn với cơ chế này, chúng ta cần phải sử dụng các cơ chế xác thực cho chúng. Việc sử dụng chữ ký số được xem là một giải pháp có tính khả thi. 2. Mục tiêu nghiên cứu Trên cơ sở phân tích các kết quả đã công bố và những vấn đề còn hạn chế, mục tiêu chính của đề tài luận án là đề xuất lược đồ chữ ký số an toàn, hiệu quả và xây dựng giao thức trao đổi khóa có xác thực dựa trên chữ ký được đề xuất. 3. Đối tƣợng và phạm vi nghiên cứu Đối tượng nghiên cứu Luận án tập trung vào đối tượng là các lược đồ chữ ký số và giao thức trao đổi khóa dựa trên chữ ký số có độ an toàn chứng minh được trong các mô hình lý thuyết. Phạm vi nghiên cứu Luận án tập trung nghiên cứu các lược đồ chữ ký số ECDSA, GOST R 34.10-2012, TEGTSS, ECTEGTSS; các giao thức trao đổi khóa có xác thực dựa trên chữ ký STS, SIGMA; các phương pháp thiết kế và đáng giá độ an toàn chứng minh được cho lược đồ chữ ký số và giao thức trao đổi khóa trong các mô hình lý thuyết. 2 4. Nội dung nghiên cứu Luận án này tập trung vào nghiên cứu giải quyết 02 vấn đề chính: - Xây dựng, đề xuất các lược đồ chữ ký số có độ an toàn chứng minh được, - Xây dựng các giao thức trao đổi khóa có độ an toàn chứng minh được dựa trên lược đồ chữ ký được đề xuất 5.Phƣơng pháp nghiên cứu Nghiên cứu được tiến hành dựa trên các phương pháp sau: phương pháp phân tích và tổng hợp lý thuyết, phương pháp thu thập số liệu, phương pháp định tính, phương pháp thực nghiệm. 6. Ý nghĩa khoa học và thực tiễn - Ý nghĩa khoa học. Luận án góp phần đề xuất một số giải pháp ký số và trao đổi khóa đạt tính hiệu quả và độ an toàn chứng minh được. - Ý nghĩa thực tiễn. Kết quả của luận án có thể được ứng dụng trong thực tế ...