Skip to Main content Skip to Navigation
Conference papers

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B

Paul Gibson 1, 2 Souad Kherroubi 3 Dominique Méry 3, 4
1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Abstract : The design of e-voting systems requires the use of techniques which guarantee that the resulting system is safe, secure and preserves privacy. We develop Event-B models of a voting system, by applying a decomposition pattern and a technique of contextualisation, using a dependency mechanism. Through refinement, we take into account the precise regulation and structure of a specific voting process, and reason formally about the system’s resistence to common attacks and threats.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Thursday, December 7, 2017 - 3:49:08 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:31 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Paul Gibson, Souad Kherroubi, Dominique Méry. Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩. ⟨hal-01658423⟩



Record views


Files downloads