Election-Dependent Security Evaluation of Internet Voting Schemes

Abstract : The variety of Internet voting schemes proposed in the literature build their security upon a number of trust assumptions. The criticality of these assumptions depends on the target election setting, particularly the adversary expected within that setting. Given the potential complexity of the assumptions, identifying the most appropriate Internet voting schemes for a specific election setting poses a significant burden to election officials. We address this shortcoming by the construction of an election-dependent security evaluation framework for Internet voting schemes. On the basis of two specification languages, the core of the framework essentially evaluates election-independent security models with regard to expected adversaries and returns satisfaction degrees for security requirements. These satisfaction degrees serve election officials as basis for their decision-making. The framework is evaluated against requirements stemming from measure theory.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01648992
Contributor : Hal Ifip <>
Submitted on : Monday, November 27, 2017 - 10:31:05 AM
Last modification on : Monday, November 27, 2017 - 10:34:19 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2020-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Stephan Neumann, Manuel Noll, Melanie Volkamer. Election-Dependent Security Evaluation of Internet Voting Schemes. 32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.371-382, ⟨10.1007/978-3-319-58469-0_25⟩. ⟨hal-01648992⟩

Share

Metrics

Record views

129