Quy trình giai đoạn Kiểm phiếu đƣợc chi tiết trong hình 3.4
a/. Thành viên Ban kiểm phiếu thông gian: Sửa đổi nội dung Lá phiếu.
Theo suy nghĩ thông thƣờng, khi cử tri chuyển lá phiếu tới ban KP thì họ chỉ cần mã hóa nội dung lá phiếu là đủ. Vì tiếp theo ban KP chỉ cần giải mã nội dung lá phiếu là tính đƣợc kết quả (kiểm phiếu).
Nhƣng trên thực tế có thể xảy ra các tình huống sau: ban KP hay một nhóm thành viên ban KP không trung thực đã gian lận phiếu thăm dò, ví dụ sửa lại nội dung lá phiếu sau khi giải mã (trƣớc khi kiểm phiếu). Để khắc phục tình hình này, ngƣời ta sử dụng kỹ thuật “mã hóa đồng cấu - chia sẻ bí mật”. Với giải pháp này ban KP không phải giải mã từng lá phiếu nhƣng vẫn tính đƣợc kết quả.
Giải quyết:
+ Cách 1: Dùng phƣơng pháp chia sẻ khóa giải mãlá phiếu, mỗi ngƣời kiểm
phiếu giữ 1 mảnh khóa.
+ Cách 2: Mã hóa lá phiếu nhiều lần với các khóa công khai của từng thành viên
ban KP. Sau đó Trộn thứ tự các lá phiếu sau mỗi lần giải mã.
+ Cách 3: Chiasẻ lá phiếu thành nhiều mảnh, mỗi ngƣời trong ban KP giữ một
mảnh.
Chia sẻ khóa giải mã và chia sẻ lá phiếu:
Chìa khoá để giải mã nội dung lá phiếu đƣợc chia thành m mảnh, mỗi ngƣời trong ban KP giữ 1 mảnh, và phải bảo đảm rằng 1 nhóm ngƣời ít hơn m không thể khôi phục đƣợc khoá giải mã.
Bản thân nội dung lá phiếu có thể đƣợc chia thành m mảnh.Cử tri gửi cho m thành viên của ban KP, mỗi ngƣời giữ 1 mảnh và phải bảo đảm rằng 1 nhóm ngƣời ít hơn m không thể xác định đƣợc nội dung lá phiếu.
Với kỹ thuật này, cuộc bỏ phiếu bảo đảm đƣợc bí mật và kiểm soát đƣợc kết quả bỏ phiếu: cụ thể là tránh gian lận phiếu.
Hiện nay có nhiều loại sơ đồ “chia sẻ bí mật” để thực hiện các công việc nhƣ trên, ví dụ: sơ đồ chia sẻ bí mật ngƣỡng Shamir, cấu trúc mạch đơn điệu, không gian Vector Brickell,…
b/. Phòng tránh cử tri bán lá phiếu cho ứng cử viên:
Giải quyết: Dùng ngƣời XMTT mã hóa lá phiếu lần thứ 2. Do đó cử tri không
nhận ra lá phiếu của mình.
Giải quyết: Kiểm tra định danh, kiểm tra chữ ký của ban ĐK
Hình 3.4. Quy trình kiểm phiếu