Tổng quan nghiên cứu

Trong bối cảnh kỷ nguyên số, nhu cầu thu thập ý kiến công chúng và tổ chức bầu cử trực tuyến ngày càng trở nên cấp thiết. Theo các khảo sát thực tế, việc thăm dò dư luận trực tuyến đạt tỷ lệ phản hồi khoảng 30%, cao gấp 3 lần so với mức dưới 10% của các phương pháp phỏng vấn truyền thống qua điện thoại. Trên thế giới, các quốc gia tiên phong như Estonia đã ghi nhận 133.808 phiếu bầu trực tuyến trong năm 2013, chiếm 21,2% tổng số cử tri tham gia, khẳng định tiềm năng to lớn của bỏ phiếu điện tử. Tuy nhiên, các hệ thống bỏ phiếu từ xa trước đây thường dựa trên các hệ mã hóa khóa công khai truyền thống như RSA hoặc ElGamal tiêu chuẩn, vốn bộc lộ hạn chế lớn về độ dài khóa cồng kềnh và tốc độ xử lý chậm.

Nghiên cứu tập trung giải quyết bài toán cốt lõi: Làm thế nào để xây dựng một hệ thống bỏ phiếu thăm dò dư luận trực tuyến vừa bảo đảm tính toàn vẹn, bảo mật danh tính cử tri, vừa tối ưu hóa hiệu năng tính toán. Mục tiêu cụ thể của đề tài là nghiên cứu các thuật toán mật mã nền tảng, thiết kế và thử nghiệm mô hình bỏ phiếu thăm dò ý kiến ứng dụng Hệ mật đường cong Elliptic (EC-ElGamal) kết hợp cơ chế chia sẻ bí mật. Phạm vi nghiên cứu được triển khai thực nghiệm trong môi trường giáo dục tại một trường phổ thông và đại học trong giai đoạn 2014–2015. Kết quả nghiên cứu mang lại ý nghĩa khoa học và thực tiễn cao, giúp giảm thiểu hơn 80% kích thước khóa lưu trữ so với hệ mã hóa truyền thống, đồng thời duy trì độ an toàn thông tin tương đương mức bảo mật 1024-bit của RSA.

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 toán học mật mã hiện đại và các giao thức an toàn thông tin chuyên sâu:

  • Hệ mật đường cong Elliptic (EC-ElGamal): Dựa trên bài toán logarit rời rạc trên nhóm các điểm của đường cong Elliptic xác định trên trường hữu hạn $F_p$. Hệ mật này cho phép thiết lập độ an toàn tương đương RSA 1024-bit chỉ với độ dài khóa 160-bit, giúp tối ưu hóa chi phí tính toán và băng thông truyền tải.
  • Sơ đồ chia sẻ bí mật ngưỡng Shamir $A(t, m)$: Đề xuất năm 1979 bởi Adi Shamir, dựa trên đa thức bậc $(t-1)$ và công thức nội suy Lagrange. Mô hình cho phép phân chia khóa giải mã thành $m$ mảnh khóa, trong đó bất kỳ $t$ thành viên nào ($t \le m$) phối hợp đều có thể khôi phục khóa gốc, ngăn chặn hoàn toàn nguy cơ gian lận từ một cá nhân đơn lẻ.
  • Lý thuyết chữ ký số và chữ ký mù (Blind Signature): Được David Chaum giới thiệu năm 1983, cho phép cử tri nhận được xác thực hợp lệ từ cơ quan quản lý mà không để lộ nội dung lá phiếu.
  • Mã hóa đồng cấu (Homomorphic Encryption): Cho phép tính toán trực tiếp trên các bản mã (tính tổng số phiếu) mà không cần giải mã từng lá phiếu riêng lẻ, bảo đảm tính ẩn danh tuyệt đối.

Các khái niệm chính bao gồm: Bản rõ (Plaintext), Bản mã (Ciphertext), Khóa công khai/bí mật (PK/SK), Hàm băm một chiều (SHA-1/SHA-2) và Bài toán logarit rời rạc giải bằng thuật toán Shank (Baby-step Giant-step) có độ phức tạp $O(\sqrt{p}\log p)$.

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

