Tổng quan nghiên cứu

Theo báo cáo an toàn thông tin thế giới năm 2013 của Hiệp hội An toàn thông tin Việt Nam (VNISA), số lượng website bị nhiễm mã độc và trở thành công cụ phát tán đã chạm mốc 75 triệu trang. Đồng thời, cơ sở dữ liệu của McAfee ghi nhận hơn 140 triệu mẫu mã độc khác nhau, trong đó có 18.000 mẫu nhắm trực diện vào thiết bị di động chỉ trong quý 2 năm 2013. Bối cảnh không gian mạng ngày càng phức tạp đặt ra thách thức sống còn đối với các dịch vụ chính phủ điện tử, đặc biệt là hệ thống bỏ phiếu trực tuyến.

Phương thức bỏ phiếu truyền thống bộc lộ nhiều hạn chế về thời gian tổ chức kéo dài, chi phí vận hành tốn kém và nguy cơ sai sót trong khâu kiểm phiếu thủ công. Bỏ phiếu điện tử ra đời nhằm giải quyết triệt để các bất cập này, cho phép cử tri thực hiện quyền dân chủ từ xa một cách nhanh chóng và chính xác. Tính đến năm 2012, trên thế giới có khoảng 11 quốc gia nghiên cứu triển khai bỏ phiếu điện tử, nhưng mới có 4 quốc gia áp dụng hoàn toàn vào thực tế gồm Estonia, Canada, Pháp và Thụy Sĩ; 7 quốc gia còn lại ở mức thử nghiệm hoặc tạm ngừng do lo ngại về an ninh thông tin.

Tại Việt Nam, bỏ phiếu điện tử là lĩnh vực nghiên cứu mới và chỉ mới thử nghiệm ở phạm vi hẹp. Luận văn thạc sĩ chuyên ngành Hệ thống thông tin của tác giả Trần Đông Hải, thực hiện năm 2015 dưới sự hướng dẫn khoa học của PGS. Trịnh Nhật Tiến tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội, tập trung giải quyết bài toán: "Nghiên cứu một số giải pháp bảo đảm an toàn thông tin trong giai đoạn đăng ký bỏ phiếu điện tử". Mục tiêu cốt lõi của nghiên cứu là xây dựng cơ sở toán học và kiến trúc kỹ thuật nhằm bảo vệ 100% tính ẩn danh của cử tri, ngăn chặn gian lận đăng ký nhiều lần và triệt tiêu nguy cơ lạm quyền từ ban tổ chức với độ tin cậy tiệm cận mức tuyệt đối.

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 thiết lập nền tảng dựa trên mô hình bảo đảm an toàn thông tin đa tầng, bao gồm 4 tiêu chuẩn cốt lõi: tính bí mật, tính toàn vẹn, tính xác thực và tính sẵn sàng. Để bảo vệ dữ liệu trong quá trình truyền thông mạng, tác giả phân tích và so sánh hai hệ mật mã: hệ mã hóa khóa đối xứng với tốc độ xử lý nhanh và hệ mã hóa khóa công khai RSA (được Ron Rivest, Adi Shamir và Leonard Adleman công bố năm 1977) dựa trên bài toán khó phân tích thừa số nguyên tố lớn.

Nghiên cứu khai thác sâu 3 khái niệm chuyên ngành then chốt:

  1. Hàm băm một chiều (MD5, SHA): Tạo bản đại diện tài liệu có độ dài cố định, tối ưu hóa băng thông mạng và rút ngắn thời gian ký số.
  2. Chữ ký mù (Blind Signature): Được David Chaum đề xuất năm 1983, cho phép người dùng ẩn giấu nội dung thông điệp trước khi gửi cơ quan thẩm quyền ký xác thực, bảo đảm người ký hoàn toàn không biết nội dung lá phiếu.
  3. Sơ đồ chia sẻ bí mật ngưỡng Shamir $(t, w)$: Ra đời năm 1979, chia khóa bí mật $K$ thành $w$ mảnh phân phối cho các thành viên, trong đó cần ít nhất $t$ thành viên hợp tác mới khôi phục được khóa thông qua đa thức bậc $t-1$ trên trường hữu hạn hữu tỷ $Z_p$.

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

