A formal analysis of the Norwegian e-voting protocol

Véronique Cortier 1 Cyrille Wiedling 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : En Septembre 2011, la Norvège a mis en place le vote élec- tronique lors de ses élections politiques, avec plus de 25 000 votants qui ont effectivement utilisé cette option. Le protocole sous-jacent, créé par la com- pagnie ERGOgroup, met en jeu plusieurs acteurs (une urne mais également un générateur de reçu, un déchiffreur et un auditeur). Pouvoir faire confiance en l'exactitude et la sécurité des protocoles de votes électroniques est bien entendu crucial dans ce contexte. En se basant sur des propriétés d'équivalence, des définitions formelles de la confidentialité, de la résistance à la coercition ou de la vérifiabilité on été récemment proposées. Dans ce rapport, nous proposons une analyse formelle du protocole utilisé en Norvège dans le but de démontrer la propriété de confidentialité en considérant plusieurs scénarios de corruption. Une partie de cette étude a été menée avec l'utilisation de l'outil ProVerif, sur un modèle simplifié.
Type de document :
Rapport
[Research Report] RR-7781, INRIA. 2011
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00636115
Contributeur : Cyrille Wiedling <>
Soumis le : mercredi 26 octobre 2011 - 17:33:25
Dernière modification le : jeudi 15 février 2018 - 08:48:09
Document(s) archivé(s) le : jeudi 30 mars 2017 - 18:11:39

Fichier

RR-7781.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00636115, version 1

Citation

Véronique Cortier, Cyrille Wiedling. A formal analysis of the Norwegian e-voting protocol. [Research Report] RR-7781, INRIA. 2011. 〈inria-00636115〉

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

368