D 4 . 1-Security definitions and attacker models for e-voting protocols
Security Analysis of the Estonian Internet Voting System