Tổng quan nghiên cứu

Năm 2006, Việt Nam chính thức bắt đầu lộ trình triển khai chữ ký số trong thanh toán điện tử theo phê duyệt của Chính phủ và Ngân hàng Nhà nước. Đến năm 2009, với sự bùng nổ của hơn 20 triệu người dùng internet tại Việt Nam, nhu cầu xác thực an toàn trong giao dịch trực tuyến trở thành bài toán sống còn đối với sự phát triển của thương mại điện tử và chính phủ điện tử.

Vấn đề nghiên cứu cốt lõi nảy sinh từ thực tế an ninh quốc gia: phần lớn hạ tầng khóa công khai PKI và dây chuyền công nghệ mật mã thời điểm đó đều được tiếp nhận chuyển giao từ đối tác nước ngoài như Hàn Quốc. Điều này đặt ra câu hỏi cấp bách về mức độ an toàn và tính tự chủ công nghệ của hệ thống bảo mật thông tin nội địa khi chưa làm chủ hoàn toàn các thuật toán lõi.

Mục tiêu cụ thể của luận văn là nghiên cứu chuyên sâu cơ sở toán học của mật mã học hiện đại, khảo sát hệ thống các mô hình chữ ký số tiên tiến (RSA, ElGamal, ECC, Nhóm bện) và tập trung phân tích chuyên sâu mô hình chữ ký chống chối bỏ (Undeniable Signature) của Chaum - van Antwerpen, đồng thời xây dựng chương trình thử nghiệm ứng dụng bằng ngôn ngữ C#.

Phạm vi nghiên cứu tập trung vào không gian lý thuyết mật mã khóa công khai và bối cảnh ứng dụng tại Việt Nam trong giai đoạn 2006 - 2009 tại Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội.

Nghiên cứu mang ý nghĩa thực tiễn lớn khi cung cấp giải pháp kỹ thuật giúp giảm đến 80% kích thước khóa lưu trữ qua hệ mật ECC so với RSA, góp phần nâng cao 100% tính pháp lý và an toàn cho các giao dịch điện tử theo khuôn khổ Luật Giao dịch điện tử số 51/2005/QH11 và Nghị định 26/2007/NĐ-CP.

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

Khung lý thuyết áp dụng

Luận văn vận dụng lý thuyết cấu trúc đại số trừu tượng và lý thuyết số học hiện đại. Cụ thể bao gồm lý thuyết trường hữu hạn Galois GF(p) và GF(2^m), vành giao hoán modulo Zn, định lý phần dư Trung Hoa, và thuật toán Euclide mở rộng.

Mô hình nghiên cứu mật mã học dựa trên các bài toán độ phức tạp tính toán NP-khó kinh điển: bài toán phân tích thừa số nguyên (IFP) áp dụng trong hệ RSA và Rabin; bài toán logarit rời rạc (DLP) áp dụng trong hệ ElGamal; bài toán logarit rời rạc trên đường cong Elliptic (ECDLP); và các bài toán tìm kiếm liên hợp (CSP, GCSP) trên Nhóm bện Artin Bn không giao hoán.

Bốn khái niệm kỹ thuật giữ vai trò trọng tâm gồm:

  1. Hệ mật mã khóa công khai: cơ chế mã hóa bất đối xứng sử dụng cặp khóa riêng biệt để tạo lập mật mã và giải mã.
  2. Hàm băm mật mã một chiều: giải thuật biến đổi thông điệp độ dài tùy ý thành chuỗi băm cố định (MD5 128-bit, SHA-1 160-bit, AES-Hash 256-bit) phục vụ kiểm tra tính toàn vẹn.
  3. Lược đồ chữ ký số: bộ giao thức thuật toán sinh khóa, ký thông điệp và kiểm tra chữ ký với các đặc tính xác thực, toàn vẹn và chống giả mạo.
  4. Chữ ký chống chối bỏ: lược đồ chữ ký số đòi hỏi sự phối hợp tương tác của người ký trong quá trình xác thực, ngăn chặn việc sao chép và phân tán chứng thực trái phép.

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

Nghiên cứu sử dụng nguồn dữ liệu thứ cấp gồm hơn 35 công trình mật mã học quốc tế, tiêu chuẩn kỹ thuật NIST, và hệ thống 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ử số 51/2005/QH11, Nghị định 26/2007/NĐ-CP, Nghị định 27/2007/NĐ-CP và Quyết định 25/2006/QĐ-BTM.

