avs Online

Tietokoneet voidaan ohjelmoida simuloimaan lähes mitä tahansa ilmiötä. Tietokoneohjelma voi suorittaa täsmällisen tai valheellisen äänestyksen. Auditoijilla ei ole mahdollisuutta tietää, mikä ohjelma on asennettu (...) äänestystä suorittaville tietokoneille, koska EADS [ohjelmiston tekijä] varjelee ohjelmaa liikesalaisuutena eikä näytä sitä auditoijille. Ja vaikka EADS näyttäisi heille ohjelman, auditoijilla ei ole mitään tapaa olla varmoja siitä, että heille näytetty ohjelma on sama, joka on asennettu tietokoneisiin.

[...]

Esimerkiksi, kun ohjeistuksessa sanotaan "sähköisen äänestyspaikan henkilökunta toteaa, että sähköinen uurna on tyhjä", [INRIAn] Bernard Lang suosittelee "on tärkeää selventää, että toteatte kuvaruudun näyttävän, että sähköinen uurna on tyhjä. Älkää koskaan väittäkö, että se on todella tyhjä."

Nämä pätkät ovat uusimmassa EDRI-gramissa julkaistusta artikkelista, joka kertoo Ranskassa havaituista sähköisen äänestyksen ongelmista. Oikeastaan näissä kahdessa tekstinkappaleessa kiteytyvät suurimmat sähköisen äänestyksen ongelmat. Äänestysohjelmiston oikeutta on vaikea taata, mikäli se ei ole avointa lähdekoodia. Toisaalta ajettavan binäärin ja avoimen lähdekoodin vastaavuuden varmistaminen on myös melkoinen logistinen operaatio. Ja jos ruudulla näkyy, että uurna on tyhjä, miten voimme olla varmoja, että (suljetun lähdekoodin tai krakkerin asentama) näyttöajuri ei vain väitä uurnaa tyhjäksi?