Applying a Dependency Mechanism for Voting Protocol Models Using Event-B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

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

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
446833_1_En_9_Chapter.pdf (596.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
626 Consultations
126 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More