Verifying anonymity in voting systems using CSP
Tools
Tools
Tools
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]](http://epubs.surrey.ac.uk/style/images/fileicons/text.png)
|
Text
facsanon.pdf - Accepted version Manuscript Available under License : See the attached licence file. Download (675kB) |
|
|
Text (licence)
SRI_deposit_agreement.pdf Download (33kB) |
Official URL: http://dx.doi.org/10.1007/s00165-012-0268-x
| Item Type: | Article | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | ||||||||||||
| Authors : |
|
||||||||||||
| 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 : | |||||||||||||
| 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
Downloads per month over past year