Applying a Dependency Mechanism for Voting Protocol Models Using Event-B - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

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

(1, 2, 3) , (4) , (4, 5)
1
2
3
4
5

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.
Fichier principal
Vignette du fichier
446833_1_En_9_Chapter.pdf (596.7 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01658423 , version 1 (07-12-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Paul J. 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⟩
599 View
103 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More