A Formal Analysis of the Norwegian E-voting Protocol.

Véronique Cortier Cyrille Wiedling

Published in: POST (2012)

Keyphrases

formal analysis
ban logic
payment protocol
agent model
formal methods
web services
distributed systems
voting method
voting schemes
voting protocols