Verifying properties of electronic voting protocols

[DelauneKremerRyan2006VerifyingVoting] Stéphanie Delaune, Steve Kremer and Mark Ryan. Verifying properties of electronic voting protocols. In David Chaum and Ron Rivest and Markus Jakobsson and Berry Schoenmakers and Peter Ryan and Josh Benaloh and Mirek Kutylowski (editors) Towards Trustworthy Election Systems. 2006.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/06-wote.pdf