2009_ARES[1].pdf (182.8 kB)
Download fileAccuracy: the fundamental requirement for voting systems
conference contribution
posted on 2011-08-24, 09:23 authored by Tim Storer, Russell LockRussell LockThere 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.
History
School
- Science
Department
- Computer Science
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.Publisher
© IEEEVersion
- AM (Accepted Manuscript)
Publication date
2009Notes
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.ISBN
9781424435722Publisher version
Language
- en