Ajanović CIK-u uputio novih 20 pitanja o hash vrijednostima, logovima, firmwareu i forenzičkoj provjeri izbornih skenera

Predsjednik BOSS-a dr. sc. Mirnes Ajanović uputio je Centralnoj izbornoj komisiji BiH novi zahtjev sa pitanjima 281–300, koja se odnose na tehničku i forenzičku provjeru softvera korištenog na skenerima u okviru novih izbornih tehnologija.

BOSS traži dokumentovan odgovor na pitanje da li je prije izbora provjereno da se na skenerima nalazio upravo odobreni softver, bez neovlaštenih izmjena, dodatnog koda ili promijenjene konfiguracije koja bi mogla uticati na evidentiranje glasova.

U saopćenju BOSS naglašava da ne tvrdi da je softver bio kompromitovan, izmijenjen ili namjerno podešen da pogrešno evidentira glasove. Kako navode, cilj zahtjeva je da se utvrdi na koji način je CIK provjerio i isključio takvu mogućnost.

Poseban fokus stavljen je na razliku između sigurnosti elektronske transmisije rezultata i sigurnosti samog softvera koji očitava glasački listić, tumači oznake i proizvodi podatke koji se potom prenose.

BOSS zato od CIK-a traži odgovore, između ostalog, na pitanja da li je prije izbora provjerena hash vrijednost softvera na skenerima, firmware, konfiguracijske datoteke i izborne definicije, kao i da li je postojao digitalni potpis kojim bi se potvrdilo da je na uređajima instalirana odobrena verzija softvera.

Traže se i informacije o tome ko je imao ovlaštenje za izmjene ili ažuriranje softvera, da li je svaka promjena ostavljala zapis u sistemskim logovima te da li je bilo tehnički moguće instalirati neodobren ili izmijenjen softver.

Jedno od pitanja odnosi se i na nezavisnog revizora PRO V&V. BOSS traži pojašnjenje da li je revizor pregledao stvarni softver instaliran na uređajima koji su upućeni na biračka mjesta ili samo referentnu verziju sistema.

BOSS traži i informaciju da li je provedena digitalno-forenzička analiza kojom bi se moglo utvrditi eventualno postojanje neodobrenog koda, neovlaštenih izmjena, skrivenih funkcionalnosti ili drugih anomalija u produkcijskom sistemu.

U zahtjevu se posebno problematizira mogućnost dokazivanja kompletnog tehničkog lanca – od odobrenog izvornog koda, preko kontrolisanog izvršnog softvera i njegove hash vrijednosti, do instalacije na konkretan skener, zaključane konfiguracije, predizbornog testa i korištenja uređaja na biračkom mjestu bez naknadne neodobrene izmjene.

BOSS navodi da bi, ukoliko takvi dokazi postoje, CIK trebalo da ih dokumentovano predstavi javnosti. Ukoliko su provjere obavljene samo na uzorku uređaja ili na referentnoj verziji softvera, BOSS smatra da bi trebalo jasno navesti šta je bilo predmet provjere, a šta nije.

U saopćenju se navodi i da je ugovor sa nezavisnim revizorom PRO V&V zaključen 18. septembra, dok je CIK odluku o ispunjenosti tehničkih uslova donio 2. oktobra, dva dana prije izbora. Zbog toga BOSS traži i objavu predizbornih izvještaja na osnovu kojih je zaključeno da je sistem spreman za korištenje.

BOSS naglašava da njegova pitanja ne predstavljaju tvrdnju da je do kompromitovanja softvera došlo, već zahtjev da se javnosti pokaže kojim su tehničkim i forenzičkim postupcima takva mogućnost provjerena.

Sa novih 20 pitanja, BOSS navodi da je CIK-u BiH do sada uputio ukupno 300 konkretnih pitanja koja se odnose na sigurnost, tačnost, funkcionalnost i provjerljivost izbornog procesa.

Kompletan zahtjev sa pitanjima 281–300 moguće je naći OVDE

Izvor: Press BOSS-a