Tổng quan nghiên cứu

Trong bối cảnh xây dựng Chính phủ điện tử và phát triển kinh tế số, an toàn thông tin trở thành yếu tố sống còn khi có tới hơn 85% giao dịch hành chính công và thương mại điện tử hiện nay phụ thuộc trực tiếp vào hạ tầng khóa công khai PKI. Vấn đề nghiên cứu trọng tâm là sự suy giảm biên độ an toàn của các lược đồ chữ ký số đơn lẻ truyền thống trước năng lực tính toán siêu tốc của các hệ thống máy tính hiện đại. Các hệ mật mã kinh điển như RSA hay ElGamal khi đứng độc lập dần bộc lộ những hạn chế về khả năng bảo mật trước các kỹ thuật thám mã nâng cao.

Mục tiêu cụ thể của luận văn là nghiên cứu, đề xuất và hiện thực hóa một lược đồ chữ ký số cải tiến dựa trên tính khó của bài toán phân tích số nguyên lớn kết hợp với bài toán khai căn trong modulo hợp số. Nghiên cứu tập trung giải quyết bài toán tối ưu hóa cấu trúc tham số, nâng cao độ phức tạp tính toán nhằm triệt tiêu nguy cơ giả mạo chữ ký mà vẫn bảo đảm hiệu năng xử lý của hệ thống.

Phạm vi nghiên cứu được triển khai thực nghiệm vào năm 2018, gắn liền với mô hình trao đổi văn bản điện tử liên thông giữa 4 phòng ban chuyên môn thuộc Sở Khoa học và Công nghệ tỉnh Nam Định và các phòng Công thương cấp huyện. Kết quả nghiên cứu có ý nghĩa thực tiễn to lớn khi giúp nâng cao mức độ an toàn mật mã lên hơn 40%, triệt tiêu 100% khả năng chối bỏ nguồn gốc tài liệu và hỗ trợ xử lý mượt mà trên các độ dài khóa từ 512 bit đến 2048 bit.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên 2 trụ cột lý thuyết nền tảng: Lý thuyết mật mã khóa công khai bất đối xứng và Lý thuyết số học mô-đun về các bài toán một chiều khó giải. Khung mô hình mật mã học tập trung khai thác tính bất khả quy trong thời gian đa thức của bài toán phân tích số nguyên lớn n thành tích của 2 số nguyên tố mạnh p và q, kết hợp với bài toán khai căn trong vành hợp số modulo n.

Hệ thống khái niệm chính được vận dụng bao gồm: Lược đồ chữ ký số 5 thành phần chuẩn hóa (tập bản tin, tập chữ ký, tập khóa, thuật toán ký và thuật toán xác minh); Hệ mật mã khóa công khai RSA với hàm số Euler phi(n) = (p - 1)(q - 1); Hàm băm mật mã một chiều như SHA-1 và MD5 nhằm tạo tóm lược thông điệp digest; Cặp khóa công khai và khóa bí mật chứa các tham số ràng buộc đại số phi tuyến. Hệ thống bảo đảm chặt chẽ 3 thuộc tính an toàn thông tin then chốt: tính toàn vẹn dữ liệu, tính xác thực chủ thể và tính không thể chối cãi trong môi trường mạng.

Phương pháp nghiên cứu

Nghiên cứu thu thập nguồn dữ liệu thực nghiệm gồm 50 tệp văn bản hành chính điện tử thuộc các định dạng thông dụng như PDF, DOCX và TXT, với dải dung lượng biến thiên từ 10 KB đến 25 MB. Phương pháp chọn mẫu phân tầng có chủ đích được áp dụng nhằm đánh giá toàn diện độ trễ tính toán trên từng nhóm kích thước dữ liệu khác nhau.

Phương pháp phân tích toán học hình thức được lựa chọn để chứng minh tính đúng đắn tuyệt đối của thuật toán kiểm tra chữ ký thông qua phép biến đổi đồng dư thức. Đồng thời, phương pháp thực nghiệm lập trình mô phỏng trên nền tảng Java JDK được sử dụng nhờ khả năng xử lý cấu trúc số nguyên lớn BigInteger với độ chính xác tuyệt đối. Toàn bộ quá trình nghiên cứu, mô hình hóa toán học và thử nghiệm phần mềm được thực hiện xuyên suốt trong thời gian 12 tháng, từ tháng 6 năm 2017 đến tháng 6 năm 2018.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Thứ nhất, nghiên cứu đã xây dựng thành công lược đồ chữ ký số mới với cấu trúc khóa mở rộng: khóa công khai gồm cặp số {n, y} và khóa bí mật gồm bộ ba {x, t, phi(n)}. Việc yêu cầu kẻ tấn công phải giải đồng thời 2 bài toán khó là phân tích số và khai căn giúp tăng mức độ an toàn hệ thống lên khoảng 40% so với lược đồ RSA truyền thống.

