Une machine à voter à vérification indépendante ou à vérification duale est une machine à voter qui produit plusieurs (au moins deux) enregistrements indépendants auditables des votes, et où le deuxième enregistrement est utilisé pour vérifier le premier, et qui présente ainsi certaines garanties d'exactitude. Pour être considéré « indépendant », au moins un des enregistrements doit être non modifiable par la machine à voter et directement vérifiable par l'électeur. Ces systèmes doivent permettre des vérifications croisées de ces divers enregistrements 's Voluntary Voting System Guidelines Volume 1 §7.8..
Le but d'une machine à voter à vérification indépendante est d’améliorer la sécurité et de maintenir l'intégrité du vote. La théorie veut qu'une altération devrait altérer les deux enregistrements séparés pour ne pas être détectée par un audit.
Ces machines peuvent utiliser des systèmes d'identification de type (VVPAT), , ou 's Voluntary Voting System Guidelines Volume 1 §C.1.2.4..
Il est indispensable de définir un cadre légal qui autorise la vérification des traces papier et définisse sa portée juridique en cas de contentieux électoral https://hal.science/hal-01199032 titre=Les dispositifs de vote électronique dits vérifiables..
Lors des élections présidentielles vénézueliennes de 2012, des machines à voter à double vérification sont utilisées : l'électeur vote normalement avec la machine, qui comptabilise les votes, puis imprime un bulletin de vote. Le bulletin est ensuite déposé dans une urne traditionnelle. La possibilité d'un double décompte est ainsi conservée..
Voir aussi
Références
Catégorie:Vote électronique