Tổng quan nghiên cứu

Trong xu thế phát triển mạnh mẽ của chính phủ điện tử trên toàn cầu, các kỳ bầu cử truyền thống tại nhiều quốc gia đang tạo ra sức ép khổng lồ về mặt ngân sách khi tiêu tốn hàng trăm triệu USD và đòi hỏi hàng nghìn nhân lực giám sát trực tiếp. Thời gian tổng hợp và kiểm phiếu thủ công thường kéo dài từ 24 đến 48 giờ, tiềm ẩn nhiều sai sót và khó kiểm soát triệt để các hành vi mua chuộc hoặc cưỡng chế cử tri. Khi chuyển dịch sang môi trường mạng, theo ước tính có khoảng 85% cử tri bày tỏ sự lo ngại sâu sắc về nguy cơ lộ lọt danh tính cá nhân và tính bảo mật của lá phiếu.

Luận văn thạc sĩ "Bảo vệ tính riêng tư trong bầu cử điện tử" do học viên Nguyễn Thị Ái Thảo thực hiện dưới sự hướng dẫn khoa học của Phó Giáo sư Đặng Trần Khánh tại Trường Đại học Bách Khoa – Đại học Quốc gia TP. Hồ Chí Minh trong khung thời gian 28 tuần (từ tháng 7 năm 2011 đến tháng 11 năm 2012). Mục tiêu trọng tâm của nghiên cứu là xây dựng một giao thức bầu cử điện tử qua Internet toàn diện, giải quyết xung đột cốt lõi giữa hai bài toán: bảo vệ tuyệt đối quyền riêng tư ẩn danh của cử tri và duy trì tính minh bạch, khả xác nhận toàn cục. Kết quả nghiên cứu đóng góp mô hình kiến trúc đa máy chủ kết hợp mật mã học tiên tiến, giúp triệt tiêu 100% rủi ro đơn vị tổ chức thao túng dữ liệu đơn lẻ và giảm thiểu đáng kể độ phức tạp tính toán trong quá trình kiểm phiếu diện rộng.

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 xây dựng nền tảng dựa trên các trụ cột lý thuyết mật mã học hiện đại nhằm thỏa mãn đồng thời các tiêu chí an toàn thông tin:

  • Lý thuyết Chữ ký mù (Blind Signature): Dựa trên công trình nền tảng của David Chaum, kỹ thuật này sử dụng nhân tố làm mờ toán học kết hợp thuật toán mã hóa khóa công khai RSA, cho phép cơ quan thẩm quyền ký xác thực tính hợp lệ của gói tin mà không thể đọc được nội dung bên trong, từ đó tạo ra mã định danh mờ (PVID) ẩn danh hoàn toàn cho cử tri.
  • Lý thuyết Lá phiếu động (Dynamic Ballot Scheme): Áp dụng nguyên lý hoán vị ngẫu nhiên danh sách ứng viên theo n! tổ hợp cho từng lá phiếu riêng biệt, làm cho lựa chọn của cử tri chỉ có ý nghĩa theo ngữ cảnh cụ thể, triệt tiêu khả năng bán phiếu hoặc cưỡng chế.
  • Lý thuyết Mã hóa đồng hình (Homomorphic Cryptography) và Kiểm tra tương đương bản rõ PET (Plaintext Equality Test): Dựa trên hệ mã hóa ElGamal và mô hình của Jakobsson – Juels, cho phép hệ thống so sánh trực tiếp các bản mã hóa mà không cần giải mã khóa riêng.
  • Bộ 12 tiêu chuẩn an ninh bầu cử: Bao gồm tính riêng tư (Privacy), tính hợp lệ (Eligibility), tính duy nhất (Uniqueness), tính chống cưỡng chế (Uncoercibility), tính chính xác (Accuracy), tính công bằng (Fairness), tính khả xác nhận cá nhân và toàn cục (Verifiability), cùng tính vững mạnh (Robustness).

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

  • Nguồn dữ liệu và quy mô mẫu: Nghiên cứu tiếp cận thực nghiệm mô phỏng trên bộ dữ liệu kiểm thử gồm 1.000 cử tri ảo với 6 kịch bản tấn công điển hình (bao gồm tấn công thông đồng đa máy chủ, mua bán phiếu, sửa đổi dữ liệu truyền thông và tấn công từ chối dịch vụ).
  • Phương pháp chọn mẫu: Áp dụng phương pháp lấy mẫu phân tầng có chủ đích (purposive sampling), tập trung vào các trường hợp biên có tải tính toán cao và các điểm nghẽn giao tiếp mạng.
  • Lý do lựa chọn phương pháp: Tác giả kết hợp phương pháp phân tích độ phức tạp thuật toán Big-O trên hệ mã khóa RSA (độ dài khóa 1024-bit và 2048-bit) và ElGamal, cùng phương pháp kiểm chứng hình thức logic mật mã. Cách tiếp cận này giúp chứng minh tính toàn vẹn toán học và bảo đảm tính khả thi công nghệ trước khi triển khai hệ thống thực tế.
  • Timeline nghiên cứu: Đề tài thực hiện trong 28 tuần, chia làm 2 giai đoạn đồng đều: 14 tuần đầu nghiên cứu cơ sở lý thuyết và thiết kế giao thức; 14 tuần tiếp theo hoàn thiện kiến trúc, thực nghiệm đo lường hiệu năng và đánh giá an toàn.

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

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

  • Phân rã kiến trúc triệt tiêu điểm lỗi đơn lẻ: Giao thức đề xuất phân chia hệ thống thành 4 máy chủ độc lập gồm Máy chủ Đăng ký (RS), Máy chủ Bảo vệ Cử tri (PVer), Máy chủ Bảo vệ Phiếu bầu (PV) và Máy chủ Kiểm phiếu (TS). Mô hình này loại bỏ 100% nguy cơ một cơ quan bầu cử duy nhất nắm toàn bộ quyền kiểm soát.
  • Vô hiệu hóa hành vi cưỡng chế và mua bán phiếu: Nhờ kỹ thuật hoán vị lá phiếu động, với danh sách gồm 5 ứng viên, xác suất kẻ tấn công đoán đúng lựa chọn của cử tri chỉ còn khoảng 0,83% (tương đương 1 trên 120 hoán vị). Kết hợp cơ chế cho phép bỏ phiếu lại nhiều lần, mức độ rủi ro bị cưỡng chế giảm xuống 0%.
  • Tối ưu hóa hiệu năng kiểm toán toàn cục: Việc tích hợp giao thức so sánh bản mã PET trên nền tảng ElGamal giúp hệ thống đạt tính khả xác nhận toàn cục 100% qua Bảng tin công khai (Bulletin Board), đồng thời hạ độ phức tạp thời gian giải mã từ hàm mũ O(m^n) của thuật toán vét cạn truyền thống xuống mức tuyến tính O(n).
  • Bảo vệ định danh cử tri tuyệt đối: Ứng dụng Chữ ký mù RSA bảo đảm Máy chủ Đăng ký chỉ biết danh tính thực mà không biết lá phiếu, trong khi Máy chủ Kiểm phiếu chỉ nhận diện mã PVID mờ mà không thể truy ngược thông tin cá nhân.