Thứ hai, kết quả thử nghiệm hiệu năng trên cấu hình máy tính cá nhân CPU 2.0 GHz và RAM 4 GB cho thấy tốc độ xử lý rất khả quan. Thời gian sinh tham số và tạo cặp khóa 512 bit trung bình chỉ mất khoảng 120 ms, trong khi thời gian ký và xác minh chữ ký trên tài liệu số đạt dưới 45 ms.

Thứ ba, nghiên cứu chứng minh được khả năng kháng giả mạo vượt trội. Để tạo ra một chữ ký hợp lệ mà không có khóa bí mật, kẻ tấn công buộc phải giải phương trình đồng dư phi tuyến phức tạp N = S^S mod n. Mức độ phức tạp của phương trình này cao hơn nhiều so với bài toán logarit rời rạc đơn thuần.

Thứ tư, tính ổn định và chính xác của thuật toán đạt tỷ lệ 100% trên toàn bộ 50/50 lượt thử nghiệm thực tế, hoàn toàn không phát sinh lỗi xung đột dữ liệu hay sai lệch chữ ký trong quá trình truyền nhận qua giao thức mạng Internet.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp lược đồ đạt được độ an toàn cao là nhờ cơ chế phân tán bí mật vào 3 tham số độc lập nhưng có mối liên hệ toán học chặt chẽ. Điều này triệt tiêu hoàn toàn điểm yếu tấn công nhân tính chất đại số vốn tồn tại trên hệ thống RSA nguyên bản.

So với các chuẩn chữ ký số quốc tế như DSS của Mỹ hay GOST 3410.94 của Nga vốn chỉ dựa trên bài toán logarit rời rạc, lược đồ đề xuất tạo ra cơ chế phòng vệ 2 lớp vững chắc. Khi một bài toán thành phần gặp rủi ro giải thuật toán học mới, bài toán còn lại vẫn bảo đảm che chắn cho toàn bộ hệ thống.

Về mặt trực quan hóa, toàn bộ dữ liệu kiểm thử có thể được biểu diễn thông qua biểu đồ cột so sánh thời gian thực thi thuật toán theo các cấp độ dài khóa 512 bit, 1024 bit và 2048 bit. Đi kèm với đó là bảng ma trận đối chiếu khả năng kháng các dạng tấn công phổ biến giữa RSA cổ điển, ElGamal và lược đồ mới, minh chứng rõ ràng ưu thế vượt trội của phương pháp đề xuất.

Đề xuất và khuyến nghị

Thứ nhất, nâng cấp chiều dài khóa mật mã: Ban chỉ đạo Công nghệ thông tin Sở Khoa học và Công nghệ tỉnh Nam Định cần nâng chuẩn độ dài khóa hệ thống từ 512 bit lên tối thiểu 1024 bit và hướng tới 2048 bit trong vòng 6 tháng tới, nhằm tăng cường khả năng phòng thủ thêm 60% trước các công cụ thám mã tự động.

Thứ tư, tích hợp module ký số vào cổng dịch vụ công trực tuyến: Trung tâm Công nghệ thông tin chủ trì tích hợp trọn bộ 3 module phần mềm (Tạo tham số khóa, Ký số và Xác thực chữ ký) vào hệ thống quản lý văn bản điều hành nội bộ trong lộ trình 9 tháng, bảo đảm 100% văn bản hành chính gửi đến các huyện được xác thực số hóa.

Thứ ba, chuẩn hóa quy trình quản lý chứng thư số cá nhân: Lãnh đạo cơ quan phối hợp với các tổ chức chứng thực CA công cộng để tổ chức đào tạo và bàn giao thiết bị lưu khóa an toàn cho khoảng 150 cán bộ, chuyên viên quản lý trong thời hạn 3 tháng, giúp loại bỏ 99% nguy cơ lộ lọt khóa bí mật từ máy trạm.

Thứ tư, thiết lập cơ chế giám sát và diễn tập định kỳ: Tổ an toàn thông tin triển khai đánh giá lỗ hổng mật mã và diễn tập ứng phó sự cố giả mạo dữ liệu định kỳ 2 lần mỗi năm, bảo đảm thời gian phát hiện và cô lập các văn bản bị can thiệp trái phép dưới 15 phút.

Đối tượng nên tham khảo luận văn

Học viên cao học và nghiên cứu sinh chuyên ngành Khoa học máy tính, An toàn thông tin: Tiếp cận hệ thống chứng minh toán học chặt chẽ về bài toán phân tích số và bài toán khai căn, làm tài liệu tham khảo giá trị cho các công trình nghiên cứu mở rộng về mật mã phi đối xứng.

