Algorytmy transformacji wielomianowych i ich zastosowania

Głosowanie elektroniczne7.5. Analiza bezpieczeństwaProponowany w poprzednim podrozdziale model głosowania elektronicznego cechujerozproszenie odpowiedzialności pomiędzy kilka uprawionych jednostek. Przyczyniasię to do zwiększenia bezpieczeństwa procesu głosowania dzięki wzajemnejkontroli uprawionych jednostek. Model ten spełnia następujące wymagania stawianeelektronicznym systemom głosowań:• Nienaruszalność - głosować mogą tylko ci użytkownicy, którzy zostali zarejestrowaniprzez zaufaną jednostkę T A i uzyskali certyfikaty uprawniające ichdo głosowania.• Niepowtarzalność - głosujący otrzymuje certyfikat, w skład którego wchodzijednoznacznie identyfikująca go wartość x i . Dzięki temu oddanie więcej niżjednego głosu z wykorzystaniem tego samego certyfikatu jest łatwe do wykrycia.• Zupełność - po weryfikacji autentyczności certyfikatów przez członków komisji,głosy trafiają do zaufanej jednostki T C, która je zlicza. Po przeprowadzeniugłosowania publikowana jest lista dowodów głosów wraz ze związanymi z nimiwartościami x i , co umożliwia głosującym sprawdzenie, czy ich głosy zostałypoprawnie policzone.• Weryfikowalność ogólna i indywidualna - fragmenty certyfikatów, które zostaływykorzystane przez głosujących, a dokładniej wartości x i , są publikowaneprzez jednostkę T C zliczającą głosy. Zaufana jednostka T A przechowujewszystkie wartości x i , które zostały rozdysponowane pośród uczestnikówuprawnionych do głosowania; w oparciu o ten fakt T A sprawdza, czy w głosowaniubrali udział jedynie uprawnieni uczestnicy. Ponadto każdy głosującymoże sprawdzić, czy jego głos został poprawnie policzony - w tym celu naliście opublikowanej przez T C wyszukuje swoją wartość x i . Jeżeli tej wartościnie znajdzie zgłasza zaistniały problem, jeśli znajdzie - sprawdza dowód, abyuzyskać pewność, że jego głos został poprawnie odczytany przez zliczającego.• Niezawodność - uczestnik nie posiadający ważnego certyfikatu, nie przejdzie72