Requirements and Evaluation Procedures for eVoting

Authors:
Melanie Volkamer;Margaret McGaley
Affiliations:
German Research Center for Artificial Intelligence;NUI Maynooth
Venue:
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Year:
2007

Citing 0
Cited 5

Development, formal verification, and evaluation of an E-voting system with VVPAT

IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Compliance of RIES to the proposed e-voting protection profile

VOTE-ID'07 Proceedings of the 1st international conference on E-voting and identity
Managing Requirements for E-Voting Systems: Issues and Approaches

RE-VOTE '09 Proceedings of the 2009 First International Workshop on Requirements Engineering for e-Voting Systems
Procedural security analysis: A methodological approach

Journal of Systems and Software
Formal analysis of an electronic voting system: An experience report

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Only the most trivial computer system can be expected to meet its requirements if those requirements are not specified. Despite the widespread use of electronic voting (evoting), no requirements catalogue exists that expresses the requirements for evoting systems with enough precision to be checkable. Nor do existing catalogues take evaluation techniques and certification procedures into account. This paper takes the first step towards the development of a new catalogue with corresponding assessment procedures, concentrating on a strict subset of evoting systems.