A formal analysis of the Norwegian E-voting protocol.

Véronique Cortier Cyrille Wiedling

Published in: J. Comput. Secur. (2017)

Keyphrases

formal analysis
ban logic
formal methods
agent model
payment protocol
natural language
voting protocols
expert systems
voting method