University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Verifying anonymity in voting systems using CSP

Moran, M, Heather, J and Schneider, S (2014) Verifying anonymity in voting systems using CSP FORMAL ASPECTS OF COMPUTING, 26 (1). pp. 63-98.

[img]
Preview
PDF
facsanon.pdf - Accepted version Manuscript
Available under License : See the attached licence file.

Download (675kB)
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (33kB)
Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Moran, MUNSPECIFIEDUNSPECIFIED
Heather, JUNSPECIFIEDUNSPECIFIED
Schneider, SUNSPECIFIEDUNSPECIFIED
Date : 1 January 2014
Identification Number : 10.1007/s00165-012-0268-x
Uncontrolled Keywords : Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, COMPUTER SCIENCE, SOFTWARE ENGINEERING, Anonymity, Voting systems, CSP, Formal verification, Pret a Voter, Conventional voting system, FDR2, VOTER, PRET, ENCRYPTION
Related URLs :
Additional Information : BCS © 2012 The original publication is available at http://www.springerlink.com
Depositing User : Symplectic Elements
Date Deposited : 12 Feb 2013 11:11
Last Modified : 17 Jan 2015 14:52
URI: http://epubs.surrey.ac.uk/id/eprint/745657

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