Wysoki poziom zabezpieczeń w systemach komputerowych zapewnia się za pomocą wyrafinowanych mechanizmów szyfrowania i starannie opracowanych protokołów. Jednak to, czy system faktycznie nie ma żadnych luk, można stwierdzić jedynie, długotrwale go testując. Nie przeprowadzono jednak należycie prób urządzeń do bezpośredniej rejestracji głosów. Zabezpieczenie stosowanych obecnie maszyn do głosowania zależy wyłącznie od członków komisji wyborczych i przestrzegania procedur. Ponieważ obecnie we wszystkich praktycznie przypadkach zestawienia oddanych głosów, niezależnie od metody glosowania, są przechowywane i przesyłane w formie elektronicznej, manipulacje komputerowe mogą być zagrożeniem dla prawidłowości każdych wyborów. Co więcej, wprowadzenie urządzeń do bezpośredniej rejestracji głosów pozwala, by oszustwo pozostało niezauważone na wszystkich etapach, już od momentu aktu wyborczego. Prób fałszowania wyników wyborów dopuszczano się w przeszłości niejednokrotnie, niemniej manipulacja komputerowa miałaby szczególnie rozlegle skutki, gdyby podjęto ją w dużej jednostce administracyjnej stosującej urządzenia jednego typu i jednakowe oprogramowanie.

Jednolitość systemu obsługi wyborów w dużej skali może zapewnić lepszą ich organizację i większą rzetelność wyników, pod warunkiem jednak zastosowania ścisłych mechanizmów kontrolnych. Wspomniane wcześniej znaczne zmniejszenie liczby głosów nieważnych w całej Georgii potwierdza nasze wnioski. Podczas skrupulatnych testów aparatury do bezpośredniej rejestracji głosów przeprowadzonych w Kenisaw State University wykazano wiele jej słabych punktów, które zostały następnie usunięte. Rygorystyczne testowanie i stopniowe wprowadzanie urządzeń do użytku przesądziło o sukcesie komisji wyborczej stanu Georgia. CZY DA SIĘ WYKRYĆ wszystkie zagrożenia wynikające z błędów oprogramowania i zapobiec im bądź skorygować same błędy, zanim wypaczą wynik wyborów? Przestudiowanie kodu źródłowego pozwala ocenić jakość programu i użyte w nim zabezpieczenia oraz ujawnić ewentualne usterki. Tak naprawdę jedynym w pełni skutecznym sposobem sprawdzenia oprogramowania jest przetestowanie go we wszelkich możliwych sytuacjach.

Ken Thompson, odbierając w 1983 roku Nagrodę Turinga przyznawaną przez Association for Computing Machinery (najbardziej prestiżowe wyróżnienie w informatyce), wygłosił wykład zatytułowany „Refleksje o zaufaniu na kredyt”, w którym wskazał na możliwość takich zagrożeń, jak „jajka wielkanocne” zakamuflowane fragmenty programu, których nie sposób zauważyć podczas normalnego jego przeglądania. Taki podprogram pozostawałby nieaktywny i zaczynał działać dopiero w dniu wyborów, zmieniając wyniki podliczania głosów. Mógłby on zostać przemycony do aparatury do glosowania na przykład w oprogramowaniu właściwym, w programach, które służą do jego kompilacji bądź w takich, które z nim współpracują, zarządzając bazą danych, pamięcią, zadaniami systemu operacyjnego lub graficznym interfejsem użytkownika. Należy zatem przeprowadzić testy pod kątem wychwycenia „jajek wielkanocnych” i usterek, które mogą ujawnić się dopiero w dniu wyborów. Wiele urządzeń do rejestracji głosów ma wewnętrzny zegar, który podczas testowania można ustawić na dzień wyborów.



Tagi: oprogramowanie, urządzenie, program

Podział strony