Chƣơng 3 CÁC THUẬT TOÁN NỀN TẢNG TRONG BỎ PHIẾU ĐIỆN TỬ
3.4. Mô hình bỏ phiếu điện tử dựa trên chữ kí vòng
3.4.5. Các tính chất đạt đƣợc
- Tất cả các lá phiếu đúng tiêu chuẩn đều đƣợc kiểm đếm một cách chính xác. - Giả sử KDC là trung thực. Bất kì cử tri hoặc CTF không trung thực đều không
thể làm gián đoạn cuộc bầu cử.
- Các cử tri không thể liên kết đến lá phiếu của cử tri khác.
- Vì trong bảng băm T đƣợc tính bởi H2(v), vì thế những cử tri bỏ piếu lần hai sẽ bị từ chối bởi vì trong suốt quá trình bỏ phiếu, giá trị v đã bị xóa bởi quá trình bỏ phiếu lần một.
- Chỉ những ngƣời dùng đủ điều kiện mới nhận đƣợc các khóa riêng. Trong quá trình bỏ phiếu, do tính chất của hàm băm nên rất khó để những ngƣời khác có đƣợc giá trị v, vì thế rất khó để giả mạo phiếu bầu.
- Ban bầu cử chỉ nhận đƣợc khóa bí mật của mình bởi trung tâm phân phối khóa khi kết thúc cuộc bầu cử, do đó sẽ rất khó để có đƣợc sự thống kê kết quả bầu cử trong thời gian bỏ phiếu.
- Bất kì cử tri nào đểu có thể xác minh lá phiếu của mình. Cử tri có thể dễ dàng thấy đƣợc các lá phiếu của mình bị thay đổi hoặc bị mất. Mọi cử tri sẽ tìm thấy một chuỗi giá trị v, do vậy ban bầu cử không thể thay đổi phiếu bầu. Nếu cử tri không tìm thấy chuỗi giá trị v, họ sẽ phát hiện ra ngay các gian lận.
Chữ kí vòng đảm bảo sự ẩn danh vô điều kiện. Các cử tri đƣợc bảo vệ vĩnh viễn và các lá phiếu cũng đƣợc bảo mật hoàn hảo.
Vb
Pencr(PKKDC,M)||i||stampi
Va