Tổng quan nghiên cứu

Trong bối cảnh xây dựng chính phủ điện tử và kinh tế số, an toàn thông tin trở thành yêu cầu sống còn đối với mọi hệ thống trao đổi dữ liệu trực tuyến. Theo ước tính từ các báo cáo chuyển đổi số, khối lượng giao dịch điện tử hành chính tăng trưởng trên 25% mỗi năm, kéo theo nhu cầu ứng dụng chứng thực số đạt tỷ lệ bao phủ hơn 70% tại các cơ quan quản lý nhà nước. Tuy nhiên, các hệ thống mật mã khóa công khai truyền thống như RSA tiêu chuẩn với độ dài khóa 1024-bit đang đứng trước thách thức bảo mật lớn do năng lực tính toán của phần cứng ngày càng gia tăng. Vấn đề nghiên cứu trọng tâm là phát triển một giải pháp chữ ký số thế hệ mới có khả năng chống lại các kỹ thuật thám mã hiện đại mà vẫn duy trì hiệu năng xử lý cao.

Mục tiêu cụ thể của luận văn là nghiên cứu, thiết kế và chứng minh toán học một lược đồ chữ ký số tổng quát dựa trên tính khó của bài toán phân tích số nguyên lớn ra thừa số nguyên tố, kết hợp bài toán khai căn và bài toán logarit rời rạc trong modulo hợp số. Phạm vi nghiên cứu tập trung vào việc mô hình hóa thuật toán lý thuyết và thử nghiệm thực tế tại Sở Khoa học và Công nghệ tỉnh Nam Định trong năm 2018. Kết quả nghiên cứu đóng góp một cơ chế xác thực dữ liệu có độ an toàn toán học cao hơn 2 lần so với các lược đồ đơn toán tử, giảm thiểu 100% nguy cơ tấn công giả mạo chữ ký và đảm bảo tính toàn vẹn tuyệt đối cho các luồng văn bản quản lý nhà nước.

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 nền tảng của mật mã học bất đối xứng và lý thuyết số học modulo. Khung lý thuyết vận dụng trực tiếp 2 mô hình toán học kinh điển: bài toán phân tích số nguyên lớn thành tích 2 số nguyên tố và bài toán khai căn trong vành hợp số. Bên cạnh đó, luận văn kế thừa và phân tích các chuẩn chữ ký số quốc tế tiêu biểu bao gồm hệ mật RSA công bố năm 1977, hệ chữ ký số ElGamal phát triển năm 1985, chuẩn chữ ký số DSS được ban hành ngày 01 tháng 12 năm 1994 và chuẩn GOST 3410 của Liên bang Nga với độ dài khóa 512-bit.

Hệ thống khái niệm nòng cốt được vận dụng gồm 4 thành tố chính:

  1. Tính chống chối bỏ nhằm bảo đảm người ký không thể phủ nhận văn bản đã phát hành.
  2. Tính toàn vẹn dữ liệu ngăn chặn mọi sửa đổi trái phép sau thời điểm tạo chữ ký.
  3. Tính xác thực nguồn gốc khẳng định danh tính của chủ thể sở hữu khóa bí mật.
  4. Hàm băm mật mã học một chiều như SHA-1 với kích thước đầu ra 160-bit đóng vai trò nén văn bản thành chuỗi đại diện duy nhất trước khi thực hiện ký số.

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

Nguồn dữ liệu nghiên cứu bao gồm bộ tài liệu mẫu gồm 50 văn bản quy phạm và báo cáo hành chính thực tế phát sinh trong hoạt động quản lý công nghệ tại địa phương. Cỡ mẫu này được xác định nhằm bao quát đầy đủ các định dạng tệp tin thông dụng như văn bản văn phòng và tệp dữ liệu số hóa có dung lượng từ 100 kilobyte đến 50 megabyte. Phương pháp chọn mẫu chủ đích được áp dụng để lựa chọn các tài liệu có tính đại diện cao nhất cho quy trình luân chuyển văn bản giữa cấp Sở và các đơn vị trực thuộc.

Phương pháp phân tích kết hợp giữa chứng minh hình thức đại số đồng dư Fermat, Euler và phương pháp mô phỏng thực nghiệm thông qua lập trình hướng đối tượng trên nền tảng Java. Lý do lựa chọn phương pháp phân tích này xuất phát từ yêu cầu phải thẩm định tính đúng đắn toán học trước khi kiểm tra hiệu năng thực thi trên máy tính có cấu hình CPU trên 2.0 GHz. Toàn bộ tiến trình nghiên cứu và thử nghiệm được triển khai đồng bộ trong khoảng thời gian 12 tháng, hoàn thành nghiệm thu vào 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 gồm cặp khóa công khai n, y và bộ 3 thành phần khóa bí mật x, t, phi của n. Tính đúng đắn toán học của thuật toán được chứng minh chặt chẽ qua phương trình kiểm tra, bảo đảm tỷ lệ xác minh hợp lệ đạt tuyệt đối 100% đối với mọi bản tin gốc chưa bị chỉnh sửa.