Phương pháp phân tích chủ đạo là phân tích toán học giải tích kết hợp với phương pháp mô phỏng và thực nghiệm phần mềm.

Nghiên cứu khảo sát cỡ mẫu gồm 12 lược đồ chữ ký số tiêu biểu và 4 thuật toán hàm băm chủ chốt. Phương pháp chọn mẫu là chọn mẫu có chủ đích (purposive sampling) dựa trên các bộ tiêu chuẩn công nghiệp quốc tế (NIST DSS, ANSI X9.62, IEEE P1363). Lý do lựa chọn phương pháp phân tích này nhằm bảo đảm đánh giá so sánh đa chiều giữa các hệ mật truyền thống trên nhóm giao hoán và các hệ mật tiên tiến trên đường cong elliptic hay không gian phi giao hoán về cả độ an toàn lẫn chi phí tính toán phần cứng.

Toàn bộ quá trình tổng hợp lý thuyết, thiết kế thuật toán và thử nghiệm phần mềm được thực hiện xuyên suốt trong 18 tháng, từ tháng 6 năm 2008 đến tháng 11 năm 2009 tại Hà Nội.

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

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

Thứ nhất, hệ mật mã trên đường cong Elliptic (ECC) thể hiện ưu thế vượt trội về hiệu năng và an toàn so với hệ mật RSA truyền thống. Nghiên cứu chỉ ra rằng khóa ECC độ dài 160-bit cung cấp mức độ an toàn tương đương khóa RSA 1024-bit, giúp tiết kiệm tới 84,3% không gian lưu trữ khóa và giảm thiểu từ 3 đến 5 lần khối lượng tính toán trên các thiết bị hạn chế tài nguyên như vi xử lý 8-bit hoặc 16-bit.

Thứ hai, đánh giá an toàn hàm băm cho thấy các chuẩn cũ như MD5 (128-bit) và SHA-1 (160-bit) bộc lộ nhiều điểm yếu trước tấn công đụng độ. Tấn công đụng độ đối với SHA-1 đã được các chuyên gia chứng minh giảm xuống chỉ còn khoảng 2 mũ 69 phép tính so với ngưỡng an toàn lý thuyết 2 mũ 80. Luận văn khẳng định sự cần thiết phải ứng dụng kiến trúc Davies - Mayer sử dụng thuật toán Rijndael (AES-Hash 256-bit) để đạt chi phí kháng tấn công tiền ảnh thứ hai lên tới 2 mũ 256 thao tác.

Thứ ba, mô hình chữ ký chống chối bỏ của Chaum - van Antwerpen giải quyết triệt để bài toán bảo vệ quyền riêng tư trong lưu hành tài liệu số. Chữ ký không thể tự ý thẩm định bởi bên thứ ba nếu không có sự hợp tác của người ký ban đầu, ngăn chặn 100% tình trạng phân tán và xác thực trái phép các tài liệu thương mại nhạy cảm.

Thứ tư, chương trình demo thực nghiệm trên ngôn ngữ C# với bộ dữ liệu kiểm thử 500 mẫu giao dịch cho thấy quá trình tạo chữ ký và giao thức xác nhận tương tác hoàn tất chỉ trong khoảng 15 đến 45 mili giây, đạt tỷ lệ chính xác tuyệt đối 100%.

Thảo luận kết quả

Ưu thế vượt trội của hệ mật ECC bắt nguồn từ bản chất toán học: bài toán logarit rời rạc trên đường cong Elliptic (ECDLP) không tồn tại các giải thuật giải trong thời gian dưới số mũ (sub-exponential time) như giải thuật sàng chỉ số đối với bài toán RSA. Do đó, ECC cho phép duy trì kích thước khóa rất nhỏ mà vẫn bảo đảm mức bảo mật cao.

So với các nghiên cứu trong nước trước năm 2009 chủ yếu tập trung vào RSA, luận văn đã mở rộng nghiên cứu sang các cấu trúc đại số phức tạp như Nhóm bện (Braid Group) với bài toán liên hợp Conjugacy và chữ ký ủy nhiệm, bắt kịp xu hướng phát triển mật mã học phi giao hoán trên thế giới.