Nghiên cứu kết hợp phương pháp phân tích định lượng và thực nghiệm hệ thống:

  • Nguồn dữ liệu và kiểm thử: Dữ liệu thực nghiệm thu thập từ 120 cử tri tham gia bỏ phiếu thử nghiệm qua 4 chu kỳ đánh giá hiệu năng hệ thống. Dữ liệu đối sánh được trích xuất từ các mô hình e-Voting quốc tế như Estonia (2005–2013) và Israel (2007).
  • Phương pháp chọn mẫu: Phương pháp chọn mẫu có chủ đích (Purposive Sampling), tập trung vào nhóm cán bộ, giảng viên và học sinh - sinh viên có trình độ tiếp cận công nghệ thông tin tại môi trường giáo dục.
  • Lý do lựa chọn phương pháp phân tích: Phương pháp đo lường độ phức tạp thuật toán và phân tích mật mã học được lựa chọn nhằm kiểm chứng tính đúng đắn, tốc độ sinh khóa, mã hóa và giải mã của EC-ElGamal so với ElGamal truyền thống.
  • Timeline nghiên cứu: Quá trình nghiên cứu, xây dựng mô hình toán học và hoàn thiện phần mềm thử nghiệm được tiến hành trong thời gian 3 năm học thuật (2012–2015).

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

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

Quá trình thử nghiệm mô hình bỏ phiếu thăm dò dư luận mang lại các phát hiện khoa học nổi bật:

  1. Tối ưu hóa hiệu năng và dung lượng khóa: Việc áp dụng EC-ElGamal trên trường hữu hạn $F_p$ giúp rút ngắn độ dài khóa xuống 160-bit, tiết kiệm 84,3% không gian bộ nhớ so với khóa RSA 1024-bit truyền thống mà vẫn bảo đảm độ an toàn mật mã tương đương.
  2. Khả năng ngăn chặn bỏ phiếu tự động: Bằng việc kết hợp cơ chế mã hóa hình ảnh lựa chọn (CAPTCHA động) và xác thực Cookies/IP, tỷ lệ gian lận bằng phần mềm tự động (bot voting) giảm từ 35% trong các hệ thống thông thường xuống dưới 2% trên mô hình thử nghiệm.
  3. Độ tin cậy trong phân quyền giải mã: Sơ đồ ngưỡng Shamir $A(2, 3)$ được tích hợp thành công, bảo đảm khi có ít nhất 2 trong 3 thành viên ban kiểm phiếu ghép mảnh khóa qua công thức nội suy Lagrange, khóa bí mật được tái tạo chính xác 100% trong thời gian dưới 1,5 giây.

Thảo luận kết quả

Các kết quả đạt được chứng minh tính ưu việt vượt trội của việc kết hợp mã hóa đường cong Elliptic với mô hình phân tán khóa. So với hệ thống bầu cử của Estonia – nơi cử tri phụ thuộc vào thẻ chứng minh thư điện tử và máy chủ VFS có nguy cơ bị tấn công mạng – mô hình này bảo đảm tính độc lập và khả năng bảo vệ dữ liệu cao hơn. So với hệ thống trạm bỏ phiếu RFID của Israel với ngưỡng sai lệch kiểm phiếu 30%, mô hình đề xuất bảo đảm kiểm phiếu điện tử chính xác tuyệt đối thông qua hàm hợp mã hóa đồng cấu.

Dữ liệu hiệu năng hệ thống có thể được biểu diễn trực quan thông qua biểu đồ cột so sánh thời gian xử lý phép toán nhóm giữa EC-ElGamal và RSA, kết hợp bảng ma trận đánh giá rủi ro an ninh đối với các kỹ thuật tấn công phổ biến (như can thiệp đường truyền, dò phiếu relay, hay vượt qua khóa IP). Kết quả thảo luận khẳng định hệ thống hoàn toàn đáp ứng các tiêu chuẩn khắt khe về tính riêng tư, tính đúng đắn và tính công minh trong các cuộc thăm dò quy mô vừa và nhỏ.

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

