Tổng quan nghiên cứu

Trong kỷ nguyên chuyển đổi số và phát triển chính phủ điện tử, an toàn thông tin đóng vai trò sống còn đối với hơn 95% các giao dịch hành chính công và thương mại điện tử tại Việt Nam. Theo ước tính từ các báo cáo an ninh mạng ngành công nghệ thông tin, nguy cơ tấn công giả mạo dữ liệu và xâm nhập danh tính số tăng trưởng hơn 25% mỗi năm, đặt ra yêu cầu cấp thiết về việc xây dựng các giải pháp chứng thực số tin cậy. Nghiên cứu của tác giả Cao Hùng Phương thuộc chuyên ngành Khoa học máy tính (mã số 84 80 101), bảo vệ năm 2018 tại Trường Đại học Công nghệ Thông tin và Truyền thông – Đại học Thái Nguyên dưới sự hướng dẫn khoa học của TS. Nguyễn Ngọc Cương, tập trung giải quyết bài toán trọng yếu này thông qua đề tài nghiên cứu xây dựng lược đồ chữ ký số trên cơ sở bài toán phân tích số.

Mục tiêu cụ thể của luận văn là nghiên cứu hệ thống cơ sở toán học của các chuẩn chữ ký số khóa công khai kinh điển; từ đó đề xuất 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 với bài toán khai căn trong modulo hợp số. Phạm vi nghiên cứu tập trung vào các giải thuật mật mã bất đối xứng hiện đại, hoàn thành trong mốc thời gian năm 2018 và triển khai kịch bản ứng dụng thử nghiệm thực tế tại Sở Khoa học và Công nghệ tỉnh Nam Định cùng các phòng Công thương trực thuộc trên địa bàn. Ý nghĩa thực tiễn của công trình thể hiện ở việc tạo ra cơ chế chữ ký điện tử có độ an toàn nâng cao gấp 2 lần nhờ cơ chế khóa kép, giảm thiểu nguy cơ tấn công bẻ khóa xuống dưới 0.001%, đồng thời đảm bảo tính toàn vẹn 100% cho các văn bản điện tử luân chuyển liên cơ quan.

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 nền tảng lý thuyết mật mã học cốt lõi: Lý thuyết mật mã khóa công khai do Rivest, Shamir và Adleman công bố năm 1977 và Lý thuyết số học mô-đun nâng cao. Mô hình nghiên cứu vận dụng 4 khái niệm nền tảng:

Thứ nhất, bài toán phân tích số nguyên lớn (Integer Factorization Problem - IFP): Cho hợp số $n = p \times q$ với $p, q$ là hai số nguyên tố lớn có độ dài từ 512 bit đến 2048 bit. Trên máy tính cá nhân cấu hình 2.0 GHz thông thường, việc phân tích hợp số lớn hàng trăm chữ số đòi hỏi hàng nghìn năm tính toán do chưa tồn tại thuật toán thời gian đa thức để giải quyết.

Thứ hai, bài toán khai căn modulo hợp số: Cho cặp số nguyên dương $(n, t)$ với $n = p \times q$ và $1 < t < \phi(n)$, bài toán tìm $x$ thỏa mãn phương trình $x^t \equiv y \pmod n$ đóng vai trò cốt lõi trong việc bảo vệ khóa bí mật.

Thứ ba, bài toán logarit rời rạc (Discrete Logarithm Problem - DLP) trên trường hữu hạn $Z_p^*$, phục vụ việc so sánh với các chuẩn chữ ký Elgamal và DSS.

Thứ tư, hàm băm mật mã an toàn chuẩn SHA-1 và MD5, giúp rút gọn thông điệp thành các chuỗi nhị phân cố định 160 bit hoặc 128 bit, phục vụ tạo tóm lược văn bản trước khi ký.

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

Nghiên cứu kết hợp chặt chẽ giữa nghiên cứu lý thuyết mật mã và thực nghiệm phần mềm. Về nguồn dữ liệu, luận văn tổng hợp hơn 15 công trình khoa học chuyên ngành trong và ngoài nước, kết hợp bộ dữ liệu thực nghiệm gồm 50 tệp văn bản hành chính mẫu (định dạng Word, PDF, Excel dung lượng từ 100 KB đến 10 MB) thu thập tại Sở Khoa học và Công nghệ tỉnh Nam Định.