Dữ liệu nghiên cứu được biểu diễn trực quan qua biểu đồ cột so sánh tương quan kích thước khóa RSA (1024-bit, 2048-bit, 4096-bit) và ECC (160-bit, 224-bit, 384-bit). Đồng thời, bảng ma trận so sánh 5 tiêu chí bảo mật (tính toàn vẹn, xác thực, chống chối bỏ, tốc độ xử lý và khả năng ứng dụng phần cứng) làm nổi bật vị thế của chữ ký chống chối bỏ trên ECC trong các giao dịch phân tán.

Kết quả này cung cấp luận cứ kỹ thuật quan trọng giúp các cơ quan quản lý và doanh nghiệp tại Việt Nam tự chủ đánh giá an ninh các hệ thống PKI nhập ngoại, tránh phụ thuộc thụ động vào nhà cung cấp nước ngoài.

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

Thứ nhất, nâng cấp tiêu chuẩn mã hóa và chữ ký số quốc gia: Thực hiện chuyển đổi 100% các hệ thống xác thực trực tuyến sang sử dụng chuẩn khóa tối thiểu RSA 2048-bit hoặc chuyển dịch sang hệ mật ECC 256-bit; loại bỏ hoàn toàn việc sử dụng độc lập các hàm băm SHA-1 và MD5 để thay thế bằng SHA-256 hoặc AES-Hash. Lộ trình triển khai thực hiện trong vòng 12 đến 24 tháng, do Ban Cơ yếu Chính phủ và Bộ Thông tin và Truyền thông chủ trì.

Thứ hai, triển khai thử nghiệm mô hình chữ ký chống chối bỏ trong lĩnh vực tài chính: Ứng dụng giao thức Chaum - van Antwerpen cho 50 ngân hàng thương mại và tổ chức tín dụng nhằm bảo vệ các giao dịch chuyển khoản giá trị lớn trên 500 triệu đồng và hợp đồng tín dụng số nhạy cảm. Dự án thực hiện trong giai đoạn 2010 - 2012 dưới sự chỉ đạo của Ngân hàng Nhà nước Việt Nam.

Thứ ba, phát triển module mật mã nhúng trên thiết bị phần cứng di động: Thiết kế và chế tạo thẻ thông minh (smart card) tích hợp thuật toán ký ECDSA với năng lực xử lý đạt tối thiểu 50 chữ ký mỗi giây. Thí điểm trang bị cho 10.000 cán bộ, công chức tham gia hệ thống chính phủ điện tử trong vòng 18 tháng, do Viện Công nghệ Thông tin phối hợp cùng các doanh nghiệp viễn thông thực hiện.

Thứ tư, hoàn thiện hành lang kỹ thuật cho các tổ chức chứng thực CA công cộng: Ban hành quy chế kiểm chuẩn định kỳ hàng năm đối với 100% các nhà cung cấp dịch vụ chứng thực chữ ký số (CA) tại Việt Nam theo chuẩn X.509, bảo đảm tính liên thông quốc tế do Bộ Thông tin và Truyền thông giám sát.

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

Nhóm chuyên gia an toàn thông tin và kỹ sư phát triển phần mềm: Tiếp cận hệ thống hơn 10 thuật toán chữ ký số và hàm băm tiên tiến, ứng dụng trực tiếp mã nguồn thực nghiệm C# để tích hợp tính năng ký số vào cổng dịch vụ trực tuyến với độ trễ dưới 20 mili giây.

Nhóm quản trị hệ thống ngân hàng và thương mại điện tử: Nắm bắt kiến trúc phân tầng an ninh cho hệ thống Internet Banking, mạng riêng ảo VPN, giúp giảm thiểu hơn 95% nguy cơ gian lận và đánh cắp danh tính trong giao dịch số.

Nhóm cán bộ quản lý và hoạch định chính sách công nghệ thông tin: Khai thác nền tảng lý luận kỹ thuật để cụ thể hóa các điều khoản trong Luật Giao dịch điện tử số 51/2005/QH11 và Nghị định 26/2007/NĐ-CP, xây dựng khung cấp phép dịch vụ cho 5 nhà mạng viễn thông lớn tại Việt Nam.

Nhóm nghiên cứu sinh, học viên cao học và sinh viên ngành Công nghệ thông tin: Sử dụng tài liệu như một cẩm nang học thuật bài bản với hơn 30 công thức đại số modulo, bài toán NP-khó và hệ thống lược đồ mật mã mẫu để hoàn thiện các đề tài khóa luận đạt kết quả từ 8,5 điểm trở lên.

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

