Automatische Verkiezingen niet anoniem

[jp++]

De broncode voor het stemprogramma Digivote van Steria zoals beschikbaar op

http://verkiezingen.fgov.be/Nouveau/.../Cdoku7nnl.htm

bevat op zijn minst twee fundamentele fouten die het onmogelijk maken de anonimiteit van de stemming te garanderen.


Beide fouten zijn gebaseerd op het onoordeelkundig gebruk van de "random" functie. Zoals ieder degelijk opgeleid informaticus zou moeten weten, geeft deze functie niet echt een willekeurig getal terug, maar een reeks getallen gebaseerd op een wiskundige formule, zodat men het doorgaans heeft over een PRNG (pseudo-random number generator).

Om te vermijden dat telkens weer eenzelfde voorspelbare reeks getallen gegenereerd wordt, initialiseert men de PRNG in het algemeen met de datum (een getal gemeten in seconden sinds 1 januari 1970).

Op twee plaatsen wordt de random functie onoordeelkundig gebruikt:

1) Het aanmaken van een sessiesleutel voor de "ondertekening" van de gegevens op de magnetische kaart. De sessiesleutel wordt op zo'n manier aangemaakt dat er een eenduidig verband is tussen de waarde van de sessiesleutel en het tijdstip van de stemming. In andere waarden: digivote plaatst een datumstempel op de magnetische stemkaart.


2) Het opvullen van een lijst met stemmen in de bestanden B003 en B013 gebeurt op zo'n wijze dat het heel eenvoudig is de volgorde van de stemmen te reconstrueren. Aangezien de stemmen verdeeld worden over 2000 posities kan eenvoudig uit de niet opgevulde posities worden afgeleid met welke waarde de PRNG is geinitialiseerd, en kan de volgorde der stemmen bepaald worden.


Voor meer info kunt u mij contacteren op

paul <at> afront.be









Appendix 1: implementatie van random functies in de standaard bibliotheek van Borland 3.1, zoals gebruikt om Digivote te compileren.



#define RAND_MAX 0x7FFFU
#define randomize() srand((unsigned)time(NULL))
#define random(num)(int)(((long)rand()*(num))/(RAND_MAX+1))



#define MULTIPLIER 0x015a4e35L /* 22,695,477 */
#define INCREMENT 1
static long Seed = 1;

void srand(unsigned seed) {
Seed = seed;
}

int rand(void) {
Seed = MULTIPLIER * Seed + INCREMENT;
return((int)(Seed >> 16) & 0x7fff);
}


Appendix 2: aanmaken van een sessiesleutel

void Generate_Mav_Session () {

randomize();

for( int i=0; i < DESKEYLEN; i++)
mavSessionKey [i] = random( 10) + '0';

mavSessionKey [i] = 0;
}

[khaled]

Eindelijk nog eens iets interessants.
Wat ik me afvraag - is het ook mogelijk om het stemresultaat te beïnvloeden ?
Ik ben geen programmeur, maar ik kan me voorstellen dat het niet moeilijk is om het programma mits een kleine ingreep ervoor te laten zorgen dat bvb. elke 10de stem op een partij naar een andere partij gaat... Gewoon kwestie van tellertjes te manipuleren ?

[Flippend Rund]

Borland 3.1 ??? In welk jaar leven die mannen?

Ik ben tegen elektronisch stemmen, vanwege het totaal gebrek aan transparantie. Je kunt niet weten wat er nu uiteindelijk in die computer gebeurt.

[jp++]

Ik meen dat er steekproeven zijn waarbij de magneetkaarten nog eens worden geteld en vergeleken met de cijfers op de totalisatie-diskette(s). Gewoon cijfers op de totalisatiediskette veranderen is dan niet echt zonder gevaar.



Als je meer wil weten over de details van de electronische verkiezingen, ga dan naar

http://verkiezingen.fgov.be

en dan o.m. naar "onderrichtingen en formulieren voor stembureaus met electronische stemming"

[khaled]

THX

[The Paulus Experience]

Het is een complot van de politiek correcten!
Big Steve is watching you!!!!

vergeet uw pensioentje maar als u verkeerd stemt, euthanasie zal uw deel zijn. jaja, het is allemaal goed gepland!

=>