Nghiên cứu sử dụng phương pháp mô hình hóa toán học kết hợp phát triển ứng dụng thực nghiệm. Cỡ mẫu thử nghiệm thuật toán bao gồm 1.000 bản ghi dữ liệu hồ sơ cử tri và 50 kịch bản tấn công giả lập trên mạng nội bộ. Phương pháp chọn mẫu là chọn mẫu phân tầng có chủ đích, mô phỏng đầy đủ các vai trò: cử tri đăng ký, cán bộ thẩm định hồ sơ, quản trị viên hệ thống và ban đăng ký gồm 3 thành viên ($w=3, t=3$).

Lý do lựa chọn phương pháp phân tích đại số kết hợp khử Gauss và phép nội suy Lagrange là nhằm chứng minh tính đúng đắn tuyệt đối về mặt toán học khi tái tạo khóa ký bí mật mà không để rò rỉ bất kỳ thông tin trung gian nào. Toàn bộ quy trình nghiên cứu, thiết kế giải thuật và cài đặt chương trình thử nghiệm được tiến hành trong mốc thời gian 12 tháng từ năm 2014 đến năm 2015.

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

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

Nghiên cứu đã giải quyết thành công 5 bài toán an toàn thông tin trọng yếu trong giai đoạn đăng ký bỏ phiếu điện tử với các kết quả định lượng cụ thể:

Thứ nhất, giải quyết bài toán ẩn danh lá phiếu và chống theo dõi bằng thuật toán chữ ký mù RSA. Bằng cách nhân thông điệp với yếu tố làm mù ngẫu nhiên $r^b \pmod n$, cử tri nhận được chữ ký hợp lệ từ ban đăng ký mà nội dung bầu chọn được che giấu 100%. Khi cử tri thực hiện phép xóa mù $z = v \cdot r^{-1} \pmod n$, lá phiếu vẫn giữ nguyên giá trị pháp lý, triệt tiêu hoàn toàn khả năng liên kết danh tính cử tri với nội dung bỏ phiếu.

Thứ hai, ngăn chặn triệt để nguy cơ ban đăng ký lạm quyền hoặc ký khống lá phiếu thông qua sơ đồ chia sẻ bí mật ngưỡng Shamir $(3, 3)$. Thử nghiệm với số nguyên tố $p = 17$ và khóa ký bí mật $K = 13$, hệ thống phân bổ chính xác 3 mảnh khóa $(1, 8)$, $(2, 7)$, $(3, 10)$ cho 3 thành viên ban đăng ký. Thuật toán chứng minh rằng 1 hoặc 2 thành viên không thể tạo ra chữ ký hợp lệ, giảm thiểu 100% rủi ro gian lận nội bộ.

Thứ ba, bảo vệ hồ sơ cử tri và chống đăng ký nhiều lần. Hệ thống tích hợp chứng thư số công cộng kết hợp bảng băm cơ sở dữ liệu để đối soát sinh trắc học và mã định danh. Kết quả thử nghiệm trên 1.000 hồ sơ cho thấy tỷ lệ phát hiện đăng ký trùng lặp đạt 100%, thời gian xử lý thẩm định trung bình chỉ mất khoảng 0,045 giây cho mỗi yêu cầu.

Thảo luận kết quả

Các phát hiện của luận văn giải thích rõ nguyên nhân khiến nhiều quốc gia phát triển như Anh, Hà Lan từng phải hủy bỏ dự án bỏ phiếu điện tử: sự thiếu hụt cơ chế mật mã học minh bạch giữa quyền kiểm tra của nhà nước và quyền riêng tư của công dân.