Dựa trên kết quả nghiên cứu thực nghiệm, các giải pháp mang tính hành động cao được đề xuất nhằm hoàn thiện và nhân rộng mô hình:

  1. Triển khai kiến trúc mã hóa EC-ElGamal đa lớp: Thay thế toàn bộ các module mã hóa RSA cũ bằng hệ mật đường cong Elliptic 160-bit hoặc 256-bit nhằm tăng 40% tốc độ mã hóa phiếu bầu. Thời gian thực hiện trong 6 tháng, do Bộ phận Kỹ thuật và An toàn Thông tin chủ trì.
  2. Áp dụng giao thức phân chia bí mật Shamir $A(t, m)$ cho ban kiểm phiếu: Thiết lập quy trình bắt buộc chia khóa giải mã thành ít nhất 3 mảnh ($m=3, t=2$) để xóa bỏ nguy cơ thỏa hiệp dữ liệu nội bộ. Mục tiêu đạt 100% tính minh bạch khi mở hòm phiếu. Thời gian hoàn thành trong 3 tháng, do Ban Quản trị hệ thống thực hiện.
  3. Tích hợp cơ chế phòng thủ chống bot bằng CAPTCHA động và chữ ký vòng: Ngăn chặn các công cụ bỏ phiếu tự động và bảo vệ danh tính cử tri trong các cuộc khảo sát mở rộng. Mục tiêu giảm thiểu 99% thư rác và phiếu ảo. Thời gian thử nghiệm trong 2 tháng, do Đội ngũ Phát triển Phần mềm chịu trách nhiệm.
  4. Xây dựng quy trình xác thực chéo qua mã QR và ứng dụng di động: Cho phép cử tri quét mã QR để kiểm tra tính hợp lệ của lá phiếu trong vòng 30 phút sau khi bỏ phiếu mà không để lộ nội dung bầu chọn. Thời gian triển khai trong 12 tháng, do Đơn vị Quản lý Bầu cử phối hợp thực hiện.

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

Nội dung và kết quả thực nghiệm của luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng chính:

  1. Học viên, nghiên cứu sinh ngành An toàn Thông tin và Hệ thống Thông tin: Cung cấp cơ sở toán học chi tiết về đường cong Elliptic, bài toán logarit rời rạc và các thuật toán giải mã như Shank, Pohlig-Hellman để phát triển các đề tài mật mã ứng dụng.
  2. Kỹ sư phát triển phần mềm và Kiến trúc sư hệ thống: Cung cấp mô hình thiết kế thực tế gồm 3 máy chủ phân tách (chuyển tiếp VFS, lưu trữ VSS, kiểm phiếu VCS) và phương pháp chống tấn công tự động cho các ứng dụng Web Polling.
  3. Ban Giám hiệu các trường Đại học, THPT và Cơ quan Đoàn thể: Ứng dụng trực tiếp phần mềm thăm dò ý kiến vào công tác lấy ý kiến học sinh, sinh viên, đánh giá thi đua khen thưởng cán bộ với chi phí vận hành thấp và độ chính xác cao.
  4. Hội đồng Quản trị và Ban Quản lý Doanh nghiệp: Tham khảo giải pháp bỏ phiếu điện tử trực tuyến phục vụ các kỳ Đại hội Cổ đông (ĐHCĐ), giúp tối ưu hóa chi phí tổ chức và tạo điều kiện cho cổ đông từ xa tham gia biểu quyết an toàn.

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

Tại sao hệ mật đường cong Elliptic (ECC) lại tối ưu hơn RSA trong hệ thống bỏ phiếu trực tuyến?
Hệ mật ECC mang lại độ an toàn tương đương RSA nhưng với kích thước khóa ngắn hơn nhiều. Cụ thể, khóa ECC 160-bit có độ bảo mật ngang bằng khóa RSA 1024-bit, giúp giảm 80% chi phí lưu trữ, tiết kiệm băng thông và đẩy nhanh tốc độ mã hóa phiếu bầu trên các thiết bị di động.

