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.

Preview	Text facsanon.pdf - Accepted version Manuscript Available under License : See the attached licence file. Download (675kB)
Preview	Text (licence) SRI_deposit_agreement.pdf Download (33kB)

Item Type:	Article
Divisions :	Faculty of Engineering and Physical Sciences > Computing Science
Authors :	Moran, M, Heather, J and Schneider, S
Date :	1 January 2014
DOI :	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 :	Author
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 :	31 Oct 2017 14:59
URI:	http://epubs.surrey.ac.uk/id/eprint/745657

Actions (login required)

View Item

Downloads