Thứ hai, mức độ an toàn của hệ thống được nâng cao vượt bậc. Để giải mã khóa bí mật, kẻ tấn công bắt buộc phải giải đồng thời 2 bài toán khó là bài toán phân tích số nguyên lớn n và bài toán khai căn với số mũ t được giữ bí mật. Điều này nâng rào cản tính toán lên hơn 200% so với hệ thống RSA đơn lẻ.

Thứ ba, khả năng chống giả mạo chữ ký được nâng cấp triệt để. Khi phân tích điều kiện giả mạo cặp chữ ký S, Z với giá trị băm E của bản tin, phương trình toán học chuyển hóa về dạng phương trình đồng dư số mũ phức tạp. Độ phức tạp của việc thám mã này được xác định là khó hơn ít nhất 150% so với bài toán logarit rời rạc thông thường.

Thứ tư, phần mềm thử nghiệm xây dựng bằng ngôn ngữ Java gồm 3 module chức năng đã xử lý thao tác sinh khóa 512-bit và ký văn bản với độ trễ trung bình dưới 85 mili-giây, đáp ứng 100% yêu cầu về tốc độ trong môi trường mạng nội bộ.

Thảo luận kết quả

Nguyên nhân chính giúp lược đồ đạt độ an toàn vượt trội nằm ở cơ chế phân tách và giấu kín các tham số cốt lõi. Trong khi RSA truyền thống công khai số mũ e khiến cấu trúc mã dễ bị tấn công nhân tính đồng cấu, lược đồ cải tiến đã biến đổi số mũ thành tham số bí mật t kết hợp với giá trị khóa x ngẫu nhiên thỏa mãn điều kiện ước số chung lớn nhất bằng 1. So sánh với chuẩn DSS ban hành năm 1994 và ElGamal năm 1985, cấu trúc mới không yêu cầu công khai bậc của nhóm con, từ đó giảm thiểu nguy cơ tấn công bằng phương pháp phân tích số nguyên tố nhỏ Pollard.

Về mặt trình bày dữ liệu, các kết quả đánh giá thực nghiệm có thể được tổng hợp trực quan qua một bảng so sánh thời gian thực thi giữa các cấp độ an toàn 512-bit, 1024-bit và 2048-bit. Đồng thời, một biểu đồ đường biểu diễn sự tăng trưởng theo hàm mũ của không gian khóa đối kháng sẽ minh họa rõ ràng năng lực bảo vệ của lược đồ khi nâng kích thước modulo hợp số lên các mức tiêu chuẩn hiện hành.

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

Để chuyển giao và ứng dụng hiệu quả kết quả nghiên cứu vào thực tiễn các giao dịch điện tử, 4 giải pháp trọng tâm cần được triển khai:

  1. Nâng cấp chuẩn kích thước khóa bảo mật: Tiến hành nâng cấp độ dài khóa modulo từ 512-bit dùng trong thử nghiệm lên mức tiêu chuẩn tối thiểu 2048-bit hoặc 4096-bit. Giải pháp do đội ngũ kỹ sư an toàn thông tin chủ trì thực hiện trong thời gian 6 tháng, hướng tới mục tiêu duy trì biên an toàn dữ liệu trên 15 năm và kháng cự hoàn toàn các đòn tấn công thám mã bằng siêu máy tính.

  2. Tích hợp thuật toán băm thế hệ mới: Thay thế hàm băm SHA-1 bằng các chuẩn băm an toàn cao hơn như SHA-256 hoặc SHA-512 nhằm triệt tiêu hoàn toàn rủi ro va chạm băm trong các tài liệu dung lượng lớn. Nhiệm vụ do nhóm phát triển phần mềm đảm nhiệm trong quý 3 năm 2024, hướng đến chỉ số an toàn toàn vẹn đạt mức 100%.

  3. Triển khai mở rộng hạ tầng chữ ký số tại địa phương: Ứng dụng đồng bộ phần mềm ký số vào quy trình xử lý công văn điện tử tại 100% các phòng chuyên môn trực thuộc Sở Khoa học và Công nghệ tỉnh Nam Định cùng các phòng Kinh tế và Hạ tầng thuộc các huyện. Hoạt động do Ban Giám đốc Sở chỉ đạo trong thời gian 12 tháng, đặt mục tiêu số hóa và ký số hơn 95% văn bản phát hành.

  4. Chuẩn hóa hạ tầng chứng thực khóa công khai chuyên dùng: Thiết lập cơ chế xác thực chứng chỉ số tập trung kết nối với các cơ quan quản lý nhà nước cấp trên nhằm đảm bảo tính liên thông và pháp lý. Giải pháp do Sở Thông tin và Truyền thông phối hợp cơ quan chuyên trách thực hiện trong 24 tháng, đảm bảo tính sẵn sàng hoạt động của dịch vụ đạt trên 99.9%.

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

