Luận án tiến sĩ toán học: Nghiên cứu phát triển lược đồ chữ ký số và giao thức trao đổi khóa tại Viện KH&CN Quân sự

Hạ tầng khóa công khai PKI quản lý chứng chỉ số và định danh người dùng trong mạng. Hệ thống liên kết khóa công khai với danh tính thực tế thông qua cơ quan cấp phát chứng chỉ số uy tín. Quá trình xác thực chữ ký số luôn phụ thuộc vào tính tin cậy của chứng chỉ này. Mật mã khóa công khai cung cấp cơ chế toán học cho việc mã hóa và ký số an toàn. Người ký sử dụng khóa bí mật để tạo chữ ký trên thông điệp. Người nhận dùng khóa công khai tương ứng để kiểm tra tính hợp lệ của dữ liệu. Hạ tầng khóa công khai PKI thiết lập cấu trúc phân cấp nhằm quản lý vòng đời khóa một cách chặt chẽ. Hệ thống định kỳ thu hồi các chứng chỉ bị lộ hoặc hết hạn sử dụng. Các chuẩn chứng chỉ X.509 đóng vai trò then chốt trong hạ tầng này. Việc triển khai an toàn đòi hỏi lưu trữ khóa bí mật trong các mô-đun phần cứng chuyên dụng. Độ an toàn của toàn bộ hệ thống phụ thuộc trực tiếp vào thuật toán ký số nền tảng.

Lược đồ ECDSA được ứng dụng rộng rãi trong các giao thức mạng và hệ thống blockchain. Thuật toán này tồn tại rủi ro liên quan đến tính dễ uốn của chữ ký số. Kẻ tấn công có thể biến đổi chữ ký hợp lệ thành một chữ ký hợp lệ khác mà không cần khóa bí mật. Điều này gây ra hiện tượng chữ ký kép trên cùng một thông điệp gốc. Lỗ hổng chữ ký kép đe dọa trực tiếp các ứng dụng tài chính và hợp đồng thông minh. Chuẩn GOST R 34.10 cũng đối mặt với các nguy cơ tấn công tương tự nếu cài đặt không cẩn trọng. Vấn đề bước lặp trong thuật toán sinh chữ ký cũng làm giảm hiệu năng thực tế. Việc chuẩn hóa quy trình ký giúp loại bỏ hoàn toàn tính dễ uốn này. Các nhà phát triển cần kiểm soát chặt chẽ giá trị thành phần chữ ký để ngăn ngừa biến dạng. Đánh giá an toàn thực tế đòi hỏi phân tích toàn diện các vector tấn công đối với ECDSA.

Chứng minh an toàn hình thức là yêu cầu bắt buộc đối với mọi lược đồ chữ ký số. Mô hình bộ tiên tri ngẫu nhiên giả định hàm băm hoạt động như một hàm ngẫu nhiên lý tưởng. Mô hình này giúp đơn giản hóa việc chứng minh tính an toàn không thể giả mạo. Mô hình nhóm tổng quát xem xét cấu trúc nhóm mà không khai thác các đặc tính cụ thể của biểu diễn phần tử. Mô hình với thiết bị bảo vệ mô phỏng các mối đe dọa phần cứng như rò rỉ khóa hay kênh kề. Mô hình bộ tiên tri ngẫu nhiên song ánh mở rộng khả năng phân tích cho các hàm phức tạp. Lược đồ chữ ký số dạng TEGTSS áp dụng các mô hình này để đạt độ an toàn cao nhất. Việc mô hình hóa chính xác giúp phát hiện sớm các sơ hở trong thiết kế thuật toán. Đây là cơ sở khoa học vững chắc để phát triển các lược đồ chữ ký an toàn trong thực tế.

Lược đồ chữ ký số GOST-I và GOST-II là hai biến thể cải tiến từ chuẩn GOST R 34.10. GOST-I khắc phục triệt để hiện tượng lặp lại trong thuật toán tạo chữ ký. Thuật toán này rút ngắn thời gian xử lý và ổn định tốc độ tính toán. GOST-II bổ sung cơ chế kiểm soát giá trị ngẫu nhiên nhằm triệt tiêu tính dễ uốn. Cả hai biến thể đều chứng minh an toàn trong mô hình bộ tiên tri ngẫu nhiên. GOST-I và GOST-II ngăn chặn hoàn toàn nguy cơ giả mạo chữ ký từ kẻ tấn công chủ động. Việc cài đặt trên nhóm điểm đường cong elliptic giúp duy trì kích thước khóa ngắn. Hiệu năng thực thi của hai lược đồ này vượt trội hơn so với chuẩn gốc. Đây là giải pháp phù hợp cho các thiết bị phần cứng có tài nguyên tính toán hạn chế.

