19.03.2008

Schematy weryfikowalnych wyborów elektronicznych

Już kilka lat temu zwrócono uwagę na niebezpieczeństwo wykorzystywania w wyborach powszechnych maszyn elektronicznych. Pomimo tego, po dzień dzisiejszy są one stosowane w wielu krajach (np. w Holandii, Francji, Brazylii, USA).
Tymczasem, (już/dopiero) w 2004 roku David Chaum zaproponował pierwszy schemat weryfikowalnych wyborów elektronicznych. Od tamtego czasu powstało kilka rozwiązań, które z powodzeniem mogą zastąpić wybory tradycyjne (Punchscan, Pret a Voter, Scantegrity, TWIN, VAV, ThreeBallot, Scantegrity II).
Głównym problemem w projektowaniu weryfikowalnych schematów wyborczych jest konstrukcja potwierdzenia wyborczego, które musi zarazem:
1) umożliwiać wyborcy sprawdzenie poprawności działania komisji wyborczej (systemu),
2) uniemożliwiać mu udowodnienie na kogo oddał głos.
W przypadku wyborów przez Internet dochodzą inne problemy: możliwość modyfikacji wyboru głosującego przez jego własny komputer, możliwość śledzenia poczynań wyborcy, sprzedaż głosów na masową skalę.
Na seminarium przedstawię schematy weryfikowalnych wyborów internetowych, odpornych na działanie malware'u.