Output details
11 - Computer Science and Informatics
University of Glasgow
Output title
Accuracy: The fundamental requirement for voting systems
Type
E - Conference contribution
Name of conference/published proceedings
The Third International Conference on Availability, Reliability and Security, ARES 2009 Fukuoka, Japan
Volume number
-
Issue number
-
First page of article
374
ISSN of proceedings
-
Year of publication
2009
URL
-
Number of additional authors
1
Additional information
<10>Innovation: This was the first paper to apply formal modelling techniques to the problem of establishing clear and comprehensive requirements for electronic voting systems. Previous research proposing new cryptographic voting schemes specified arbitrary sets of requirements that lacked context. This paper demonstrates a method for deriving uniform requirements for consistent evaluation of schemes.
Rigour: The conference is an established venue for security research with an acceptance rate of 25%.
Impact: The work in the paper allows (for the first time) for a consistent, rigorous comparison of electronic voting schemes within a formally specified socio-technical context.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