Chữ ký bó cho phép tạo ra một chữ ký duy nhất cho tập hợp nhiều thông điệp khác nhau. Lược đồ SBS-01 ứng dụng cấu trúc cây băm Merkle để liên kết các thông điệp. Cây Merkle giúp việc xác thực từng phần tử diễn ra độc lập và nhanh chóng. Lược đồ SBS-02 tối ưu hóa thuật toán sinh chữ ký nhằm giảm kích thước dữ liệu truyền tải. Người xác thực chỉ cần kiểm tra đường dẫn băm từ lá đến gốc của cây Merkle. Cả SBS-01 và SBS-02 đều đạt độ an toàn chống giả mạo thông điệp chọn lựa. Cấu trúc bó giảm tải đáng kể cho mạng truyền thông và cơ sở dữ liệu lưu trữ. Phương pháp này đặc biệt hữu ích trong các hệ thống IoT và phân phối phần mềm quy mô lớn. Độ phức tạp tính toán được phân bổ đều, giúp tăng tốc độ xử lý tổng thể.

Mật mã đường cong elliptic cung cấp độ an toàn cao với kích thước khóa nhỏ gọn. Việc tối ưu hóa các phép toán nhân vô hướng điểm quyết định tốc độ của lược đồ chữ ký. Sử dụng tọa độ xạ ảnh và tọa độ Jacobian giúp loại bỏ phép chia tốn kém trên trường hữu hạn. Kỹ thuật tiền tính toán các bội điểm của phần tử sinh làm tăng tốc độ ký đáng kể. Các thuật toán kiểm tra tính hợp lệ của điểm trên đường cong ngăn ngừa tấn công phân nhóm nhỏ. Việc lựa chọn đường cong chuẩn hóa bảo đảm khả năng chống lại các cuộc tấn công kênh kề. Các cải tiến toán học này giúp giảm thiểu độ trễ trong các giao dịch thời gian thực. Toàn bộ giải pháp cài đặt tối ưu đều tương thích tốt với các hệ thống nhúng hiện đại.

Giao thức trao đổi khóa Diffie-Hellman dựa trên độ khó của bài toán logarit rời rạc. Phiên bản ECDH chuyển đổi bài toán này sang nhóm điểm của đường cong elliptic. ECDH mang lại hiệu quả vượt trội về băng thông và tốc độ tính toán so với Diffie-Hellman cổ điển. Cả hai giao thức đều cho phép hai bên tính toán khóa phiên chung mà không gửi khóa qua mạng. Điểm yếu chung của cấu trúc Diffie-Hellman thuần túy là không có cơ chế xác thực nguồn gốc. Kẻ tấn công chủ động có thể đóng vai trò trung gian để đánh cắp toàn bộ thông tin. Sự kết hợp giữa ECDH và hạ tầng khóa công khai PKI giúp loại bỏ hoàn toàn nguy cơ này. Các hệ thống hiện đại như TLS đều ưu tiên sử dụng ECDH kết hợp chữ ký số để bảo mật kênh truyền.

Họ giao thức SIGMA đóng vai trò nền tảng trong giao thức IKE của chuẩn IPsec. Nghiên cứu đề xuất hai biến thể cải tiến mang tên M-SIGMA và M1-SIGMA. M-SIGMA tinh chỉnh cách thức đóng gói chữ ký số và mã xác thực thông điệp MAC. Giao thức M1-SIGMA tối ưu hóa số lượng bản tin trao đổi giữa bên khởi tạo và bên phúc đáp. Cả hai giao thức đều bảo đảm tính toàn vẹn và tính bí mật tuyệt đối của khóa phiên. Việc liên kết chặt chẽ danh tính thực thể với khóa tạm thời ngăn chặn các cuộc tấn công phát lại. Quá trình sinh khóa diễn ra mượt mà với chi phí tính toán thấp. M-SIGMA và M1-SIGMA bảo đảm hoạt động ổn định trong các môi trường mạng phân tán. Đây là những đóng góp quan trọng trong việc thiết kế giao thức trao đổi khóa an toàn.

