Algorytmy transformacji wielomianowych i ich zastosowania

Głosowanie elektroniczne7.2. Wymagania wobec elektronicznego systemugłosowańSkomputeryzowanie procesu głosowania wymaga ustalenia protokołu wymianydanych, który musi spełniać pewne wymagania. Najistotniejsze z nich zostały omówioneponiżej [Cranor i Cytron, 1997; Internet Policy Institute, 2001; Pieprzyk i inni,2003; Schneier, 2002]:• Nienaruszalność (ang. eligibility) - głosować mogą tylko posiadający prawogłosu.• Niepowtarzalność (ang. unreusability) - głosujący może oddać tylko jeden ważnygłos.• Zupełność (ang. completeness) - wszystkie ważne głosy powinny zostać prawidłowopoliczone.• Weryfikowalność indywidualna (ang. local verifiability) - każdy uprawnionygłosujący może sprawdzić czy jego głos został prawidłowo policzony.• Weryfikowalność ogólna (ang. global verifiability) - dowolny głosujący lub obserwatormoże sprawdzić poprawność wyników rozumianą jako zgodność zbioruoddanych głosów z wynikiem głosowania.• Niezawodność (ang. soundness) - próba głosowania przez uczestnika nieuprawnionegodo głosowania nie ma wpływu na wynik głosowania.• Odporność (ang. robustness) - koalicja uprawnionych lub nieuprawnionychuczestników nie może zakłócić procesu wyborczego.• Poufność (ang. privacy) - nikt nie może sprawdzić na kogo głosował dowolnyuczestniki wyborów, wszystkie głosy muszą pozostać tajne.• Obiektywność (ang. fairness) - nic nie może wpłynąć na proces głosowania,np. częściowa znajomość wyników głosowania.65