The Norwegian Internet Voting Protocol.

Kristian Gjøsteen

Published in: VoteID (2011)

Keyphrases

internet voting
lightweight
network protocols
artificial intelligence
formal analysis
communication protocol
coloured petri nets
case study
electronic commerce
cryptographic protocols
provably secure
protocol specification
voting protocols