Lire le code, oui, mais il faut être certain que le code binaire est bien issu du code source audité et rien que de lui.
D'autre part, le compilateur peut ajouter des backdoors. Il faut auditer aussi le compilateur. Toute la chaine doit être vérifiée.
Pour ma part, je suis convaincu que les machines à voter ne peuvent pas être utilisées pour des votes où les enjeux sont importants. Il est trop facile de cacher un bout de code qui ne fonctionnera que le jour voulu. Si ce n'est pas dans le code source, ce sera dans dans le BIOS par exemple.
[^] # Re: infos complementaires
Posté par Pierre Jarillon (site web personnel) . En réponse à la dépêche Pétition sur le vote électronique. Évalué à 6.
D'autre part, le compilateur peut ajouter des backdoors. Il faut auditer aussi le compilateur. Toute la chaine doit être vérifiée.
Pour ma part, je suis convaincu que les machines à voter ne peuvent pas être utilisées pour des votes où les enjeux sont importants. Il est trop facile de cacher un bout de code qui ne fonctionnera que le jour voulu. Si ce n'est pas dans le code source, ce sera dans dans le BIOS par exemple.