Formal analysis of key properties in the internet voting protocol using applied pi calculus

Information Technology Journal

Volumn 7, Issue 8, 2008, Pages 1133-1140

  Meng, Bo ^a  

^a SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES   (China)

Author keywords

Coercion resistance; Formal method; Internet voting protocol; Privacy

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); FORMAL METHODS; INTERNET; VOTING MACHINES;

APPLIED PI CALCULUSES; COERCION-RESISTANCE; FORMAL ANALYSIS; INTERNET VOTING; INTERNET VOTING PROTOCOL; INTERNET VOTING SYSTEMS; PRIVACY; RESISTANCE PROPERTIES; SECURITY PROTOCOLS; UNIVERSAL VERIFIABILITY;

INTERNET PROTOCOLS;

EID: 57249084061     PISSN: 18125638     EISSN: 18125646     Source Type: Journal    
DOI: 10.3923/itj.2008.1133.1140     Document Type: Article

References (11)

1. Abadi, M. and C. Fournet, 2001. Mobile values, new names and secure communication. Proceeding of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001, London, UK.,pp: 104-115.
2. Acquisti, A., 2004. Receipt-free homomorphic elections and write-in voter verified ballot. CMU-ISRI-04-116, 2004, Carnegie Mellon Institute for Software Research International, http://www.heinz.cmu.edu/~acquisti/papers/acquisti- electronic-voting.pdf.
3. Benaloh, J. and D. Tuinstra, 1994. Receipt-free secret-ballot elections. Proceeding of the 26th Annual ACM Symposium on Theory of Computing, May 23-25, Montréal, Québec, Canada, pp: 544-553.
4. Delaune, S., S. Kremer and M.D. Ryan, 2006. Coercion-resistance and receipt-freeness in electronic voting protocol. Proceedings of 19th IEEE Computer Security Foundations Workshop, July 2006, Venice, Italy, pp: 28-42.
5. Fujioka, A., T. Okamoto and K. Ohta, 1992. A practical secret voting scheme for large-scale elections. Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology, December 13-16, Spring er-Verlag, London, UK., pp: 244-251.
6. Juels, A. and M. Jakobsson, 2002. Coercion-resistance electronic elections. RSA Laboratories, Bedford, MA 01730, USA. http://www.vote-auction. net/VOTEAUCTION/165.pdf.
7. Juels, A., D. Catalano and M. Jakobsson, 2005. Coercion-resistance electronic elections Proceeding of the 2005 ACM Workshop on Privacy in the Electronic Society, November 7-7, Alexandria, VA., USA., pp: 61-70.
8. Kremer, S. and M.D. Ryan, 2005. Analysis of an electronic voting protocol in the applied Pi calculus. Lecture Notes Comput. Sci., 3444: 186-200.
9. Lee, B., C. Boyd, E. Dawson, K. Kim, J. Yang and S. Yood, 2004. Providing receipt-freeness in mixnet based voting protocols. Proceeding of the 6th International Conference on Information Security and Cryptology, November 27-28, Springer Berlin/Heidelberg, UK., pp: 1-14.
10. Meng, B., 2007. An internet voting protocol with receipt-free and coercion-resistant. Proceedings of 7th IEEE International Conference on Computer and Information Technology, October 16-19, IEEE Computer Society, Washington DC, USA., pp: 721-726.
11. Ryan, KM. and S.S. Delaune, 2006. Verifying properties of electronic voting protocols. Proceedings of IAVoSS Workshop on Trustworthy Elections, 2006, Robinson College, Cambridge, UK., pp: 1-8.