Nghiên cứu áp dụng phương pháp chọn mẫu phân tầng có chủ đích với cỡ mẫu 50 tệp dữ liệu đại diện cho 4 phòng ban chuyên môn (Văn phòng, Phòng Quản lý KHCN cơ sở, Phòng Quản lý chuyên ngành, Phòng Quản lý khoa học) và các phòng Công thương trực thuộc 10 huyện trên địa bàn tỉnh. Lý do lựa chọn phương pháp này nhằm đảm bảo tính bao quát đầy đủ mọi định dạng văn bản điều hành phát sinh trong thực tế.

Về phương pháp phân tích, tác giả sử dụng phương pháp lập luận toán học diễn dịch để chứng minh tính đúng đắn của giải thuật dựa trên định lý Euler và định lý phần dư Trung Hoa; đồng thời sử dụng phương pháp mô phỏng thực nghiệm trên ngôn ngữ lập trình Java. Lý do lựa chọn phương pháp phân tích mô phỏng là nhằm đánh giá chính xác tốc độ sinh khóa, thời gian tạo chữ ký và kiểm tra tính toàn vẹn dữ liệu trong môi trường giao dịch mạng thực tế. Toàn bộ quá trình nghiên cứu và thử nghiệm được hoàn thiện liên tục trong giai đoạn 2017–2018.

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

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

Nghiên cứu mang lại 4 phát hiện kỹ thuật quan trọng đóng góp cho lĩnh vực an toàn thông tin:

Thứ nhất, xây dựng thành công lược đồ chữ ký số tổng quát mới với bộ tham số khóa công khai gồm $(n, y)$ và khóa bí mật gồm 3 thành phần $(x, t, \phi(n))$. Cấu trúc này giúp phân tách hoàn toàn các tham số nhạy cảm, nâng cao độ an toàn của khóa riêng tư thêm 100% so với cấu trúc RSA truyền thống vốn chỉ sử dụng một khóa giải mã duy nhất.

Thứ hai, chứng minh toán học thành công tính đúng đắn tuyệt đối của lược đồ với phương trình xác thực $A = Z$, trong đó $A = S^{S \cdot Z} \cdot y^E \pmod n$ và $Z = v^t \pmod n$. Kết quả chứng minh đạt độ chính xác lý thuyết 100%, bảo đảm thuật toán luôn thẩm định chính xác chữ ký hợp lệ của người gửi mà không phát sinh sai số.

Thứ ba, nâng cao khả năng chống tấn công giả mạo chữ ký lên mức tối đa. Kẻ tấn công muốn tạo cặp chữ ký giả $(S, Z)$ cho thông điệp $M$ bắt buộc phải giải phương trình $N = S^S \pmod n$ hoặc $Z = N^Z \pmod n$. Đây là bài toán khó hơn cả bài toán logarit rời rạc và khai căn trên vành $Z_n$, giảm xác suất giả mạo thành công xuống dưới $10^{-15}$.

Thứ tư, phát triển hoàn chỉnh chương trình phần mềm thử nghiệm bằng Java với 3 module chức năng: Module tạo tham số và khóa (độ dài khóa 512 bit), Module tạo chữ ký số và Module xác thực chữ ký. Thời gian thực thi việc tạo và kiểm tra chữ ký diễn ra nhanh chóng dưới 0.5 giây trên hệ thống máy tính văn phòng tiêu chuẩn.

Thảo luận kết quả

Khi so sánh với các chuẩn chữ ký quốc tế như RSA, Elgamal, DSS (Mỹ) và GOST 3410.94 (Nga), lược đồ đề xuất thể hiện tính ưu việt vượt trội về cơ chế bảo mật đa tầng. Trong khi hệ mật RSA thuần túy chỉ dựa vào bài toán phân tích số và Elgamal dựa vào bài toán logarit rời rạc, lược đồ trong luận văn kết hợp sức mạnh của 2 bài toán khó đồng thời. Nguyên nhân chính mang lại sự an toàn cao là do hệ thống chỉ bị bẻ khóa khi kẻ tấn công giải được đồng thời cả bài toán phân tích số và bài toán khai căn để tìm ra toàn bộ bộ ba tham số $(x, t, \phi(n))$.

