Tổng quan nghiên cứu

Quá trình chuyển đổi số trong các hoạt động dân chủ và quản trị xã hội đang diễn ra mạnh mẽ trên toàn cầu. Tại nhiều quốc gia như Hàn Quốc, Ấn Độ hay Estonia, tỷ lệ ứng dụng công nghệ vào quy trình biểu quyết đã đạt trên 80% ở các cấp độ khảo sát và bầu cử thí nghiệm. Tại Việt Nam, hoạt động thăm dò ý kiến trực tuyến đã được triển khai hiệu quả trong các sự kiện quy mô lớn, tiêu biểu như cuộc bình chọn Vịnh Hạ Long trở thành kỳ quan thiên nhiên mới thu hút hàng triệu lượt tham gia. Một quy trình bỏ phiếu điện tử hoàn chỉnh bao gồm 3 giai đoạn cốt lõi: đăng ký bỏ phiếu, bỏ phiếu và kiểm phiếu. Trong đó, giai đoạn kiểm phiếu là mắt xích chịu nhiều nguy cơ mất an toàn thông tin nhất, bao gồm việc thành viên ban kiểm phiếu thông gian sửa đổi kết quả, cử tri bán phiếu bầu hoặc rò rỉ danh tính người tham gia.

Đề tài nghiên cứu giải quyết triệt để bài toán bảo mật trong giai đoạn kiểm phiếu bằng cách kết hợp các kỹ thuật mật mã tiên tiến. Mục tiêu cụ thể là phân tích các nguy cơ tấn công, xây dựng mô hình kiểm phiếu an toàn và thực nghiệm thành công hai giải pháp trọng tâm: hệ mã hóa trên đường cong Elliptic và sơ đồ chia sẻ bí mật Shamir. Luận văn thạc sĩ chuyên ngành Khoa học máy tính thực hiện tại Trường Đại học Công nghệ Thông tin và Truyền thông thuộc Đại học Thái Nguyên vào năm 2015. Kết quả nghiên cứu mang lại ý nghĩa thực tiễn to lớn khi giúp giảm hơn 84% dung lượng khóa lưu trữ so với hệ mã ElGamal truyền thống, triệt tiêu 100% khả năng can thiệp đơn phương từ ban kiểm phiếu và đảm bảo tính ẩn danh tuyệt đối cho cử tri.

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 trên nền tảng lý thuyết mật mã học hiện đại và lý thuyết đại số nhóm trên trường hữu hạn. Khung lý thuyết tích hợp 2 mô hình toán học trụ cột và 4 khái niệm nền tảng:

Đầu tiên là lý thuyết đường cong Elliptic trên trường hữu hạn nguyên tố. Đường cong được định nghĩa qua phương trình Weierstrass dạng y bình phương bằng x mũ ba cộng ax cộng b trên trường nguyên tố p với p lớn hơn 3. Dựa trên tính chất của nhóm Abel và bài toán logarit rời rạc trên đường cong Elliptic, hệ mã hóa EC-ElGamal được phát triển với độ phức tạp tính toán vượt trội so với vành số nguyên modulo truyền thống.

Thứ hai là lý thuyết chia sẻ bí mật ngưỡng của Shamir dựa trên nguyên lý nội suy đa thức Lagrange bậc t trừ 1 trên trường hữu hạn.

Các khái niệm chính được làm rõ bao gồm:

  • Mã hóa đồng cấu: Cho phép thực hiện phép gộp các bản mã của lá phiếu nhị phân 0 hoặc 1 mà không cần giải mã từng phiếu riêng lẻ.
  • Chữ ký mù: Kỹ thuật cho phép cơ quan đăng ký cấp quyền hợp lệ cho cử tri nhưng không thể liên kết bí danh với danh tính thực.
  • Chứng minh không tiết lộ thông tin: Giao thức hỏi đáp 3 bước cho phép cử tri và người xác minh chứng minh tính hợp lệ của lá phiếu mà không để lộ nội dung lựa chọn.
  • Mã hóa hai tầng: Cơ chế mã hóa lặp qua trung gian người xác minh trung thực nhằm xóa dấu vết lá phiếu.

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

