Verifying anonymity in voting systems using CSP

M Moran; J Heather; S Schneider

doi:10.1007/s00165-012-0268-x

Back

Verifying anonymity in voting systems using CSP

Journal article

Open access

Peer reviewed

Verifying anonymity in voting systems using CSP

M Moran, J Heather and S Schneider

FORMAL ASPECTS OF COMPUTING, Vol.26(1), pp.63-98

01/01/2014

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

Abstract

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

Files and links (3)

pdf

facsanon659.90 kBDownload View

TextSRIDA, Open Access

url

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

Published (Version of record)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000329102400004&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

310 File views/ downloads

48 Record Views

7 Times Cited - Web of Science

Details

Title: Verifying anonymity in voting systems using CSP
Creators: M Moran
J Heather
S Schneider
Publication Details: FORMAL ASPECTS OF COMPUTING, Vol.26(1), pp.63-98
Publisher: SPRINGER
Date published: 01/01/2014
Date submitted: 24/12/2012
Identifiers: 99516045302346
Academic Unit: Department of Computer Science
Language: English
Resource Type: Journal article

Verifying anonymity in voting systems using CSP

Abstract

Files and links (3)

Metrics

Details

Usage Policy