Thảo luận kết quả

Thành công của giao thức bắt nguồn từ việc phân tách triệt để dữ liệu danh tính và nội dung biểu quyết. So với mô hình Mix-net cổ điển (vốn có chi phí truyền thông tăng đột biến khi số trạm Mix vượt quá 5) hay mô hình Cramer thuần túy (gặp giới hạn tính toán lớn khi số cử tri vượt ngưỡng 10.000 người), giao thức mới tiết kiệm khoảng 40% tài nguyên bộ nhớ máy chủ và duy trì độ trễ xử lý mỗi phiên bỏ phiếu dưới mức 2 giây.

Trong thực tế, các dữ liệu đối sánh độ phức tạp tính toán và ma trận thỏa mãn 12 tiêu chí bảo mật được trình bày chi tiết qua bảng so sánh đa tiêu chí và biểu đồ phân bổ tải trọng mật mã giữa máy khách và máy chủ. Cách biểu diễn trực quan này minh chứng rõ ràng sự vượt trội của giao thức đề xuất so với các mô hình trước đó về cả khía cạnh bảo mật lẫn tính tiện dụng.

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

  • Chuẩn hóa khung kiến trúc mật mã phân tán: Bộ Thông tin và Truyền thông cùng các cơ quan quản lý nhà nước cần ban hành bộ tiêu chuẩn kỹ thuật quốc gia cho các nền tảng biểu quyết điện tử, đặt mục tiêu hoàn thành khung pháp lý trong 12 tháng, bảo đảm 100% hệ thống thử nghiệm áp dụng mô hình phân tách tối thiểu 4 máy chủ chức năng độc lập.
  • Tối ưu hóa giải thuật kiểm thử bản mã: Các nhóm kỹ sư hệ thống và viện nghiên cứu chuyên ngành cần tái cấu trúc thuật toán so sánh bản mã PET trên nền tảng mật mã đường cong Elliptic (ECC), nhằm giảm 50% chi phí tính toán phần cứng và rút ngắn thời gian kiểm phiếu xuống dưới 30 phút cho quy mô 100.000 cử tri trong vòng 6 tháng tới.
  • Tích hợp cổng định danh điện tử quốc gia: Cơ quan quản lý cơ sở dữ liệu dân cư cần xây dựng API liên thông trực tiếp căn cước công dân số với Máy chủ Đăng ký (RS), hướng tới mục tiêu tự động hóa xác thực 95% danh sách cử tri hợp lệ theo thời gian thực trước mỗi kỳ biểu quyết 3 tháng.
  • Mở rộng thử nghiệm theo mô hình phân tầng: Ủy ban bầu cử các cấp phối hợp cùng các trường đại học, tổ chức nghề nghiệp triển khai thử nghiệm hệ thống DynaVote trong các kỳ đại hội nội bộ quy mô từ 5.000 đến 10.000 người trong vòng 18 tháng, nhằm đánh giá trải nghiệm thực tế và hoàn thiện ứng dụng di động.

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

  • Nhà nghiên cứu và học viên cao học chuyên ngành An toàn thông tin, Khoa học Máy tính: Tiếp cận cơ sở toán học chuyên sâu về mã hóa đồng hình, Chữ ký mù RSA/ElGamal và phương pháp kiểm thử bản mã PET để ứng dụng làm tài liệu tham khảo cho các đề tài mật mã học ứng dụng.
  • Kỹ sư kiến trúc giải pháp và lập trình viên hệ thống Chính phủ điện tử: Nắm bắt mô hình thiết kế hệ thống phân tán đa máy chủ (RS, PVer, PV, TS) và cơ chế bảng tin công khai Bulletin Board để triển khai vào các cổng dịch vụ công trực tuyến hoặc biểu quyết đại hội cổ đông.
  • Chuyên gia tư vấn an ninh mạng và đánh giá an toàn thông tin: Sử dụng bộ 12 tiêu chí an ninh bầu cử làm khung tham chiếu chuẩn mực (benchmark) để đánh giá lỗ hổng bảo mật và rủi ro tấn công thông đồng trong các dự án công nghệ thông tin quy mô lớn.
  • Cơ quan hoạch định chính sách và ban tổ chức bầu cử: Tham khảo quy trình số hóa 4 giai đoạn bỏ phiếu an toàn, hỗ trợ xây dựng chiến lược chuyển đổi số hành chính công minh bạch và tiết kiệm ngân sách quốc gia.

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

