A Coercion-Resistant Internet Voting Protocol.

Published in: ICSNC (2007)

Keyphrases

internet voting
lightweight
formal analysis
cryptographic protocols
communication protocols
coloured petri nets
information systems
data mining
protocol specification