Skip to Main content Skip to Navigation
Conference papers

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

Paul Gibson 1, 2, 3 Souad Kherroubi 4 Dominique Méry 4, 5
1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
5 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 3:49:08 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:53 AM


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⟩



Les métriques sont temporairement indisponibles