Nghiên cứu kết hợp chặt chẽ giữa tổng hợp lý thuyết mật mã và thực nghiệm mô phỏng trên phần mềm Microsoft Visual Studio 2012. Nguồn dữ liệu thực nghiệm được tạo lập thông qua việc mô phỏng 500 lá phiếu điện tử ngẫu nhiên phân tán qua hệ thống gồm 5 thành viên ban kiểm phiếu.

Phương pháp chọn mẫu là kỹ thuật sinh dữ liệu ngẫu nhiên đa kịch bản, bao gồm 450 phiếu hợp lệ và 50 phiếu cố tình tạo lỗi cấu trúc nhằm kiểm thử độ nhạy của các giao thức xác thực. Lý do lựa chọn phương pháp phân tích đại số kết hợp đo kiểm thời gian thực thi là để đánh giá chính xác tốc độ xử lý phép cộng điểm, phép nhân đôi trên đường cong Elliptic và kiểm chứng tính toán vẹn của đa thức nội suy Lagrange trong môi trường mạng giả lập. Toàn bộ quá trình nghiên cứu và thực nghiệm được tiến hành liên tục trong 12 tháng.

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

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

Quá trình phân tích lý thuyết và thực nghiệm phần mềm đã mang lại 3 phát hiện khoa học quan trọng:

Thứ nhất, hệ mã hóa EC-ElGamal thể hiện ưu thế vượt trội về hiệu năng và mức độ an toàn. Khi thử nghiệm trên trường hữu hạn, độ dài khóa 160 bit của đường cong Elliptic cung cấp độ an toàn tương đương với khóa 1024 bit của hệ mã ElGamal cổ điển và RSA. Nhờ đó, kích thước bản mã giảm khoảng 84,3%, giúp tiết kiệm đáng kể băng thông truyền dẫn khi hàng triệu lá phiếu được gửi đồng thời về máy chủ.

Thứ hai, sơ đồ chia sẻ bí mật Shamir ngưỡng A(3, 5) giải quyết triệt để nguy cơ thông gian trong ban kiểm phiếu. Khóa bí mật giải mã lá phiếu được chia thành 5 mảnh độc lập cho 5 thành viên. Thực nghiệm chứng minh rằng khi có dưới 3 thành viên kết hợp, xác suất khôi phục khóa thành công là 0%. Chỉ khi đủ từ 3 thành viên trở lên cùng đồng thuận cung cấp mảnh khóa, đa thức nội suy mới tái tạo chính xác khóa gốc để mở hòm phiếu.

Thứ ba, quy trình mã hóa hai tầng kết hợp kỹ thuật làm mù đã loại bỏ 100% nguy cơ mua bán phiếu bầu. Lá phiếu sau khi cử tri mã hóa được người xác minh trung thực kiểm tra qua giao thức Zero-Knowledge Proof, sau đó mã hóa lần hai trước khi chuyển vào hòm phiếu công khai. Cử tri hoàn toàn không thể nhận diện lại mã phiếu của mình trên bảng niêm yết để nhận tiền thưởng từ ứng cử viên.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp hệ mã hóa đường cong Elliptic vượt trội là do bài toán logarit rời rạc trên nhóm điểm E(Fp) chưa có thuật toán giải trong thời gian dưới hàm mũ, trong khi các hệ mã cổ điển như RSA hay ElGamal thông thường dễ bị tấn công bởi thuật toán sàng chỉ số.

Dữ liệu thực nghiệm của luận văn được thể hiện rõ nét qua bảng so sánh độ dài khóa và biểu đồ đo lường thời gian thực thi:

  • Bảng đối sánh kỹ thuật chỉ ra rằng để đạt mức an toàn 80-bit, ElGamal cần khóa 1024 bit trong khi EC-ElGamal chỉ cần 160 bit; ở mức an toàn 128-bit, ElGamal đòi hỏi khóa 3072 bit nhưng EC-ElGamal chỉ cần 256 bit.
  • Biểu đồ thời gian xử lý cho thấy tốc độ sinh khóa và mã hóa của EC-ElGamal nhanh hơn khoảng 35% so với ElGamal truyền thống trên cùng cấu hình phần cứng máy tính thử nghiệm.