Dữ liệu thực nghiệm của hệ thống có thể được biểu diễn trực quan qua biểu đồ cột so sánh thời gian thực thi: quy trình làm mù và ký số chỉ làm tăng chi phí tính toán khoảng 15% so với ký số RSA thông thường, nhưng mang lại độ an toàn vượt trội. Bảng ma trận biến đổi khử Gauss từng bước từ hàng 1 đến hàng $n-1$ minh chứng rằng độ phức tạp thuật toán duy trì ở mức đa thức $O(n^3)$, hoàn toàn khả thi khi triển khai trên các máy chủ tiêu chuẩn phục vụ hàng trăm nghìn cử tri đồng thời.

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

Để đưa kết quả nghiên cứu vào ứng dụng thực tiễn trong công cuộc chuyển đổi số quốc gia, 4 nhóm giải pháp cụ thể được đề xuất:

  1. Chuẩn hóa hạ tầng chữ ký số công cộng (PKI): Bộ Thông tin và Truyền thông chủ trì xây dựng bộ tiêu chuẩn kỹ thuật chữ ký điện tử cho công dân trong vòng 24 tháng, đặt mục tiêu phủ sóng chứng thư số đạt 80% dân số trưởng thành để sẵn sàng cho các dịch vụ công cấp độ cao.
  2. Triển khai mô hình chữ ký mù và sơ đồ ngưỡng Shamir: Các cơ quan phát triển phần mềm chính phủ tích hợp module mật mã học phân tán vào các hệ thống bầu cử nội bộ và thăm dò ý kiến trực tuyến, hoàn thành giai đoạn thử nghiệm trong vòng 12 tháng với độ sẵn sàng hệ thống đạt 99,99%.
  3. Ban hành quy chuẩn bảo vệ dữ liệu hồ sơ cử tri: Hội đồng Bầu cử Quốc gia phối hợp với các cơ quan an ninh mạng ban hành quy chế thẩm định dữ liệu đa lớp trong thời gian 6 tháng, đảm bảo 100% cơ sở dữ liệu cử tri được mã hóa phân tán và kiểm toán tự động.
  4. Đào tạo chuyên gia an toàn thông tin chuyên sâu: Các trường đại học công nghệ mở rộng chương trình đào tạo mật mã học ứng dụng, đặt mục tiêu bồi dưỡng khoảng 500 kỹ sư chuyên trách bảo mật hệ thống thông tin công dân mỗi năm.

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

Nội dung và kết quả nghiên cứu của luận văn mang lại giá trị thực tiễn cao cho 4 nhóm đối tượng:

  1. Cán bộ quản lý và cơ quan lập pháp: Tham khảo cấu trúc tổng thể và các ràng buộc an ninh để xây dựng hành lang pháp lý, quy trình chuẩn cho các kỳ bầu cử điện tử và trưng cầu dân ý trong tương lai.
  2. Kỹ sư an toàn thông tin và kiến trúc sư hệ thống: Khai thác chi tiết mã giả, giải thuật khử Gauss, phép nội suy Lagrange và quy trình chữ ký mù RSA để ứng dụng trực tiếp vào các phần mềm xác thực bảo mật.
  3. Giảng viên, nghiên cứu sinh và học viên cao học: Sử dụng luận văn làm tài liệu giảng dạy, tham khảo phương pháp luận khoa học trong việc phân tích các giao thức mật mã học hiện đại.
  4. Doanh nghiệp phát triển giải pháp công nghệ và Fintech: Ứng dụng mô hình chia sẻ bí mật và ẩn danh giao dịch vào hệ thống bỏ phiếu đại hội cổ đông trực tuyến, đấu thầu qua mạng và ví điện tử.

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

Giai đoạn đăng ký bỏ phiếu điện tử đối mặt với những nguy cơ an ninh nào lớn nhất?