Kỹ sư phát triển phần mềm và chuyên gia an ninh mạng: Tham khảo trực tiếp kiến trúc 3 module lập trình Java, cấu trúc hàm xử lý số nguyên lớn và thuật toán sinh tham số để ứng dụng vào việc xây dựng các phần mềm ký số chuyên dụng cho doanh nghiệp.

Cán bộ quản trị hệ thống tại các cơ quan quản lý nhà nước: Nắm bắt mô hình ứng dụng thực tế để triển khai giải pháp xác thực văn bản liên thông an toàn giữa 10 đến 20 cơ quan, đơn vị cấp phòng và cấp huyện trực thuộc.

Lãnh đạo phụ trách chuyển đổi số trong các tổ chức kinh tế và tài chính số: Có cơ sở khoa học để đánh giá mức độ an toàn của hạ tầng PKI, từ đó đưa ra quyết định đầu tư công nghệ bảo mật phù hợp cho các giao dịch trực tuyến trị giá hàng tỷ đồng.

Câu hỏi thường gặp

Lược đồ chữ ký số trong luận văn có điểm gì vượt trội so với RSA thông thường? Lược đồ kết hợp đồng thời 2 bài toán khó là phân tích số nguyên lớn và khai căn modulo hợp số, đồng thời sử dụng bộ 3 khóa bí mật {x, t, phi(n)}. Nhờ đó, lược đồ loại bỏ hoàn toàn tính chất nhân đại số dễ bị khai thác của RSA và tăng độ an toàn lên hơn 40%.

Tại sao bài toán phân tích số lại đảm bảo an toàn cho hệ mật mã? Độ an toàn dựa trên việc nhân 2 số nguyên tố lớn p và q có độ dài hàng trăm chữ số để tạo ra hợp số n thì rất nhanh, nhưng quá trình đảo ngược để tìm p và q từ n đòi hỏi hàng ngàn năm tính toán trên các máy tính cấu hình 2.0 GHz hiện nay.

Mô hình thực nghiệm tại Sở Khoa học và Công nghệ tỉnh Nam Định hoạt động ra sao? Hệ thống phục vụ việc gửi nhận văn bản điều hành từ 4 phòng ban của Sở tới các phòng Công thương cấp huyện. Cán bộ Sở sử dụng khóa bí mật để ký số lên tệp tài liệu, phía huyện dùng khóa công khai tương ứng để thẩm tra nguồn gốc và tính toàn vẹn đạt độ chính xác 100%.

Ứng dụng thử nghiệm được xây dựng bằng công nghệ gì? Toàn bộ chương trình được lập trình bằng ngôn ngữ Java JDK, sử dụng thư viện toán học số nguyên lớn để xử lý khóa 512 bit. Phần mềm chia thành 3 giao diện trực quan: Module tạo tham số và khóa, Module tạo chữ ký số và Module xác minh chữ ký.

Làm thế nào để hệ thống ngăn chặn hành vi làm giả chữ ký số? Để giả mạo chữ ký mà không có khóa mật, kẻ tấn công phải giải phương trình phi tuyến N = S^S mod n hoặc đảo ngược hàm băm SHA-1 của bản tin. Về mặt toán học, cả hai tác vụ này đều không thể thực hiện được trong thời gian thực với tài nguyên tính toán thông thường.

Kết luận

  • Hệ thống hóa toàn diện cơ sở lý thuyết về mật mã khóa công khai, bài toán phân tích số nguyên lớn và các chuẩn chữ ký số quốc tế như RSA, ElGamal, DSS và GOST.
  • Thiết kế hoàn chỉnh lược đồ chữ ký số mới dựa trên tính khó của việc giải đồng thời bài toán phân tích số và bài toán khai căn modulo hợp số.
  • Chứng minh toán học chặt chẽ tính đúng đắn tuyệt đối của phương trình xác minh chữ ký và chứng minh khả năng kháng các hình thức thám mã giả mạo.
  • Xây dựng thành công phần mềm thực nghiệm trên nền tảng Java gồm 3 module độc lập, vận hành mượt mà với khóa 512 bit và thời gian xác thực dưới 45 ms.
  • Ứng dụng hiệu quả vào kịch bản trao đổi văn bản điện tử an toàn tại Sở Khoa học và Công nghệ tỉnh Nam Định, chứng minh tính khả thi cao trong thực tiễn.

Công trình đã đóng góp một giải pháp mật mã học vừa có giá trị lý thuyết sâu sắc, vừa có khả năng ứng dụng thực tiễn cao cho bài toán an toàn dữ liệu. Lộ trình phát triển tiếp theo trong 12 tháng tới sẽ tập trung nâng cấp độ dài khóa lên 2048 bit và mở rộng thử nghiệm trên các nền tảng thiết bị di động thông minh. Hãy tham khảo và ứng dụng ngay các nguyên lý trong luận văn để nâng tầm bảo mật cho hệ thống thông tin của bạn!