So với các mô hình bầu cử điện tử từng thử nghiệm tại Nhật Bản hay Ấn Độ, mô hình kiểm phiếu phân tán trong luận văn đã khắc phục được nhược điểm phụ thuộc vào một máy chủ kiểm phiếu duy nhất, qua đó xóa bỏ hoàn toàn điểm nghẽn đơn lẻ trong an ninh hệ thống.

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

Dựa trên kết quả nghiên cứu, luận văn đề xuất 4 nhóm giải pháp kỹ thuật và chính sách nhằm hiện thực hóa hệ thống bỏ phiếu điện tử an toàn:

  1. Triển khai mô hình kiểm phiếu phân tán với sơ đồ ngưỡng Shamir: Các cơ quan tổ chức bầu cử cần thiết lập quy chế quản lý khóa theo ngưỡng tối thiểu 3 trên 5 hoặc 4 trên 7 thành viên độc lập. Mục tiêu là triệt tiêu 100% rủi ro can thiệp nội bộ, thời gian triển khai thử nghiệm diện hẹp trong vòng 6 tháng.
  2. Chuẩn hóa thuật toán mã hóa trên đường cong Elliptic 256-bit: Bộ Thông tin và Truyền thông cùng các đơn vị chuyên trách cần xây dựng bộ tiêu chuẩn kỹ thuật EC-ElGamal áp dụng cho các cổng khảo sát và biểu quyết quốc gia, hướng tới giảm 70% độ trễ xử lý dữ liệu bầu cử trong lộ trình 12 tháng.
  3. Tích hợp giao thức chứng minh không tiết lộ thông tin vào dịch vụ công: Ban chỉ đạo chuyển đổi số các bộ ngành cần áp dụng giao thức ZKP để xác thực tính hợp lệ của dữ liệu đầu vào, bảo vệ quyền riêng tư cho trên 90% công dân tham gia biểu quyết trong thời hạn 18 tháng.
  4. Xây dựng cơ sở dữ liệu định danh cử tri duy nhất: Cơ quan quản lý nhà nước cần hoàn thiện hạ tầng định danh điện tử gắn với mã công dân duy nhất, cung cấp chứng minh thư số để phục vụ cơ chế ký mù, bảo đảm 100% cử tri hợp lệ chỉ được bỏ phiếu đúng 1 lần trong vòng 2 năm tới.

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

Luận văn là tài liệu chuyên khảo giá trị cho 4 nhóm đối tượng cụ thể:

  1. Học viên cao học và nghiên cứu sinh ngành Khoa học máy tính, An toàn thông tin: Khai thác chi tiết khung toán học về đường cong Elliptic, các bước biến đổi đại số Weierstrass và thuật toán nội suy Lagrange để phát triển các đề tài nghiên cứu mật mã chuyên sâu.
  2. Kỹ sư an ninh mạng và lập trình viên hệ thống: Tham khảo kiến trúc phần mềm kiểm phiếu, mô hình dữ liệu trong Visual Studio và mã nguồn thực thi thuật toán phân mảnh khóa để ứng dụng vào hệ thống biểu quyết đại hội cổ đông trực tuyến.
  3. Nhà quản lý chính phủ điện tử và chuyên gia chuyển đổi số: Sử dụng quy trình 3 giai đoạn và các cơ chế phòng chống gian lận để xây dựng đề án biểu quyết điện tử tại các đô thị thông minh với quy mô trên 100.000 người dùng.
  4. Giảng viên và nhà nghiên cứu lý thuyết mật mã: Ứng dụng các bảng so sánh độ dài khóa, sơ đồ giao thức Zero-Knowledge Proof và ví dụ số học trực quan làm giáo trình giảng dạy học phần Mật mã học nâng cao.

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

