C'est effectivement ça le gros problème. La crypto, c'est horriblement compliqué à comprendre et à prouver. Même en tant qu'informaticien (non-spécialisé en sécurité), je serais bien incapable de certifier qu'une machine de vote fonctionne correctement (surtout s'il faut vérifier la théorie et ensuite l'implémentation). En gros, il y aura juste les gens avec des doctorats en cryptographie qui pourront vérifier la machine…
Et encore, une machine ça bugue. Avec une coupure de courant, un problème disque, un aimant, l'humidité etc. Et il faudrait expertiser chaque machine une par une le matin du vote dans chaque bureau pour être sûre qu'elle soit bien conforme : c'est impossible.
[^] # Re: Impossibilité mathématique
Posté par Jiel (site web personnel) . En réponse à la dépêche Fuite d'un rapport de la CNIL sur les élections prud'homales par Internet en 2008. Évalué à 3.
Et encore, une machine ça bugue. Avec une coupure de courant, un problème disque, un aimant, l'humidité etc. Et il faudrait expertiser chaque machine une par une le matin du vote dans chaque bureau pour être sûre qu'elle soit bien conforme : c'est impossible.