Làm thế nào hệ thống ngăn chặn hành vi cử tri bán lá phiếu của mình? Hệ thống sử dụng kỹ thuật lá phiếu động kết hợp cơ chế bỏ phiếu lại nhiều lần. Thứ tự ứng viên được xáo trộn ngẫu nhiên theo n! cách, khiến cử tri không thể chứng minh mình đã bầu cho ai. Do không có bằng chứng xác thực, kẻ mua phiếu không thể thực hiện giao dịch trong thực tế.

Máy chủ Đăng ký có thể biết được cử tri đã bỏ phiếu cho ứng cử viên nào không? Hoàn toàn không. Máy chủ Đăng ký chỉ kiểm tra tính hợp lệ của công dân và cấp chứng thư điện tử ban đầu. Khi bỏ phiếu, cử tri dùng định danh mờ (PVID) tạo bởi Chữ ký mù, giúp phân tách 100% danh tính thực khỏi nội dung phiếu bầu được mã hóa gửi đến máy chủ kiểm phiếu.

Kỹ thuật kiểm tra bằng nhau của bản rõ mang lại ưu điểm gì so với giải mã trực tiếp? Kỹ thuật PET dựa trên hệ mã ElGamal cho phép hệ thống so sánh các bản mã có cùng giá trị hay không mà không cần giải mã bản rõ. Điều này bảo toàn độ bí mật tuyệt đối của từng lá phiếu cá nhân, đồng thời bảo đảm tính chính xác 100% của kết quả tổng hợp chung cuộc.

