%0 Conference Proceedings
%T Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
%+ Méthodes et modèles pour les réseaux (METHODES-SAMOVAR)
%+ Département Informatique (TSP - INF)
%+ Centre National de la Recherche Scientifique (CNRS)
%+ Proof-oriented development of computer-based systems (MOSEL)
%+ Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)
%A Gibson, Paul, J.
%A Kherroubi, Souad
%A Méry, Dominique
%< avec comité de lecture
%Z 18125
%( Lecture Notes in Computer Science
%B 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017)
%C Neuchâtel, Switzerland
%Y Ahmed Bouajjani
%Y Alexandra Silva
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-10321
%P 124-138
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-60225-7_9
%K E-voting
%K Formal methods
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01658423/document
%2 https://inria.hal.science/hal-01658423/file/446833_1_En_9_Chapter.pdf
%L hal-01658423
%U https://inria.hal.science/hal-01658423
%~ INSTITUT-TELECOM
%~ CNRS
%~ INRIA
%~ TELECOM-SUDPARIS
%~ INRIA_TEST
%~ INRIA-LORRAINE
%~ LORIA2
%~ INRIA-NANCY-GRAND-EST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ UNIV-LORRAINE
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ LORIA
%~ LORIA-FM
%~ IFIP-FORTE
%~ UNIV-PARIS-SACLAY
%~ TELECOM-SUDPARIS-SACLAY
%~ INRIA2017
%~ IFIP-LNCS-10321
%~ INSTITUTS-TELECOM
%~ INRIA-ALLEMAGNE