University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Automated Anonymity Verification of ThreeBallot Voting System

Moran, M, Heather, JA and Schneider, SA (2013) Automated Anonymity Verification of ThreeBallot Voting System In: 10th International Conference, IFM 2013, 2013-06-10 - 2013-06-14, Turku, Finland.

[img]
Preview
Text
Automated Anonymity Verification of the ThreeBallot Voting System.pdf - ["content_typename_Accepted version (post-print)" not defined]
Available under License : See the attached licence file.

Download (384kB) | Preview
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf
Available under License : See the attached licence file.

Download (33kB) | Preview

Abstract

In recent years, a large number of secure voting protocols have been proposed in the literature. Often these protocols contain flaws, but because they are complex protocols, rigorous formal analysis has proven hard to come by. Rivest’s ThreeBallot voting system is important because it aims to provide security (voter anonymity and voter verifiability) without requiring cryptography. In this paper, we construct a CSP model of ThreeBallot, and use it to produce the first automated formal analysis of its anonymity property. Along the way, we discover that one of the crucial assumptions under which ThreeBallot (and many other voting systems) operates-the Short Ballot Assumption-is highly ambiguous in the literature.We give various plausible precise interpretations, and discover that in each case, the interpretation either is unrealistically strong, or else fails to ensure anonymity. Therefore, we give a version of the Short Ballot Assumption for ThreeBallot that is realistic but still provides a guarantee of anonymity.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Moran, MUNSPECIFIEDUNSPECIFIED
Heather, JAUNSPECIFIEDUNSPECIFIED
Schneider, SAUNSPECIFIEDUNSPECIFIED
Date : June 2013
Identification Number : 10.1007/978-3-642-38613-8_7
Contributors :
ContributionNameEmailORCID
PublisherSpringer-Verlag, UNSPECIFIEDUNSPECIFIED
Additional Information : The original publication is available at http://www.springerlink.com
Depositing User : Symplectic Elements
Date Deposited : 17 Jun 2015 15:23
Last Modified : 18 Jun 2015 01:33
URI: http://epubs.surrey.ac.uk/id/eprint/804616

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800