Automated Anonymity Verification of the ThreeBallot Voting System

Journal article

Open access

Peer reviewed

Automated Anonymity Verification of the ThreeBallot Voting System

Murat Moran, James Heather and Steve Schneider

Integrated Formal Methods, Vol.7940, pp.94-108

06/2013

DOI: https://doi.org/doi:10.1007/978-3-642-38613-8_7

Abstract

Files and links (2)

pdf

Automated_Anonymity_Verification_of_the_ThreeBallot_Voting_System375.05 kBDownload View

Text Open Access

url

http://dx.doi.org/10.1007/978-3-642-38613-8_7View

Published (Version of record)

Metrics

321 File views/ downloads

18 Record Views

Details

Title: Automated Anonymity Verification of the ThreeBallot Voting System
Creators: Murat Moran
James Heather
Steve Schneider
Publication Details: Integrated Formal Methods, Vol.7940, pp.94-108
Publisher: Springer
Date published: 06/2013
Date submitted: 16/09/2013
Identifiers: 99511246602346
Academic Unit: FEPS Central Faculty Admin; Department of Computer Science
Resource Type: Journal article