A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.

Published in: ISIP (2008)

Keyphrases

formal analysis
formal model
internet voting
ban logic
formal methods
predicate calculus
security properties
formal models
security patterns
payment protocol
artificial intelligence