Analysis of Internet voting protocols with Jonker-Vink receipt-freeness formal model

2007 International Conference on Convergence Information Technology, ICCIT 2007

Volumn , Issue , 2007, Pages 663-669

  Meng, Bo ^a  

^a SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; INTERNET; INTERNET PROTOCOLS; LAWS AND LEGISLATION; TECHNOLOGY;

FORMAL MODELING; HOT POINT; INTERNATIONAL CONFERENCES; INTERNET VOTING; RECEIPT-FREENESS; UNIVERSAL VERIFIABILITY;

FORMAL METHODS;

EID: 49049110480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCIT.2007.4420335     Document Type: Conference Paper

References (38)

1. Josh Benaloh, Dwight Tuinstra. Receipt-free secret-ballot elections. In the proceeding of STOC'94, 1994:544-553.
2. Ronald Cramer, Matthew Franklin, Berry Schoenmakers, Moti Yung. Multi-authority secret ballot elections with linear work. In the proceeding of EUROCRYPT'96, Springer-Verlag, LNCS1070, 1996: 72-83.
3. Ronald Cramer, Rosario Gennaro, Berry Schoenmakers. A secure and optimally efficient multi-authority election scheme. In the proceeding of EUROCRYPT'97, Springer-Verlag, LNCS 1233, 1997: 103-118.
4. Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Guillaume Poupard, Jacques Stern. Practical multi-candidate election system. In the proceeding of PODC'01, ACM, 2001: 274-283.
5. Ivan Damg̊ard, Mads Jurik, Jesper Buus Nielsen. A generalization of paillier's public-key system with applications to electronic voting, 2003. http://citeseer.ist.psu.edu/cache/papers/cs/27234/http:zSzzSzwww.daimi.au. dkzSz∼ivanzSzGenPaillier_finaljour.pdf/damgard03generalization.pdf
6. Martin Hirt and Kazue Sako. Efficient receipt-free voting based on homomorphic encryption. In the proceeding of EUROCRYPT'00, Springer-Verlag, LNCS 1807, 2000: 539-556.
7. Byoungcheon Lee, Kwangjo Kim. Receipt-free electronic voting scheme with a tamper resistant randomizer. In the proceeding of ICISC2002, 2002: 405-422.
8. Alessandro Acquisti. Receipt-Free Homomorphic Elections and Write-in Voter Verified Ballots, Technical Report 2004/105, International Association for Cryptologic Research, May 2, 2004, and Carnegie Mellon Institute for Software Research International, CMU-ISRI-04-116, 2004. http://www.heinz.cmu.edu/ ∼acquisti/papers/acquisti-electronic_voting.pdf
9. Jonathan Goulet,Jeffrey Zitelli. Surveying and Improving Electronic Voting Schemes.http://www.seas.upenn.edu/∼cse400/CSE400_2004_2005/ senior_design_projects_04_05.htm
10. Ari Juels, Markus Jakobsson. Coercion-resistant electronic elections, 2002. http://www.vote-auction.net/VOTEAUCTION/165.pdf
11. Martin Hirt. Multi-party computation: Efficient protocols, general adversaries, and voting. PhD Thesis, ETH Zurich, 2001.
12. Ari Juels, Dario Catalano, Markus Jakobsson: Coercion-resistant electronic elections. One older version was at Cryptology ePrint Archive: Report 2002/165 http://eprint.iacr.org/; latest version on Juels web page: http://www.rsasecurity.com/rsalabs/node.asp?id=2030 as of June 2005.
13. Josh C. Benaloh. Verifiable secret-ballot elections. PhD Thesis, Yale University, Department of Computer Science, 1987. Number 561.
14. Kazue Sako and Joe Kilian. Secure voting using partial compatible homomorphisms. In the proceedings of CRYPTO'94, Springer-Verlag, LNCS 839, 1994: 248-259.
15. David Chaum. Secret-ballot receipts and transparent integrity. Draft, 2002. www.vreceipt.com/article.pdf.
16. Tatsuaki Okamoto. Receipt-free electronic voting schemes for large scale elections. In the proceeding of Security Protocols Workshop, Springer-Verlag, LNCS 1361, 1997: 25-35.
17. David Chaum. Elections with unconditionally- secret ballots and disruption equivalent to breaking rsa. In the proceeding of EUROCRYPT'98, Springer-Verlag, LNCS 330, 1988: 177-182.
18. Atshushi Fujioka, Tatsuaki Okamoto, and Kazuo Ohta. a practical secret voting scheme for large scale elections. In the proceeding of Auscrypt'92, Springer-Verlag, LNCS 718, 1992. 244-251.
19. Michael J. Radwin, An untraceable, universally verifiable voting scheme, http://www.radwin.org/michael/projects/voting.html
20. Wen-Sheng Juang, Chin-Laung Lei, Pei-Ling Yu. A verifiable multi-authorities secret elections allowing abstaining from voting. International Computer Symposium, Tainan, Taiwan, 1998.
21. Patrick Horster, Markus Michels, Holger Petersen. Blind multisignature schemes and their relevance to electronic voting. In the proceeding of 11th Annual Computer Security Applications Conference. IEEE Press, 1995: 149-156.
22. Lorrie Cranor and Ron Cytron. Sensus: A security-conscious electronic polling system for the Internet. In the proceedings of the Hawaii International Conference on System Sciences, 1997.
23. Miyako Ohkubo, Fumiaki Miura, Masayuki Abe, Atsushi Fujioka, and Tatsuaki Okamoto. An improvement on a practical secret voting scheme. In the proceedings of ISW'99, 1999: 225-234.
24. Kazue Sako, Joe Kilian. Receipt-free mix-type voting scheme. In the proceeding of EUROCRYPT'95, Springer-Verlag, LNCS 921,1995:393-403.
25. Choonsik Park, Kazutomo Itoh, Kaoru Kurosawa. Efficient anonymous channel and all/nothing election scheme. In the proceeding of Advances Cryptology-EUROCRYPT'93, Springer-Verlag, 1993: 248-259.
26. Markus Jakobsson, Ari Juels, and Ronald L. Rivest. Making mix nets robust for electronic voting by randomized partial checking. In the proceeding of USENIX'02, 2002: 339-353.
27. Emmanouil Magkos, Mike Burmester, and Vassilios Chrissikopoulos. Receipt-freeness in large-scale elections without untappable channels. In the proceeding of I3E, 2001: 683-694.
28. Birgit Pfitzmann. Breaking an efficient anonymous channel. In the proceedings of EUROCRYPT'94. Springer-Verlag, LNCS 950, 1995: 332-340.
29. Markus Michels, Patrick Horster. Some remarks on a receipt-free and universally verifiable mix-type voting scheme. In the proceedings of ASIACRYPT'94, Springer-Verlag, LNCS 1163, 1996: 125-132.
30. Masayuki Abe. Universally verifiable mix-net with verification work independent of the number of mix-servers. In the proceedings of EUROCRYPT'98,. Springer-Verlag, LNCS 1403, 1998: 437-447.
31. youngcheon Lee, Kwangjo Kim. Receipt-free electronic voting through collaboration of voter and honest verifier, 2000. http://citeseer.nj.nec.com/ lee00receiptfree.html.
32. Andrew Neff. Detecting malicious poll site voting clients, 2003. http://votehere.com/vhti/documentation/psclients.pdf.
33. David chaum, Secret-Ballot Receipts:True Voter-Verifiable Elections, IEEE security and privacy, January-February 2004 (Vol. 2, No. 1): 38-47.
34. Zuzana Rjaiskov'a, Electronic Voting Schemes, master thesies. Department of Computer Science Faculty of Mathematics, Physics and Informatics Comenius University, Bratislava, April 2002.
35. Aggelos Kiayias, Moti Yung. The vector-ballot e-voting approach. http://theory.lcs.mit.edu/∼rivest/voting/papers/KiayiasYung- TheVectorBallotEVotingApproach.pdf
36. H.L. Jonker and E.P. de Vink, Formalising Receipt-Freeness, Proceedings of. ISC 2006, Samos Island, Greece, S.K. Katsikas, J. Lopez, M. Backes, S. Gritzalis and B. Preneel (eds.), LNCS 4176, p476-488, 2006
37. S. Delaune, S. Kremer, and M.D. Ryan. Receipt-freeness: Formal definition and fault attacks (extended abstract). In proceedings of the Workshop Frontiers in Electronic Elections (FEE 2005), Milan, Italy, September 2005.
38. Ari Juels, Markus Jakobsson. Coercion-resistant electronic elections, 2002. http://www.vote-auction.net/VOTEAUCTION/165.pdf