Tổng quan nghiên cứu

Từ năm 2006, khi Bộ Thương mại và Ngân hàng Nhà nước Việt Nam chính thức triển khai chữ ký số trong thanh toán điện tử theo Luật Giao dịch điện tử năm 2005, quá trình chuyển đổi số trong quản trị doanh nghiệp đã có những bước tiến nhảy vọt. Đến giai đoạn năm 2014, hơn 80% các giao dịch hành chính và thương mại điện tử quy mô vừa và lớn đã bắt đầu ứng dụng các kỹ thuật mật mã khóa công khai. Tuy nhiên, các giải pháp chữ ký số truyền thống như RSA hay DSS tồn tại một nhược điểm cố hữu: tính chất xác thực công khai thụ động cho phép bất kỳ bên thứ ba nào khi có được khóa công khai đều có thể sao chép 100% nội dung và tự do kiểm tra chữ ký mà không cần sự đồng ý của người tạo lập. Điều này tiềm ẩn nguy cơ nghiêm trọng về việc lộ lọt tài liệu mật, chiến lược kinh doanh và thông tin cá nhân nhạy cảm trong hoạt động nội bộ của tổ chức.

Trước thách thức bảo mật đó, nghiên cứu này giải quyết căn bản bài toán kiểm soát quyền xác minh thông qua lược đồ chữ ký không thể phủ nhận (Undeniable Signature). Mục tiêu nghiên cứu cụ thể là hệ thống hóa nền tảng toán học của lược đồ do David Chaum và Hans van Antwerpen đề xuất năm 1989, phân tích các biến thể mở rộng như chữ ký có thể chuyển đổi, chữ ký người xác minh được chỉ định, đồng thời xây dựng một chương trình ứng dụng thực nghiệm bằng ngôn ngữ Objective-C để quản lý văn bản nội bộ. Phạm vi nghiên cứu bao quát các hoạt động ký duyệt văn bản, kiểm tra tính hợp lệ và thực thi giao thức chối bỏ trong hệ thống thông tin doanh nghiệp giai đoạn 2012 đến 2014. Ý nghĩa thực tiễn của công trình thể hiện qua việc loại bỏ hoàn toàn khả năng sao chép và phát tán tài liệu trái phép, đồng thời duy trì độ an toàn toán học tuyệt đối với xác suất sai sót được khống chế dưới mức 2^-510 khi sử dụng khóa kích thước 512 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 vận dụng lý thuyết số hiện đại và đại số trừu tượng làm nền tảng toán học, tập trung vào cấu trúc nhóm Cyclic, trường hữu hạn, cấp của phần tử, phần tử nguyên thủy và độ phức tạp tính toán của bài toán logarit rời rạc (Discrete Logarithm) trên nhóm nhân modulo số nguyên tố. Mô hình lý thuyết trung tâm là lược đồ chữ ký không thể phủ nhận Chaum - van Antwerpen (CVA 1989), được cấu thành từ 3 thuật toán nền tảng: thuật toán tạo khóa và sinh chữ ký, giao thức kiểm tra tương tác hỏi - đáp hai chiều giữa người ký và người nhận, cùng giao thức chối bỏ (Disavowal Protocol) giúp người ký chứng minh một chữ ký là giả mạo thông qua các biến đổi đồng dư thức modulo.

Bên cạnh lược đồ CVA kinh điển, nghiên cứu phân tích sâu 3 lý thuyết mật mã nâng cao:

  1. Lược đồ chữ ký không thể phủ nhận có thể chuyển đổi của Boyar, Chaum và Damgard (1991), cho phép chuyển đổi chữ ký không thể phủ nhận thành chữ ký số tự xác thực thông thường bằng việc công bố khóa bí mật phụ hoặc khóa ngẫu nhiên.
  2. Lược đồ chữ ký người xác minh được chỉ định (Designated Verifier Signatures - DVS 1996) của Jakobsson, Sako và Impagliazzo, ứng dụng cơ chế cam kết cửa sập (Trap-door commitment) để đảm bảo chỉ duy nhất một đối tác được chỉ định mới có thể thẩm định chữ ký.
  3. Lược đồ chữ ký không thể phủ nhận xây dựng trên nền tảng RSA kết hợp cùng hai chuẩn hàm băm một chiều an toàn: hàm băm MD5 với giá trị băm 128 bit (thực hiện qua 4 vòng với 64 bước tính toán) và hàm băm SHA-1 với giá trị băm 160 bit (thực hiện qua 4 vòng với 80 bước tính toán).

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

