University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Automated Anonymity Verification of the ThreeBallot Voting System

Moran, Murat, Heather, James and Schneider, Steve (2013) Automated Anonymity Verification of the ThreeBallot Voting System Integrated Formal Methods (iFM) Proceedings, 7940. pp. 94-108.

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

Download (384kB)
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 : June 2013
Identification Number : 10.1007/978-3-642-38613-8_7
Additional Information : The original publication is available at http://www.springerlink.com
Depositing User : Murat Moran
Date Deposited : 01 Oct 2013 15:42
Last Modified : 01 Jul 2014 01:08
URI: http://epubs.surrey.ac.uk/id/eprint/802374

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