Static Validation of a Voting Protocol.

Christoffer Rosenkilde Nielsen Esben Heltoft Andersen Hanne Riis Nielson

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

voting protocols
electronic voting
lightweight
application layer
voting method
key distribution
voting schemes
file transfer
database
formal analysis
security analysis
security protocols
voting scheme
cryptographic protocols