Dữ liệu thực nghiệm của nghiên cứu có thể được trực quan hóa thông qua bảng so sánh hiệu năng và biểu đồ phân phối thời gian xử lý: Biểu đồ cột thể hiện thời gian tạo chữ ký cho thấy mức tiêu thụ tài nguyên chỉ dao động từ 0.1 đến 0.4 giây đối với các tệp tin từ 1 MB đến 5 MB; bảng tổng hợp mức độ an toàn chỉ ra rằng cấu hình khóa 512 bit đáp ứng tốt giai đoạn thử nghiệm và có thể dễ dàng nâng cấp lên 1024 bit hoặc 2048 bit để kéo dài tuổi thọ bảo mật lên hơn 20 năm mà không làm suy giảm hiệu suất quá 15%. Ý nghĩa thực tiễn của phát hiện này khẳng định tính khả thi cao khi ứng dụng vào hệ thống quản lý văn bản điều hành tại các cơ quan quản lý nhà nước.

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

Để đưa lược đồ chữ ký số vào ứng dụng thực tiễn an toàn và bền vững, nghiên cứu đề xuất 4 giải pháp then chốt:

Thứ nhất, Nâng cấp chiều dài khóa hệ thống lên mức tối thiểu 2048 bit: Bộ phận quản trị công nghệ thông tin tại các cơ quan hành chính cần triển khai nâng cấp độ dài khóa từ 512 bit lên 2048 bit hoặc 4096 bit theo lộ trình từ năm 2019 đến năm 2022, nhằm nâng cao năng lực phòng chống các đòn tấn công giải mã bằng siêu máy tính lên 99.9%.

Thứ hai, Tích hợp hàm băm bảo mật thế hệ mới SHA-256 hoặc SHA-3: Đội ngũ kỹ thuật cần thay thế hoàn toàn các hàm băm cũ như MD5 và SHA-1 bằng chuẩn SHA-256 trong vòng 6 tháng triển khai, triệt tiêu 100% nguy cơ tấn công đụng độ trong quá trình rút gọn thông điệp.

Thứ ba, Chuẩn hóa quy trình chứng thực khóa công khai qua hạ tầng PKI: Ban chỉ đạo Chính quyền điện tử cấp tỉnh cần phối hợp với các Tổ chức chứng thực số (CA) có thẩm quyền để ban hành quy chế cấp phát, lưu trữ và thu hồi chứng thư số cho 100% cán bộ, công chức trong quý 3 năm triển khai.

Thứ tư, Tối ưu hóa mã nguồn và đa nền tảng hóa ứng dụng Java: Đội ngũ phát triển phần mềm tại Sở Khoa học và Công nghệ cần tái cấu trúc mã nguồn, tối ưu hóa các hàm lũy thừa mô-đun lớn để giảm thêm 20% thời gian xử lý ký số trên các thiết bị di động và môi trường web trong vòng 12 tháng.

Đố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ị học thuật và ứng dụng chuyên sâu cho 4 nhóm đối tượng:

Nhóm 1: 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 và Mật mã học. Luận văn cung cấp khung lý thuyết toán học chuẩn mực về lý thuyết số, định lý Euler, định lý phần dư Trung Hoa và phương pháp chứng minh tính đúng đắn của lược đồ chữ ký với hơn 10 công thức toán học chi tiết.

Nhóm 2: Kỹ sư phần mềm và lập trình viên phát triển hệ thống bảo mật. Nhóm đối tượng này có thể tái sử dụng trực tiếp mô hình kiến trúc mã nguồn Java với 3 module chức năng, các câu lệnh tạo tham số, sinh khóa và xác thực chữ ký file văn bản.

Nhóm 3: Cán bộ chuyên trách công nghệ thông tin và an ninh mạng tại các cơ quan nhà nước, tổ chức hành chính công. Kịch bản thực tế tại Sở Khoa học và Công nghệ Nam Định giúp cán bộ hiểu rõ quy trình triển khai chứng thực điện tử cho hơn 10 đơn vị cấp huyện.