Nguồn dữ liệu của đề tài được tổng hợp từ hệ thống tài liệu mật mã học quốc tế từ năm 1989 đến 2014, kết hợp cùng các văn bản quy phạm pháp luật tại Việt Nam như Luật Giao dịch điện tử năm 2005 và Nghị định số 170/2013/NĐ-CP. Về khía cạnh thực nghiệm toán học, nghiên cứu thiết lập cỡ mẫu phân tích gồm 100 mô-đun số nguyên tố ngẫu nhiên để thẩm định quy trình sinh khóa an toàn và 50 kịch bản kiểm thử các giao thức ký số, xác nhận và chối bỏ trên phần mềm mô phỏng.

Phương pháp chọn mẫu được áp dụng là chọn mẫu ngẫu nhiên phân tầng theo các điều kiện số nguyên tố an toàn (dạng p = 2q + 1 với q là số nguyên tố) nhằm đảm bảo bài toán logarit rời rạc đạt độ phức tạp lớn nhất. Lý do lựa chọn phương pháp phân tích toán học hình thức kết hợp kiểm thử phần mềm là vì hệ mật mã đòi hỏi phải chứng minh tính đúng đắn, tính đầy đủ và tính tri thức không (Zero-Knowledge Proof) bằng toán học chặt chẽ, đồng thời cần kiểm chứng tính tương thích khi cài đặt ứng dụng bằng ngôn ngữ Objective-C trong môi trường doanh nghiệp. Toàn bộ timeline nghiên cứu và thực nghiệm được tiến hành liên tục từ năm 2012 đến tháng 11 năm 2014.

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 khẳng định lược đồ CVA ngăn chặn 100% khả năng bên thứ ba tự ý thẩm tra tính hợp lệ của văn bản mà không có sự đồng ý của người ký. Trong trường hợp chữ ký giả mạo, người xác minh chỉ có thể bị đánh lừa với xác suất tối đa bằng 1/q. Khi triển khai hệ thống với tham số nhị phân kích thước 512 bit, giá trị q đạt trên 2^510, kéo xác suất xảy ra lỗi xuống dưới 2^-510, tiệm cận hoàn toàn mức an toàn tuyệt đối.

Thứ hai, cơ chế chữ ký có thể chuyển đổi có chọn lọc giúp tối ưu hóa 75% khối lượng xử lý của người ký trong các tình huống cần giải mật hàng loạt tài liệu sau khi thanh lý hợp đồng hoặc công bố tài chính, mà không làm suy giảm độ an toàn của các tài liệu mật còn lại trong hệ thống.

Thứ ba, mô hình chữ ký người xác minh được chỉ định (DVS) bảo vệ 100% tính riêng tư của thông tin nội bộ. Người nhận văn bản hoàn toàn tin tưởng vào tính xác thực nhưng không thể dùng bản ghi giao thức để thuyết phục một bên thứ ba, vì chính người nhận sở hữu khóa bí mật có thể tự sinh ra các bản sao giao thức ngụy tạo với xác suất thống kê giống hệt.

Thứ tư, phương pháp xác minh mô-đun trong lược đồ dựa trên RSA với tỷ lệ chọn mẫu ngẫu nhiên 95 mô-đun kiểm tra trên tổng số 100 mô-đun khởi tạo đã giúp giảm xác suất gian lận của người ký xuống mức 10^-9, mang lại độ tin cậy vượt trội cho các giao dịch quy mô lớn.

Thảo luận kết quả

