University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Verifying anonymity in voting systems using CSP

Moran, Murat, Heather, James and Schneider, Steve (2012) Verifying anonymity in voting systems using CSP Formal Aspects of Computing.

[img]
Preview
Text
Verifying_Anonymity_in_Voting_Systems_using_CSP.pdf - Accepted version Manuscript

Download (853kB)
Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences
Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Moran, MuratUNSPECIFIEDUNSPECIFIED
Heather, JamesUNSPECIFIEDUNSPECIFIED
Schneider, SteveUNSPECIFIEDUNSPECIFIED
Date : December 2012
Identification Number : 10.1007/s00165-012-0268-x
Additional Information : The original publication is available at http://www.springerlink.com
Depositing User : Murat Moran
Date Deposited : 01 Oct 2013 15:22
Last Modified : 10 Jun 2014 04:57
URI: http://epubs.surrey.ac.uk/id/eprint/802371

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