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ố thuật toán sinh khóa RSA chứa backdoor

Luận án được nghiên cứu với mục tiêu nhằm tìm kiếm các thuật toán sinh khóa chứa backdoor hiệu quả để có thể ứng dụng nhằm đảm bảo an ninh cho một hạ tầng PKI cụ thể. Nghiên cứu các mô hình, công cụ hình thức hiệu quả để phân tích và đánh giá backdoor.
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ố thuật toán sinh khóa RSA chứa backdoorBỘ 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Ự LÊ QUANG HUYNGHIÊN CỨU, PHÁT TRIỂN MỘT SỐ THUẬT TOÁN SINH KHÓA RSA CHỨA BACKDOOR Chuyên 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 - 2018 Công trình được hoàn thành tại: VIỆN KH&CN QUÂN SỰ - BỘ QUỐC PHÒNGNgười hướng dẫn khoa học: 1. PGS. TS. Bạch Nhật Hồng 2. TS. Trần Duy LaiPhản biện 1: GS. TS. Nguyễn BìnhPhản biện 2: PGS. TS. Nguyễn Linh GiangPhản biện 3: TS. Lưu Hồng Dũng Luận án sẽ được bảo vệ trước Hội đồng đánh giá luận án cấp Viện, họp tại Viện KH&CNQS Vào hồi giờ ngày tháng năm 2018Có thể tìm hiểu luận án tại thư viện: - Thư viện Viện Khoa học và Công nghệ quân sự - Thư viện Quốc gia Việt Nam 1 MỞ ĐẦU1. Tính cấp thiết Sự phát triển của xã hội dẫn tới nhu cầu trao đổi thông tin. MạngInternet phát triển đã kéo theo các vấn đề gây mất an toàn thông tin. Giảipháp tốt nhất hiện nay là sử dụng mật mã, mật mã khóa công khai để đảmbảo an toàn cho các giao dịch điện tử. Tuy nhiên khi ứng dụng mật mãkhóa công khai thì xuất hiện các sự kiện sử dụng mật mã để thực hiệncác hành vi trái pháp luật, tội phạm. Từ đó nảy sinh nhu cầu cần có biệnpháp để khôi phục, giải mã các dữ liệu đã mã mật để bảo vệ cộng đồng. Hiện tại có 03 cách phổ biến nhất để lấy được bản rõ từ bản mã: 1. Lấy khóa mã thông qua con người: ăn cắp/mua chuộc/hối lộ: chỉthực hiện được với một số trường hợp xác định và mang tính ngẫu nhiên. 2. Khai thác các lỗ hổng có sẵn trên các sản phẩm mật mã do cố ý tạora: Sử dụng backdoor có nhược điểm làm giảm không gian khóa nhưngcó ưu điểm khôi phục lại bản mã nhanh, tất định, chi phí triển khai thấp,khó bị phát hiện khi cài đặt trong những sản phẩm mật mã dạng hộp đen. 3. Thám mã (phá vỡ hệ mật bằng các phương pháp toán học): Đã đạtđược những kết quả nhất định, tuy nhiên với sự phát triển của các hệ mậtmã hiện đại thì việc thám mã để khôi phục lại bản rõ trở nên ngày càngkhó và không khả thi cả về chi phí, công sức và thời gian. Trong những năm gần đây, đã phát hiện được một số doanh nghiệp,cơ quan chính phủ cài backdoor vào trong các sản phẩm mật mã và vàotrong các chuẩn mật mã. Bên cạnh đó nhiều nghiên cứu về backdoor mậtmã đã được công bố và tập trung nhiều vào hệ mật RSA. Đến nay, cácnghiên cứu về backdoor mật mã đã công bố hoặc đã bị phát hiện với sốlượng ít và chất lượng còn cần nhiều nỗ lực cải tiến hơn nữa. Vậy khi sử dụng mật mã luôn có hai nhu cầu đồng thời tồn tại: nhucầu bảo vệ thông tin bằng các hệ mật mã và nhu cầu phá vỡ tính bảo mật.Mật mã càng được sử dụng rộng rãi thì nhu cầu đảm bảo an ninh khi sửdụng mật mã ngày càng tăng. Hiện tại việc sử dụng các sản phẩm mậtmã trên thế giới và ở Việt Nam diễn ra ngày càng nhiều, kéo theo nhucầu đảm bảo an ninh cho cộng đồng khi dùng mật mã ngày càng cấp thiết. Từ thực tế ứng dụng, nhu cầu, hiện trạng nghiên cứu, triển khai 2backdoor mật mã, NCS lựa chọn đề tài “Nghiên cứu, phát triển một sốthuật toán sinh khóa RSA chứa backdoor” nhằm nghiên cứu vấn đề đảmbảo an ninh cho việc ứng dụng PKI, chống lại việc sử dụng PKI để thựchiện các hành vi tội phạm. Cụ thể, Luận án nghiên cứu một vấn đề hẹplà “thuật toán sinh khóa RSA có chứa backdoor”, ứng dụng để đảm bảoan ninh cho các hạ tầng PKI.2. Mục đích, nhiệm vụ nghiên cứu2.1. Mục đích nghiên cứu Tìm kiếm các thuật toán sinh khóa chứa backdoor hiệu quả để có thểứng dụng nhằm đảm bảo an ninh cho một hạ tầng PKI cụ thể.2.2. Nhiệm vụ nghiên cứu - Nghiên cứu các mô hình, công cụ hình thức hiệu quả để phân tíchvà đánh giá backdoor. - Tìm kiếm phương pháp trích, nhúng thông tin backdoor, phươngpháp khôi phục khóa riêng tất định từ khóa công khai chứa backdoor. - Đề xuất một số thuật toán sinh khóa chứa backdoor tuân thủ chuẩnxác định (ví dụ chuẩn FIPS 186-4). - Cài đặt, thử nghiệm các thuật toán sinh khóa chứa backdoor trongcác module mật mã tạo khóa dạng hộp đen.3. Đối tượng, phạm vi nghiên cứu3.1. Đối tượng nghiên cứu - Mô hình lý thuyết, công cụ hình thức, tiêu chí đánh giá các thuậttoán về backdoor trong các hệ mật. - Phương pháp tạo (trích, nhúng thông tin) backdoor. - Phương pháp khôi phục khóa riêng từ khóa công khai có backdoor.3.2. Phạm vi nghiên cứu Sinh khóa, khôi phục khóa chứa backdoor trên hệ mật RSA.4. Cơ sở lý luận, thực tiễn và phương pháp nghiên cứu4.1. Cơ sở lý luận - Lý thuyết về backdoor trong các hệ mật: nhằm tập hợp các kiếnthức về phân tích và đánh giá backdoor mật mã. - Hệ mật mã khóa công khai RSA: nhằm nghiên ...