Leksykon IT › Bezpieczeństwo › Philip Stark

Philip Stark

Bezpieczeństwo Svenska → Zaktualizowano: 2026-10-17

Statystyk z UC Berkeley, który w 2008 roku zaproponował audyty ograniczające ryzyko — sposób sprawdzenia elektronicznego wyniku wyborów przez ręczne przeliczenie jak najmniejszej liczby papierowych kart.

Idea jest prosta w opisie, a trudna do wyliczenia: losuje się karty z papierowego zapisu i porównuje z tym, co zgłosiły maszyny, aż stanie się statystycznie dostatecznie mało prawdopodobne, że ogłoszono błędnego zwycięzcę. Przy dużej przewadze wystarczy kilkaset kart. Przy wąskiej trzeba więcej, w najgorszym razie pełnego przeliczenia. Efektem jest gwarantowana górna granica prawdopodobieństwa, że błędny wynik przetrwa — niezależnie od tego, czy przyczyną był błąd, czy atakujący.

Chodzi o to, że oprogramowaniu nie trzeba ufać w ogóle, wystarczy papier i kości. Kolorado jako pierwszy stan przeprowadziło je w całym stanie w 2017 roku. Specjaliści od bezpieczeństwa od lat powtarzali „zachowajcie papier”; Stark odpowiedział na oczywiste pytanie, co z nim potem zrobić.

← Wróć do leksykonu