Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/8748

Title: Accuracy: the fundamental requirement for voting systems
Authors: Storer, Tim
Lock, Russell
Issue Date: 2009
Publisher: © IEEE
Citation: STORER, T. and LOCK, R., 2009. Accuracy: the fundamental requirement for voting systems. IN: Availability, reliability and security international conference (ARES 2009), Fukuoka, Japan, 16-19 March, pp. 374 - 379.
Abstract: There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identify a number of “high level” principals which are then refined either into more detailed statements or more formal constructs. Unfortunately, these approaches do not acknowledge the complexity and diversity of the contexts in which voting takes place. This paper takes a different approach by arguing that the only requirement for a voting system is that it is accurate. More detailed requirements can then be derived from this high level requirement for the particular context in which the system is implemented and deployed. A general, formal high level model for voting systems and their context is proposed. Several related definitions of accuracy for voting systems are then developed, illustrating how the term “accuracy” is in interpreted in different contexts. Finally, a context based requirement for voting system privacy is investigated as an example of deriving a subsidiary requirement from the high level requirement for accuracy.
Description: This is a conference paper [© IEEE]. It is also available from: http://ieeexplore.ieee.org/ Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Version: Accepted for publication
DOI: 10.1109/ARES.2009.133
URI: https://dspace.lboro.ac.uk/2134/8748
Publisher Link: http://dx.doi.org/10.1109/ARES.2009.133
ISBN: 9781424435722
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
2009_ARES[1].pdf182.8 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.