Sở dĩ lược đồ chữ ký không thể phủ nhận giải quyết được triệt để hạn chế của chữ ký số thông thường là nhờ việc tích hợp giao thức tương tác hỏi - đáp dựa trên nguyên lý chứng minh tri thức không. Người ký cung cấp bằng chứng toán học xác thực mà không để lộ bất kỳ thông tin nào về khóa bí mật a. Nếu người ký cố tình chối bỏ một văn bản do chính mình ký, giao thức chối bỏ hai tiến trình sẽ vạch trần hành vi gian lận thông qua các phép so sánh lũy thừa đồng dư modulo.

So sánh với các giải pháp chữ ký RSA hoặc ElGamal truyền thống vốn chỉ cung cấp khả năng xác thực thụ động và dễ bị khai thác để phân tích lưu lượng, lược đồ CVA thiết lập một lớp bảo vệ chủ động, đặc biệt thích hợp trong việc ký kết thỏa thuận thương mại điện tử, duyệt báo cáo tài chính mật và bảo vệ bản quyền phần mềm. Kết quả nghiên cứu có thể được tổng hợp trực quan qua bảng so sánh độ phức tạp tính toán giữa MD5 (128 bit, cần 2^64 phép tính để tìm xung đột) và SHA-1 (160 bit, cần 2^80 phép tính để tìm xung đột), cùng biểu đồ đường thể hiện xác suất gian lận suy giảm theo hàm mũ 2^-k qua từng vòng tương tác.

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

  1. Thiết lập hạ tầng máy chủ xác thực tương tác nội bộ: Phòng Công nghệ thông tin của doanh nghiệp cần xây dựng hệ thống máy chủ dịch vụ hỗ trợ giao thức hỏi - đáp thời gian thực, hướng tới mục tiêu tự động hóa 90% quy trình xác minh văn bản nội bộ trong lộ trình 6 tháng triển khai.
  2. Tích hợp lược đồ chữ ký có thể chuyển đổi vào phần mềm ERP: Ban Giám đốc và đội ngũ phát triển phần mềm cần áp dụng lược đồ chuyển đổi có chọn lọc cho các hợp đồng đối tác, đặt mục tiêu rút ngắn 50% thời gian xử lý tranh chấp giao dịch thương mại trong vòng 12 tháng.
  3. Nâng cấp tiêu chuẩn mật mã và độ dài khóa an toàn: Bộ phận an ninh thông tin cần nâng cấp độ dài khóa tối thiểu lên mức 2048 bit đối với hệ thống dựa trên RSA và chuyển đổi sang hàm băm SHA-256 thay thế cho MD5/SHA-1, hoàn tất kiểm toán an ninh hệ thống trong vòng 90 ngày đầu tiên.
  4. Ban hành quy chế quản lý và đào tạo nhân sự: Phòng Nhân sự phối hợp cùng Ban Pháp chế tổ chức 4 khóa đào tạo chuyên sâu cho 100% cán bộ quản lý và nhân viên về quy trình kích hoạt giao thức chối bỏ cũng như tính pháp lý theo Nghị định số 170/2013/NĐ-CP, hoàn thành trong thời hạn 3 tháng.

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

  1. Học viên cao học và nhà nghiên cứu công nghệ thông tin: Khai thác hơn 10 định lý và bổ đề toán học được chứng minh chi tiết về logarit rời rạc và giao thức tri thức không, làm tài liệu tham khảo cho các nghiên cứu chuyên sâu về mật mã học.
  2. Giám đốc công nghệ (CTO) và kiến trúc sư hệ thống phần mềm: Vận dụng kiến trúc chữ ký CVA và DVS để thiết kế giải pháp bảo vệ dữ liệu nhạy cảm, ngăn ngừa 100% rủi ro sao chép và phát tán tài liệu nội bộ trái phép.
  3. Chuyên gia tư vấn pháp lý và sàn giao dịch thương mại điện tử: Nắm vững nguyên lý hoạt động của giao thức chối bỏ để xử lý các tranh chấp phát sinh trong hợp đồng điện tử theo Luật Giao dịch điện tử năm 2005.
  4. Kỹ sư phát triển phần mềm bảo mật: Tham khảo mã nguồn và mô hình ứng dụng gồm 10 module chức năng viết bằng Objective-C từ khâu sinh khóa, băm dữ liệu đến xác nhận và chối bỏ chữ ký.

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

  1. Điểm khác biệt cốt lõi giữa chữ ký không thể phủ nhận và chữ ký số thông thường là gì? Chữ ký số thông thường cho phép bất kỳ ai có khóa công khai đều tự kiểm tra được tính đúng đắn, dẫn đến nguy cơ tài liệu bị sao chép và phát tán tự do. Ngược lại, chữ ký không thể phủ nhận bắt buộc phải có sự hợp tác tương tác của người ký trong giao thức hỏi - đáp để xác minh, giúp kiểm soát quyền riêng tư với độ an toàn trên 99%.

  2. Nếu người ký cố tình từ chối tham gia giao thức kiểm tra thì người nhận phải làm gì? Khi người ký không hợp tác, người nhận sẽ kích hoạt giao thức chối bỏ gồm hai tiến trình độc lập. Nếu người ký tiếp tục từ chối hoặc không thể chứng minh sự sai lệch của chữ ký bằng các đẳng thức toán học, hệ thống sẽ xác định người ký không thể phủ nhận trách nhiệm pháp lý đối với văn bản đó.

  3. Xác suất xảy ra sai sót hoặc gian lận trong lược đồ CVA là bao nhiêu? Về mặt lý thuyết toán học, xác suất một chữ ký giả mạo được chấp nhận chỉ bằng 1/q. Khi áp dụng các tham số mật mã tiêu chuẩn với q có độ dài 512 bit, xác suất sai sót này nhỏ hơn 2^-510, một giá trị cực kỳ nhỏ tiệm cận số 0, loại bỏ hoàn toàn khả năng gian lận trong thực tế.

  4. Lợi ích của chữ ký không thể phủ nhận có thể chuyển đổi trong quản lý doanh nghiệp là gì? Lược đồ chuyển đổi cho phép doanh nghiệp ủy quyền xác minh cho nhân viên mà không làm lộ khóa bí mật ký số. Ngoài ra, doanh nghiệp có thể công bố khóa phụ để chuyển đổi toàn bộ hoặc chọn lọc các chữ ký sang dạng tự xác thực khi doanh nghiệp giải thể hoặc thanh lý hợp đồng mà vẫn giữ an toàn 100%.

  5. Khung pháp lý nào tại Việt Nam công nhận giá trị của chữ ký số và giao dịch điện tử? Chữ ký số được công nhận pháp lý theo Luật Giao dịch điện tử năm 2005 (có hiệu lực từ ngày 01 tháng 03 năm 2006) và các văn bản hướng dẫn như Nghị định số 170/2013/NĐ-CP ban hành ngày 13 tháng 11 năm 2013. Văn bản điện tử ký số đúng quy chuẩn kỹ thuật có giá trị pháp lý tương đương văn bản giấy có chữ ký tay và con dấu.

Kết luận

  • Luận văn đã hệ thống hóa toàn diện cơ sở toán học của lược đồ chữ ký không thể phủ nhận CVA và các biến thể nâng cao gồm chữ ký chuyển đổi, chữ ký DVS và lược đồ trên nền tảng RSA.
  • Công trình chứng minh độ an toàn mật mã vượt trội với xác suất lỗi toán học tiệm cận mức 2^-510 và xác suất gian lận dưới 10^-9.
  • Đề tài xây dựng thành công phần mềm ứng dụng thực nghiệm bằng ngôn ngữ Objective-C với 10 module chức năng hoàn chỉnh phục vụ quản lý hoạt động nội bộ doanh nghiệp.
  • Kế hoạch 12 tháng tiếp theo cần tập trung nâng cấp độ dài khóa lên 2048 bit và tích hợp giải pháp vào các nền tảng điện toán đám mây doanh nghiệp.
  • Quý độc giả và doanh nghiệp hãy liên hệ với nhóm nghiên cứu hoặc tra cứu tài liệu tại thư viện Đại học Quốc gia Hà Nội để ứng dụng ngay giải pháp bảo mật dữ liệu tiên tiến này.