Formalising receipt-freeness

H.L. Jonker, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

30 Citaten (Scopus)
3 Downloads (Pure)

Samenvatting

Receipt-freeness is the property of voting protocols that a voter cannot create a receipt which proves how she voted. Since Benaloh and Tuinstra introduced this property, there has been a large amount of work devoted to the construction of receipt-free voting protocols. This paper provides a generic and uniform formalism that captures the notion of a receipt. The formalism is then applied to analyse the receipt-freeness of a number of voting protocols.
Originele taal-2Engels
TitelInformation Security (Proceedings 9th International Conference, ISC 2006, Samos, Greece, August 30-September 2, 2006)
RedacteurenS.K. Katsikas, J. Lopez, M. Backes, S. Gritzalis, B. Preneel
Plaats van productieBerlin
UitgeverijSpringer
Pagina's476-488
ISBN van geprinte versie3-540-38341-7
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science
Volume4176
ISSN van geprinte versie0302-9743

Citeer dit