Hệ mã hóa EC-ElGamal mang lại ưu thế gì vượt trội so với ElGamal truyền thống? EC-ElGamal hoạt động trên nhóm các điểm của đường cong Elliptic trên trường hữu hạn, nơi bài toán logarit rời rạc khó giải hơn nhiều so với vành số nguyên. Nhờ đó, khóa 160 bit của EC-ElGamal đạt độ an toàn tương đương khóa 1024 bit của ElGamal cổ điển, giúp giảm hơn 84% dung lượng lưu trữ và tăng tốc độ xử lý dữ liệu lên khoảng 35%.

Sơ đồ chia sẻ bí mật Shamir A(t, m) ngăn chặn gian lận kiểm phiếu như thế nào? Khóa bí mật dùng để giải mã hòm phiếu được phân chia thành m mảnh độc lập cho m thành viên ban kiểm phiếu. Dựa trên đa thức bậc t trừ 1, hệ thống chỉ có thể tái tạo lại khóa khi có ít nhất t thành viên cùng hợp tác. Nếu chỉ có t trừ 1 thành viên thông đồng, thông tin về khóa giải mã hoàn toàn không thể khôi phục.

Làm thế nào để hệ thống ngăn chặn cử tri bán phiếu bầu cho ứng cử viên? Hệ thống sử dụng kỹ thuật mã hóa hai tầng kết hợp trung gian xác minh. Sau khi cử tri mã hóa lựa chọn của mình, người xác minh trung thực kiểm tra tính hợp lệ qua giao thức ZKP rồi tiến hành làm mù và mã hóa lần hai trước khi đưa vào hòm phiếu. Khi kết quả được niêm yết công khai, cử tri không thể nhận ra bản mã của mình để cung cấp bằng chứng cho người mua phiếu.

Giao thức chứng minh không tiết lộ thông tin hoạt động ra sao trong kiểm phiếu? Giao thức ZKP là quy trình hỏi đáp 3 bước giữa cử tri và người xác minh. Cử tri gửi một giá trị ngẫu nhiên, người xác minh gửi thử thách kiểm tra và cử tri gửi lại phản hồi toán học. Qua đó, người xác minh khẳng định được lá phiếu thuộc tập hợp các ứng viên hợp lệ 1 trong k mà không cần giải mã nội dung bầu cử thực tế.

Môi trường cài đặt và kết quả thử nghiệm của luận văn đạt được những gì? Chương trình thử nghiệm được xây dựng hoàn chỉnh trên nền tảng Microsoft Visual Studio 2012 với cơ sở dữ liệu mô phỏng 500 cử tri. Kết quả thực nghiệm đã chứng minh phần mềm tự động hóa toàn bộ quy trình từ cấp phát khóa ký mù, mã hóa phiếu bầu EC-ElGamal, phân mảnh khóa Shamir đến công bố kết quả kiểm phiếu chính xác tuyệt đối.

Kết luận

  • Luận văn đã hệ thống hóa toàn diện các thách thức an toàn thông tin trong bỏ phiếu điện tử, tập trung giải quyết triệt để bài toán gian lận ở khâu kiểm phiếu.
  • Đề xuất và ứng dụng thành công hệ mã hóa trên đường cong Elliptic EC-ElGamal, tối ưu hóa hơn 84% độ dài khóa so với mật mã khóa công khai truyền thống.
  • Xây dựng hoàn chỉnh sơ đồ chia sẻ bí mật Shamir ngưỡng A(t, m), vô hiệu hóa hoàn toàn nguy cơ thông gian và chỉnh sửa kết quả từ ban kiểm phiếu.
  • Thiết lập cơ chế mã hóa hai tầng kết hợp giao thức Zero-Knowledge Proof, bảo vệ trọn vẹn quyền riêng tư và triệt tiêu vấn nạn mua bán phiếu bầu.
  • Đóng góp thực tiễn với phần mềm thử nghiệm hoạt động ổn định trên Visual Studio 2012, tạo tiền đề vững chắc cho việc ứng dụng bỏ phiếu từ xa tại Việt Nam trong lộ trình 12 đến 24 tháng tới.

Quý độc giả, chuyên gia và học viên quan tâm có thể khai thác toàn bộ mô hình toán học và kiến trúc kỹ thuật trong luận văn để ứng dụng vào việc xây dựng các nền tảng biểu quyết số an toàn, minh bạch và hiệu quả cao.