Giai đoạn này đối mặt với 5 bài toán lớn: giả mạo hồ sơ cử tri, rò rỉ dữ liệu cá nhân, một cử tri đăng ký nhiều lần, ban đăng ký tự ý ký khống phiếu và lộ danh tính lựa chọn của cử tri. Báo cáo thực tế cho thấy các lỗ hổng này từng khiến nhiều hệ thống thử nghiệm tại châu Âu phải dừng hoạt động.

Giao thức chữ ký mù của David Chaum hoạt động như thế nào trong thực tế?

Cử tri tạo số ngẫu nhiên $r$ để nhân với bản băm của lá phiếu, biến thông điệp thành dạng mã hóa $u$ trước khi gửi đi. Ban đăng ký ký xác thực lên $u$ bằng khóa bí mật. Cử tri nhận lại chữ ký, triệt tiêu thừa số $r$ để thu được chữ ký chuẩn trên lá phiếu gốc mà ban đăng ký không hề biết nội dung bầu chọn.

Tại sao sơ đồ phân chia bí mật Shamir $(t, w)$ lại ngăn chặn được gian lận từ ban tổ chức?

Sơ đồ phân chia khóa ký thành $w$ phần độc lập và quy định ngưỡng $t$. Khi không đủ $t$ thành viên cùng ráp mảnh khóa thông qua giải hệ phương trình tuyến tính hoặc nội suy Lagrange, khóa ký không thể phục hồi. Do đó, một cá nhân đơn lẻ hoàn toàn không thể tự ý phát hành phiếu bầu hợp lệ.

Bỏ phiếu điện tử có ưu thế vượt trội gì so với bỏ phiếu truyền thống?

Bỏ phiếu điện tử cho phép cử tri bỏ phiếu từ xa qua Internet hoặc máy DRE, rút ngắn thời gian tổng hợp kết quả từ nhiều ngày xuống vài phút, loại bỏ hoàn toàn các sai sót đếm phiếu thủ công và tiết kiệm khoảng 40% đến 60% chi phí in ấn, hậu cần tổ chức.

Module ứng dụng thử nghiệm trong luận văn bao gồm những chức năng nào?

Chương trình thử nghiệm xây dựng đầy đủ 6 chức năng cốt lõi: đăng ký hồ sơ mới, thẩm định tính hợp lệ của hồ sơ, kiểm tra chữ ký số cử tri, khởi tạo và phân phối khóa bí mật theo sơ đồ ngưỡng, thực hiện ký mù lá phiếu và quản trị phân quyền thành viên hệ thống.

Kết luận

  • Luận văn giải quyết triệt để 5 bài toán an toàn thông tin trong giai đoạn đăng ký bỏ phiếu điện tử bằng mô hình toán học và mật mã học vững chắc.
  • Ứng dụng thành công thuật toán chữ ký mù RSA bảo đảm 100% tính ẩn danh cho cử tri, loại bỏ hoàn toàn nguy cơ truy vết lá phiếu.
  • Triển khai sơ đồ chia sẻ bí mật ngưỡng Shamir $(3, 3)$ giúp kiểm soát quyền lực, ngăn chặn 100% nguy cơ ký khống hoặc lạm quyền nội bộ.
  • Xây dựng thành công phần mềm thực nghiệm với 6 phân hệ chức năng, đạt tốc độ phản hồi nhanh dưới 0,05 giây cho mỗi tác vụ đăng ký.
  • Lộ trình 12 đến 36 tháng tới cần tập trung hoàn thiện hạ tầng PKI quốc gia và mở rộng thử nghiệm tại các tổ chức công dân.

Nghiên cứu của học viên Trần Đông Hải là công trình học thuật có giá trị thực tiễn cao, đóng góp nền tảng quan trọng cho tiến trình xây dựng chính phủ điện tử minh bạch, hiện đại và an toàn tại Việt Nam. Các đơn vị nghiên cứu và doanh nghiệp công nghệ quan tâm có thể khai thác mô hình này để nâng cao năng lực bảo mật cho các hệ thống trực tuyến hiện hành.