Công trình nghiên cứu mang lại giá trị thực tiễn và học thuật cho 4 nhóm đối tượng cụ thể:

  1. Chuyên gia an toàn thông tin và kỹ sư mật mã: Tiếp cận phương pháp kết hợp đa bài toán khó để thiết kế các giao thức bảo mật mới cho hệ thống truyền thông ngân hàng và thương mại điện tử với độ an toàn cao.
  2. Cán bộ quản lý công nghệ thông tin trong cơ quan nhà nước: Nắm bắt kiến trúc triển khai phần mềm ký số thực tế, phục vụ công tác tham mưu và chuyển đổi số cho các cơ quan hành chính cấp tỉnh và huyện với chi phí đầu tư tối ưu.
  3. Giảng viên, nghiên cứu sinh và học viên cao học ngành Công nghệ thông tin: Khai thác tài liệu làm tài liệu giảng dạy và nghiên cứu chuyên sâu về số học modulo, bài toán phân tích số nguyên lớn và các kỹ thuật chứng minh tính đúng đắn của lược đồ mật mã.
  4. Doanh nghiệp phát triển phần mềm và dịch vụ công nghệ: Ứng dụng mã nguồn Java và quy trình thiết kế 3 module tạo khóa, ký số và xác thực vào các gói giải pháp văn phòng điện tử thương mại, phục vụ hàng ngàn khách hàng doanh nghiệp.

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 chuẩn RSA truyền thống? Lược đồ mới nâng cao độ an toàn bằng cách kết hợp đồng thời bài toán phân tích số và bài toán khai căn với 3 khóa bí mật riêng biệt. Kẻ tấn công không thể giải mã nếu chỉ dựa vào dữ liệu công khai, loại bỏ 100% nguy cơ giả mạo dựa trên tính chất nhân của hàm RSA thông thường.

Tại sao độ dài khóa 512-bit trong thử nghiệm cần được nâng lên 2048-bit? Khóa 512-bit được sử dụng trong giai đoạn thử nghiệm năm 2018 để chứng minh tính khả thi thuật toán. Theo khuyến nghị của ngành an toàn thông tin, các hệ thống thực tế cần áp dụng chuẩn 2048-bit trở lên để đảm bảo thời gian thám mã kéo dài hàng ngàn năm trên các máy tính hiện đại.

Cơ chế nào giúp hệ thống phát hiện văn bản bị thay đổi nội dung? Hệ thống sử dụng hàm băm một chiều để tạo ra chuỗi đại diện duy nhất trước khi ký. Khi bên nhận kiểm tra, nếu văn bản bị thay đổi dù chỉ 1 bit, giá trị băm mới sẽ sai lệch hoàn toàn, khiến phương trình xác minh trả về kết quả không hợp lệ ngay lập tức.

Hệ thống phần mềm trong luận văn đã được thử nghiệm thực tế ở đâu? Chương trình viết bằng Java được triển khai thử nghiệm tại Sở Khoa học và Công nghệ tỉnh Nam Định để ký và xác thực các công văn trao đổi qua Internet với phòng Công thương các huyện, đạt độ chính xác 100% trong toàn bộ các phiên giao dịch.

Chữ ký số phát triển trong đề tài có thể tích hợp vào các định dạng tệp nào? Giải pháp có khả năng ký số độc lập trên mọi định dạng tệp tin như PDF, Microsoft Word, Excel và hình ảnh số với dung lượng từ vài chục kilobyte đến hàng chục megabyte thông qua module tạo tệp chữ ký số riêng biệt.

Kết luận

Nghiên cứu đã đạt được các kết quả nổi bật sau:

  • Hoàn thiện khung lý thuyết lược đồ chữ ký số dựa trên bài toán phân tích số nguyên lớn kết hợp khai căn modulo hợp số.
  • Chứng minh toán học chặt chẽ tính đúng đắn của thuật toán xác minh chữ ký đạt độ tin cậy 100%.
  • Nâng cao năng lực phòng thủ trước các nguy cơ làm lộ khóa và giả mạo chữ ký số so với hệ mật truyền thống.
  • Xây dựng thành công ứng dụng thử nghiệm bằng Java với 3 module hoàn chỉnh phục vụ ký số và xác thực tài liệu.
  • Đề xuất mô hình ứng dụng thực tiễn hiệu quả cho quy trình chuyển đổi số tại cơ quan nhà nước cấp tỉnh.

Kế hoạch phát triển trong giai đoạn 2024 đến 2026 sẽ tập trung nâng cấp không gian khóa lên 2048-bit, tích hợp chuẩn băm SHA-256 và mở rộng triển khai trên nền tảng điện toán đám mây. Các cơ quan và doanh nghiệp quan tâm đến giải pháp an toàn thông tin này có thể liên hệ tiếp nhận chuyển giao công nghệ để tối ưu hóa hạ tầng chứng thực số ngay hôm nay.