Thomas Tjøstheim, Thea Peacock, Peter Y. A. Ryan. A Model for System-Based Analysis of Voting Systems. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers. Volume 5964 of Lecture Notes in Computer Science, pages 114-130, Springer, 2007. [doi]
Abstract is missing.