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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Norway has used e-voting in its last political election in September 2011, with more than 25 000 voters using the e-voting option. The underlying protocol is a new protocol designed by the ERGO group, involving several actors (a bulletin box but also a receipt generator, a decryption service, and an auditor). Of course, trusting the correctness and security of e-voting protocols is crucial in that context. Formal definitions of properties such as privacy, coercion-resistance or verifiability have been recently proposed, based on equivalence properties. \par In this paper, we propose a formal analysis of the protocol used in Norway, w.r.t. privacy, considering several corruption scenarios. Part of this study has conducted using the ProVerif tool, on a simplified model.
Type de document :
Communication dans un congrès
Pierpaolo Degano and Joshua D. Guttman. 1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. Springer, 7215, pp.109--128, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-28641-4_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00732907
Contributeur : Véronique Cortier <>
Soumis le : lundi 17 septembre 2012 - 13:27:39
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26

Identifiants

Citation

Véronique Cortier, Cyrille Wiedling. A formal analysis of the Norwegian E-voting protocol. Pierpaolo Degano and Joshua D. Guttman. 1st International Conference on Principles of Security and Trust (POST'12), Mar 2012, Tallinn, Estonia. Springer, 7215, pp.109--128, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-28641-4_7〉. 〈hal-00732907〉

Partager

Métriques

Consultations de la notice

134