Verifying anonymity in voting systems using CSP

Journal article

Open access

Peer reviewed

Verifying anonymity in voting systems using CSP

Murat Moran, James Heather and Steve Schneider

Formal Aspects of Computing

12/2012

DOI: https://doi.org/doi:10.1007/s00165-012-0268-x

Abstract

Files and links (2)

pdf

Verifying_Anonymity_in_Voting_Systems_using_CSP833.38 kBDownload View

Text Open Access

url

http://dx.doi.org/10.1007/s00165-012-0268-xView

Published (Version of record)

Metrics

229 File views/ downloads

28 Record Views

Details

Title: Verifying anonymity in voting systems using CSP
Creators: Murat Moran
James Heather
Steve Schneider
Publication Details: Formal Aspects of Computing
Publisher: Springer
Date published: 12/2012
Date submitted: 16/09/2013
Identifiers: 99515040602346
Academic Unit: FEPS Central Faculty Admin; Department of Computer Science
Resource Type: Journal article