KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Treatment of Distributed Trust in Electronic Voting

Neumann, Stephan; Volkamer, Melanie

Abstract:

Electronic voting systems are among the most security critical distributed systems. Different trust concepts are implemented to mitigate the risk of conspiracies endangering security properties. These concepts render systems often very complex and end users no longer recognize whom they need to trust. Correspondingly, specific trust considerations are necessary to support users. Recently, resilience terms have been proposed in order to express, which entities can violate the addressed security properties in particular by illegal collaborations. However, previous works derived these resilience terms manually. Thus, successful attacks can be missed. Based on this approach, we propose a framework to formally and automatically derive these terms. Our framework comprises a knowledge calculus, which allows us to model knowledge and reason about knowledge of collaborating election entities. The introduced framework is applied to deduce previously manually derived resilience terms of three remote electronic voting systems, namely Polyas, Helios and the Estonian voting system. Thereby, we were able to discover mistakes in previous derivations.


Postprint §
DOI: 10.5445/IR/1000082064
Veröffentlicht am 19.07.2018
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Geowissenschaften (AGW)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
KIT-Zentrum Klima und Umwelt (ZKU)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Englisch
Identifikator ISBN: 978-1-61208-201-1
urn:nbn:de:swb:90-820640
KITopen-ID: 1000082064
Erschienen in ICIMP 2012 : the Seventh International Conference on Internet Monitoring and Protection : May 27-June 1, 2012, Stuttgart, Germany / ICIMP 2012 editors: Arno Wagner
Verlag IARIA
Seiten 10 S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page