@inproceedings{7dcf08759aa5404daa976e9719cd3ba7,
title = "Applying a dependency mechanism for voting protocol models using event-B",
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{\textquoteright}s resistence to common attacks and threats.",
author = "\{Paul Gibson\}, J. and Souad Kherroubi and Dominique M{\'e}ry",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2017.; 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 ; Conference date: 19-06-2017 Through 22-06-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-60225-7\_9",
language = "English",
isbn = "9783319602240",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "124--138",
editor = "Ahmed Bouajjani and Alexandra Silva",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings",
}