E-voting: Dependability Requirements and Design for Dependability

Authors:
J W. Bryans;B Littlewood;P Y. A. Ryan;L Strigini
Affiliations:
University of Newcastle upon Tyne, UK;Centre for Software Reliability,City University, London, UK;University of Newcastle upon Tyne, UK;Centre for Software Reliability, City University, London, UK
Venue:
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
Year:
2006

Citing 0
Cited 5

Modeling and analysis of procedural security in (e)voting: the Trentino's approach and experiences

EVT'08 Proceedings of the conference on Electronic voting technology
Development, formal verification, and evaluation of an E-voting system with VVPAT

IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Assessing procedural risks and threats in e-voting: challenges and an approach

VOTE-ID'07 Proceedings of the 1st international conference on E-voting and identity
Formal analysis of an electronic voting system: An experience report

Journal of Systems and Software
Engineering a distributed e-voting system architecture: meeting critical requirements

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Elections are increasingly dependent on computers and telecommunication systems. Such "E-voting" schemes create socio-technical systems (combinations of technology and human organisations) that are complex and critical, as the future of nations depends on their proper operation. Thus heated debate surrounds their adoption and the possible methods for making them demonstrably dependable. We discuss the dependability requirements for such systems, and the design issues in ensuring their satisfaction, with reference to a recent proposal that uses cryptography for fault tolerance, in order to avoid some of the perceived dangers of electronic voting. Our treatment highlights the need for considering the whole socio-technical system, and for integrating security and fault tolerance viewpoints.