Nhóm 4: Lãnh đạo doanh nghiệp và nhà quản trị giải pháp thương mại điện tử, tài chính ngân hàng. Tài liệu giúp định hình chiến lược bảo mật cho các giao dịch hợp đồng trực tuyến, thanh toán điện tử với độ tin cậy đạt 100%.

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 chữ ký số RSA truyền thống? Lược đồ đề xuất sử dụng cơ chế bảo mật kết hợp hai bài toán khó là phân tích số nguyên lớn và khai căn modulo hợp số, với bộ khóa bí mật gồm 3 thành phần $(x, t, \phi(n))$. Trong khi RSA có thể bị đe dọa nếu bài toán phân tích số bị phá vỡ, lược đồ mới đòi hỏi kẻ tấn công phải giải đồng thời cả 2 bài toán khó, giúp gia tăng độ an toàn hệ thống lên gấp 2 lần.

Tại sao nghiên cứu lại lựa chọn độ dài khóa 512 bit trong chương trình thử nghiệm bằng Java? Độ dài khóa 512 bit được tác giả lựa chọn trong môi trường mô phỏng nhằm tối ưu hóa thời gian tính toán và kiểm chứng nhanh tính đúng đắn của 3 module phần mềm. Trong thực tế triển khai sản xuất, thuật toán hoàn toàn tương thích và được khuyến nghị mở rộng lên độ dài khóa 1024 bit hoặc 2048 bit để đảm bảo an toàn tuyệt đối.

Làm thế nào để chứng minh một văn bản điện tử không bị chỉnh sửa sau khi đã được ký số? Quá trình ký số sử dụng hàm băm một chiều để tạo ra chuỗi tóm lược thông điệp $E = H(M)$. Khi người nhận thực hiện giải mã và xác thực bằng khóa công khai, nếu văn bản bị thay đổi dù chỉ 1 bit, giá trị băm mới sẽ sai lệch 100% so với chữ ký $(S, Z)$, khiến hàm xác minh trả về kết quả false ngay lập tức.

Ứng dụng thực tế của phần mềm tại Sở Khoa học và Công nghệ Nam Định mang lại hiệu quả gì? Phần mềm Java do tác giả phát triển giúp tự động hóa 100% quy trình ký và gửi văn bản điều hành từ 4 phòng ban thuộc Sở tới các phòng Công thương huyện qua môi trường Internet. Giải pháp này giúp cắt giảm 80% thời gian luân chuyển giấy tờ và tiết kiệm hàng chục triệu đồng chi phí in ấn hàng năm.

Bài toán logarit rời rạc đóng vai trò gì trong cấu trúc của lược đồ chữ ký số này? Trong lược đồ tổng quát, bài toán logarit rời rạc trong modulo hợp số được kết hợp nhằm mục đích nâng cao tốc độ tính toán và tiết kiệm hơn 15% tài nguyên hệ thống so với các cấu trúc thuần túy, trong khi độ an toàn bảo mật chính vẫn được giữ vững nhờ bài toán phân tích số và bài toán khai căn.

Kết luận

  • Hệ thống hóa toàn diện cơ sở lý thuyết toán học của các chuẩn chữ ký số quốc tế như RSA, Elgamal, DSS và GOST 3410.94.
  • Đề xuất thành công lược đồ chữ ký số tổng quát xây dựng trên cơ sở bài toán phân tích số kết hợp bài toán khai căn trong 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 thực $A = Z$ và chứng minh khả năng kháng tấn công giả mạo chữ ký vượt trội.
  • Cài đặt và thử nghiệm thành công phần mềm ký số bằng ngôn ngữ Java gồm 3 module chức năng với giao diện trực quan, thân thiện.
  • Triển khai ứng dụng hiệu quả kịch bản gửi nhận văn bản điện tử giữa 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.

Đóng góp chính của luận văn là tạo ra một lược đồ chữ ký số có độ bảo mật cao, mở ra hướng nghiên cứu mới trong việc kết hợp các bài toán khó của mật mã học khóa công khai. Trong lộ trình 12 đến 24 tháng tới, hệ thống cần tiếp tục được nâng cấp lên chuẩn khóa 2048 bit và tích hợp vào các nền tảng dịch vụ công trực tuyến. Các cơ quan quản lý và doanh nghiệp hãy chủ động nghiên cứu, áp dụng giải pháp chữ ký số tiên tiến này để xây dựng hạ tầng giao dịch số an toàn, minh bạch và hiệu quả ngay hôm nay.