Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

[KremerRyan2005] Steve Kremer and Mark Ryan. Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. In Proceedings of the European Symposium on Programming (ESOP'05), pages 186-200, Springer. Lecture Notes in Computer Science series. 2005.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/04-eVoting.pdf