Chữ ký số có giá trị pháp lý tương đương chữ ký tay truyền thống không? Có. Theo Luật Giao dịch điện tử số 51/2005/QH11 và Nghị định 26/2007/NĐ-CP, văn bản điện tử sử dụng chữ ký số đáp ứng đầy đủ điều kiện an toàn có giá trị pháp lý tương đương văn bản giấy ký tay đóng dấu. Tính toàn vẹn được bảo đảm 100% vì chỉ cần thay đổi 1 bit dữ liệu, giá trị băm sẽ thay đổi và chữ ký lập tức bị vô hiệu hóa.

Tại sao hệ mật mã đường cong Elliptic (ECC) tối ưu hơn RSA trên thiết bị di động? ECC dựa trên bài toán ECDLP vốn khó hơn rất nhiều so với bài toán phân tích thừa số nguyên IFP của RSA. Khóa ECC 160-bit cung cấp độ an toàn tương đương khóa RSA 1024-bit, giúp tiết kiệm hơn 80% bộ nhớ lưu trữ và giảm tải tính toán, rất thích hợp cho thẻ thông minh có dung lượng dưới 64 KB.

Chữ ký chống chối bỏ (Undeniable Signature) mang lại lợi ích gì cho doanh nghiệp? Chữ ký chống chối bỏ Chaum - van Antwerpen bắt buộc phải có sự phối hợp tương tác của người ký thì bên thứ ba mới có thể xác thực. Đặc tính này giúp doanh nghiệp kiểm soát 100% việc lưu hành văn bản, ngăn chặn tình trạng rò rỉ bí mật kinh doanh hoặc phát tán chứng từ thương mại trái phép.

Vì sao các thuật toán băm MD5 và SHA-1 không còn được khuyến nghị sử dụng? Từ năm 2005, các nhà khoa học đã tìm ra phương pháp tấn công đụng độ thực tế trên MD5 và SHA-1, làm giảm độ phức tạp tìm kiếm đụng độ SHA-1 xuống chỉ còn 2 mũ 69 thao tác. Để đảm bảo an toàn, các hệ thống phải chuyển sang hàm băm SHA-256 hoặc cấu trúc Davies - Mayer sử dụng Rijndael 256-bit.

Hạ tầng chữ ký số tại Việt Nam được quản lý theo tiêu chuẩn nào? Hạ tầng chữ ký số Việt Nam được quản lý theo Danh mục tiêu chuẩn bắt buộc áp dụng do Bộ Thông tin và Truyền thông ban hành ngày 31 tháng 12 năm 2008. Danh mục quy định lựa chọn thuật toán RSA cho chữ ký số công cộng và các giải thuật băm an toàn theo chuẩn SHA và MD5 nâng cấp.

Kết luận

  • Luận văn hệ thống hóa toàn diện cơ sở toán học cấu trúc đại số, trường Galois và các bài toán khó nền tảng của mật mã học.
  • Đánh giá chi tiết 12 lược đồ chữ ký số hiện đại, chỉ rõ ưu thế vượt bậc của hệ mật đường cong Elliptic ECC so với RSA truyền thống.
  • Làm rõ cấu trúc an toàn của hàm băm AES-Hash 256-bit trên kiến trúc Davies - Mayer thay thế cho các chuẩn cũ bộc lộ lỗ hổng đụng độ.
  • Phân tích chuyên sâu cơ chế hoạt động, tính hợp thức và khả năng ứng dụng thực tế của mô hình chữ ký chống chối bỏ Chaum - van Antwerpen.
  • Xây dựng thành công ứng dụng demo C# hoàn chỉnh với độ chính xác 100%, tạo tiền đề vững chắc cho việc triển khai phần mềm ký số thực tế.

Trong giai đoạn 3 đến 5 năm tới, hướng nghiên cứu tiếp theo cần tập trung mở rộng sang các hệ mật mã kháng lượng tử và tối ưu hóa giải thuật ký số trên các thiết bị nhúng Internet vạn vật (IoT) có bộ nhớ dưới 32 KB.

Hãy tham khảo và ứng dụng ngay các giải pháp trong luận văn để nâng cao năng lực bảo mật và làm chủ công nghệ chữ ký số cho tổ chức của bạn!