Niezależność oprogramowania
| Część serii dotyczącej |
| technologii wyborczej |
|---|
| Technologia |
| Terminologia |
|
| Testowanie |
| Producenci |
| Powiązane aspekty |
Termin „ niezależność oprogramowania ” ( SI ) został wymyślony przez dr Rona Rivesta i badacza NIST , Johna Wacka. Niezależna od oprogramowania maszyna do głosowania to taka, której zapis tabelaryczny nie opiera się wyłącznie na oprogramowaniu. Celem systemu SI jest definitywne ustalenie, czy wszystkie głosy zostały zarejestrowane zgodnie z prawem, czy przez pomyłkę.
Techniczna definicja SI to:
System głosowania jest niezależny od oprogramowania, jeśli niewykryta zmiana lub błąd w jego oprogramowaniu nie może spowodować niewykrywalnej zmiany lub błędu w wyniku wyborów.
SI została ponownie zdefiniowana jako globalna właściwość służąca do zestawienia głosów, a nie poszczególnych głosów, mająca na celu wykrywanie błędów i oszustw, a nie zapobieganie im w procesach ludzkich.
Uchwała TGDC
Komitet ds. Rozwoju Wytycznych Technicznych Komisji ds. Pomocy Wyborczej przyjął rezolucję SI dotyczącą kolejnej iteracji Wytycznych dotyczących dobrowolnego systemu głosowania (VVSG):
Urzędnicy wyborczy i sprzedawcy odpowiednio zareagowali na rosnącą złożoność systemów głosowania, dodając bardziej rygorystyczne kontrole dostępu, szyfrowanie, testowanie i fizyczne zabezpieczenia do procedur i systemów wyborczych. TGDC rozważyło obecne zagrożenia dla systemów głosowania i obecnie stwierdza, że obawy dotyczące bezpieczeństwa nie uzasadniają wymiany wdrożonych systemów głosowania, w których stosowane są najlepsze praktyki EAC.
Aby zapewnić audytowalność i proaktywnie zająć się rosnącą trudnością ochrony przed wszystkimi potencjalnymi zagrożeniami, TGDC poleca STS napisać wymagania dla następnej wersji VVSG, wymagającej, aby następna generacja systemów głosowania była niezależna od oprogramowania. TGDC kieruje STS i HFP do opracowania wymagań dotyczących użyteczności i dostępności, aby wszyscy wyborcy mogli zweryfikować niezależny zapis głosowania.
TGDC ponadto kieruje STS i Podkomitety ds. Wymagań Podstawowych i Testów (CRT) do opracowywania projektów wymagań, aby zapewnić, że systemy, które tworzą niezależnie weryfikowalne zapisy głosowań, są niezawodne i zapewniają odpowiednie wsparcie dla audytów.
Przykładowe systemy
Przykładami systemów głosowania niezależnych od oprogramowania są systemy głosowania ze skanowaniem optycznym i elektroniczne komputery do głosowania z bezpośrednim zapisem (DRE) z papierową ścieżką audytu zweryfikowaną przez wyborcę .