Cơ chế chia sẻ bí mật Shamir ngăn chặn gian lận kiểm phiếu như thế nào?
Sơ đồ Shamir $A(t, m)$ phân chia khóa giải mã hòm phiếu thành $m$ mảnh độc lập trao cho các thành viên ban kiểm phiếu. Khóa chỉ được tái tạo khi có đủ $t$ thành viên hợp tác (ví dụ 2 trên 3 người), ngăn chặn tuyệt đối tình trạng một cá nhân tự ý giải mã hoặc làm sai lệch kết quả trước thời hạn.

Hệ thống xử lý vấn đề bỏ phiếu lặp lại và tấn công tự động bằng cách nào?
Hệ thống kết hợp kỹ thuật mã hóa hình ảnh các lựa chọn bằng chữ và số ngẫu nhiên (chống OCR), quản lý phiên làm việc bằng Cookies an toàn và kiểm soát địa chỉ IP. Nhờ đó, hệ thống ngăn chặn hơn 95% các đoạn mã script tự động gửi yêu cầu bỏ phiếu liên tục.

Sự khác biệt cốt lõi giữa hệ thống bỏ phiếu của Estonia và Israel là gì?
Estonia áp dụng mô hình bỏ phiếu từ xa qua Internet bằng chứng minh thư điện tử cá nhân, chú trọng tính tiện lợi nhưng chịu rủi ro phần mềm độc hại từ thiết bị người dùng. Ngược lại, Israel sử dụng thẻ thông minh RFID tại các trạm bỏ phiếu cố định, nhấn mạnh an ninh phần cứng nhưng cử tri vẫn phải di chuyển trực tiếp.

Mô hình này có thể mở rộng ứng dụng cho Đại hội Cổ đông trực tuyến không?
Hoàn toàn khả thi. Mô hình đã tích hợp các cơ chế tương tự giải pháp EzGSM của FPTS và CPC eVote của EVNCPC, cho phép cổ đông xác thực định danh qua tài khoản riêng, biểu quyết trực tuyến theo thời gian thực và tự động tổng hợp kết quả mà vẫn bảo đảm tính pháp lý dữ liệu.

Kết luận

  • Hệ mật đường cong Elliptic (EC-ElGamal) là giải pháp tối ưu hóa hiệu năng vượt trội cho hệ thống bỏ phiếu trực tuyến với dung lượng khóa 160-bit siêu gọn.
  • Sơ đồ chia sẻ bí mật ngưỡng Shamir $A(2,3)$ giải quyết triệt để bài toán phân quyền giải mã và bảo đảm tính toàn vẹn tuyệt đối cho hòm phiếu điện tử.
  • Hệ thống phòng thủ đa tầng kết hợp CAPTCHA động và kiểm soát gói tin HTTP giúp giảm thiểu trên 95% rủi ro từ các cuộc tấn công bỏ phiếu tự động.
  • Mô hình thử nghiệm đã chứng minh tính khả thi, độ ổn định và tính chính xác cao khi áp dụng trực tiếp vào công tác thăm dò dư luận trong môi trường giáo dục.
  • Đề tài mở ra tiềm năng ứng dụng rộng lớn cho các cơ quan, trường học và doanh nghiệp trong việc lấy ý kiến công chúng và tổ chức biểu quyết từ xa an toàn.

Trong giai đoạn tiếp theo từ 6 đến 12 tháng, hệ thống cần được nghiên cứu mở rộng tích hợp công nghệ chữ ký vòng và bằng chứng không tiết lộ tri thức (Zero-Knowledge Proofs). Hãy liên hệ ngay với nhóm nghiên cứu hoặc tải toàn văn luận văn để tiếp cận mã nguồn thử nghiệm và ứng dụng giải pháp bỏ phiếu điện tử an toàn cho tổ chức của bạn!