Độ an toàn của M-SIGMA và M1-SIGMA được chứng minh chặt chẽ qua các tính chất hình thức. Tính chất P1 bảo đảm kẻ tấn công không thể đọc trộm danh tính của bên khởi tạo phiên. Tính chất P2 bảo vệ quyền riêng tư và danh tính của bên phúc đáp trước kẻ nghe lén. Mô hình an toàn đánh giá cả hai trường hợp: đối tác được định rõ trước và đối tác được định rõ sau. Giao thức bảo đảm thuộc tính bí mật chuyển tiếp hoàn hảo cho mọi phiên giao tiếp. Khi khóa dài hạn bị lộ, các khóa phiên trong quá khứ vẫn an toàn tuyệt đối. Khả năng chống tấn công giả mạo danh tính được phân tích toán học chi tiết. Các kết quả chứng minh khẳng định độ tin cậy cao của các giao thức đề xuất trong thực tiễn.

Máy tính lượng tử với sức mạnh tính toán vượt bậc sẽ vô hiệu hóa các lược đồ RSA và ECDSA. Thuật toán Grover làm giảm một nửa độ dài khóa hiệu dụng của các hàm băm và mã đối xứng. Hạ tầng khóa công khai PKI cần phải nhanh chóng tích hợp các thuật toán kháng lượng tử. Việc thay thế toàn bộ chứng chỉ số và giao thức mạng đòi hỏi thời gian và tài nguyên lớn. Dữ liệu mã hóa hôm nay có thể bị thu thập và giải mã trong tương lai khi máy tính lượng tử hoàn thiện. Hiện tượng này thúc đẩy các tổ chức tiêu chuẩn hóa sớm đưa ra lộ trình chuyển đổi. Mật mã hậu lượng tử không chỉ là nghiên cứu lý thuyết mà đã trở thành yêu cầu an ninh sống còn. Việc chủ động nâng cấp hệ thống bảo mật là nhiệm vụ cấp bách của mọi cơ quan quản lý thông tin.

Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ đã chọn ra các chuẩn chữ ký số hậu lượng tử hàng đầu. Lược đồ chữ ký Dilithium nổi bật với sự cân bằng tuyệt vời giữa hiệu năng tính toán và kích thước khóa. Lược đồ chữ ký Falcon mang lại chữ ký nhỏ gọn và tốc độ xác thực cực nhanh nhờ kỹ thuật lấy mẫu Gaussian. Cả hai thuật toán này đều xây dựng trên nền tảng mật mã dựa trên lưới. Ngoài ra, lược đồ SPHINCS+ đại diện cho họ chữ ký không trạng thái dựa trên hàm băm. SPHINCS+ cung cấp cơ chế an toàn dự phòng vững chắc mà không phụ thuộc vào bài toán lưới. Việc hiểu rõ đặc tính của Dilithium, Falcon và SPHINCS+ giúp định hình các thiết kế chữ ký thế hệ mới. Các thuật toán này sẵn sàng thay thế toàn diện các chuẩn chữ ký cũ trong hạ tầng khóa công khai PKI.

Lattice-based cryptography cung cấp cấu trúc toán học linh hoạt cho nhiều bài toán mật mã phức tạp. Độ an toàn của nó dựa trên các bài toán hình học lưới khó như bài toán tìm vectơ ngắn nhất SVP. Công nghệ này cho phép xây dựng không chỉ chữ ký số mà cả mã hóa đồng hình hoàn toàn. Các giao thức trao đổi khóa hậu lượng tử dựa trên lưới giúp bảo vệ đường truyền dữ liệu an toàn. Hiệu năng tính toán của các phép toán trên lưới rất nhanh vì chủ yếu là các phép nhân ma trận đa thức. Tuy nhiên, kích thước khóa và chữ ký của mật mã dựa trên lưới lớn hơn đáng kể so với ECC. Việc nghiên cứu tối ưu hóa kích thước dữ liệu và tích hợp phần cứng đang được đẩy mạnh. Lattice-based cryptography sẽ định hình tương lai an ninh thông tin trong kỷ nguyên điện toán lượng tử.