D 4 . 1-Security definitions and attacker models for e-voting protocols
Helios: Web-based Open-Audit Voting