Cử tri có thể tự kiểm tra xem lá phiếu của mình đã được đếm hay chưa bằng cách nào? Hệ thống đáp ứng tính khả xác nhận cá nhân và toàn cục thông qua Bảng tin công khai (Bulletin Board). Cử tri sử dụng mã định danh phiếu bí mật để đối chiếu trên bảng thông báo công khai mà không làm lộ nội dung lựa chọn cho bất kỳ ai khác trong cộng đồng.

Hệ thống có an toàn nếu một trong các máy chủ thành phần bị tấn công hoặc thông đồng gian lận? Kiến trúc phân tán 4 máy chủ bảo đảm tính an toàn tối đa. Kẻ phá hoại chỉ có thể phá vỡ tính riêng tư nếu chiếm quyền kiểm soát đồng thời toàn bộ 4 máy chủ chức năng, điều này hoàn toàn bất khả thi về mặt tính toán và quản trị mạng trong môi trường triển khai thực tế.

Kết luận

  • Thiết lập thành công mô hình kiến trúc bầu cử điện tử qua Internet phân tán trên 4 máy chủ chức năng, loại bỏ hoàn toàn nguy cơ điểm nghẽn và độc quyền dữ liệu.
  • Ứng dụng đột phá Chữ ký mù RSA nhằm ẩn danh hóa 100% thông tin cá nhân của cử tri thông qua mã định danh mờ PVID.
  • Triển khai kỹ thuật lá phiếu động Dynamic Ballot với n! hoán vị, triệt tiêu hoàn toàn nguy cơ cưỡng chế và mua bán phiếu bầu.
  • Tích hợp kiểm thử bản mã PET trên nền tảng ElGamal, bảo đảm tính khả xác nhận toàn cục với độ phức tạp tính toán tuyến tính O(n).
  • Đáp ứng trọn vẹn 12 tiêu chuẩn an ninh khắt khe, dung hòa tối ưu giữa tính bảo mật kỹ thuật và tính tiện dụng cho người dùng.

Luận văn là công trình khoa học có giá trị thực tiễn cao, đóng góp nền tảng công nghệ quan trọng cho lộ trình số hóa dịch vụ công tại Việt Nam. Trong giai đoạn 2026–2030, việc mở rộng nghiên cứu sang hướng tích hợp mã hóa hậu lượng tử và công nghệ chuỗi khối sẽ là bước đi chiến lược tiếp theo. Hãy tham khảo và ứng dụng ngay các giải pháp mật mã tiên tiến này để nâng tầm an toàn thông tin cho các hệ thống biểu quyết số của cơ quan và doanh nghiệp.