A formal logic framework for receipt-freeness in internet voting protocol

Journal of Computers

Volumn 4, Issue 3, 2009, Pages 184-192

  Meng, Bo ^a  

^a SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES   (China)

Author keywords

Electronic government; Formal method; Internet voting protocol; Logic framework; Protocol security; Receipt freeness

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; FORMAL METHODS; INTERNET; NETWORK FUNCTION VIRTUALIZATION;

ELECTRONIC GOVERNMENT; INTERNET VOTING PROTOCOL; LOGIC FRAMEWORK; PROTOCOL SECURITY; RECEIPT-FREENESS;

INTERNET PROTOCOLS;

EID: 67651029682     PISSN: 1796203X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jcp.4.3.184-192     Document Type: Conference Paper

References (23)

1. Benaloh J,Tuinstra D.Receipt-free secret-ballot elections.In Proceedings of the 26th ACM Symposium on Theory of Computing.New York:ACM Press,1994,pp.544-553.
2. Ari Juels, Markus Jakobsson. Coercion-resistant electronic elections, 2002. http://www.voteauction.net/voteauction/165.pdf
3. Hugo L. Jonker, Erik P. de Vink: Formalising Receipt-freeness. 476-488, Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel (Eds.): Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings. Lecture Notes in Computer Science 4176 Springer 2006, pp. 476-488.
4. Martin Hirt, Kazue Sako. Efficient receipt-free voting based on homomorphic encryption. In the proceeding of EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, LNCS 1807, 2000,pp. 539-556.
5. Tatsuaki Okamoto. Receipt-free electronic voting schemes for large scale elections. In the proceeding of 5th International Workshop on Security Protocols, Paris, France, LNCS 1361,April 07 - 09 1997,pp. 25-35.
6. Kazue Sako, Joe Kilian. Receipt-free mix-type voting scheme. In the proceeding of International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995, Springer-Verlag, LNCS 921, 1995,pp.393-403.
7. Youngcheon Lee, Kwangjo Kim. Receipt-free electronic voting through collaboration of voter and honest verifier, 2000. http:// citeseer.nj.nec.com/lee00receiptfree.html.
8. Emmanouil Magkos, et al. Receipt-freeness in large-scale elections without untappable channels. In the proceeding of I3E, 2001, pp. 683-694.
9. Byoungcheon Lee, Kwangjo Kim. Receipt-free electronic voting scheme with a tamper resistant randomizer. In the proceeding of ICISC2002, Seoul, Korea, November 28-29, 2002, pp. 405-422.
10. Olivier Baudron,et al. Practical multi-candidate election system. In the proceeding of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, August 26-29, 2001, Newport, Rhode Island, USA. ACM, 2001,pp. 274-283.
11. Josh C. Benaloh. Verifiable secret-ballot elections. PhD Thesis, Yale University, Department of Computer Science, 1987. Number 561.
12. Aggelos Kiayias, Moti Yung. The vector-ballot e-voting approach. http:// theory.lcs.mit.edu/~rivest/voting/papers/ KiayiasYung-TheVectorBallotEVotingApproach.pdf
13. Andrew Neff. Detecting malicious poll site voting clients, http:// votehere.com/vhti/documentation/psclients.pdf.
14. David chaum, Secret-Ballot Receipts:True Voter-Verifiable Elections, IEEE security and privacy, January-February 2004 (Vol. 2, No. 1),pp.38-47.
15. Zuzana Rja¡ sková, Electronic Voting Schemes, master thesies. Department of Computer Science Faculty of Mathematics, Physics and Informatics Comenius University, Bratislava, April 2002.
16. Meng bo, zhang huanguo. Practical internet voting protocol without strong physical assumption, Wuhan University Journal of Natural Sciences, Volume 12, Number 1 / January 2007,pp.177-180.
17. 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, Milan, Italy, September 2005.
18. S. Delaune, S. Kremer, and M. D. Ryan. Coercion-resistance and receipt-freeness in electronic voting In proceedings of 19th IEEE Computer Security Foundations Workshop, Venice, Italy, 5-7 July 2006,pp. 28-42.
19. Bo Meng. An Internet Voting Protocol with Receipt-Free and Coercion-resistance, In proceedings of 7th IEEE International Conference on Computer and Information Technology, Aizu-Wakamatsu, Fukushima, Japan, 16-19 Oct. 2007,pp.721-726.
20. Volker Kessler, Heike Neumann. A Sound Logic for Analysing Electronic Commerce Protocols. Proceedings of the 5th European Symposium on Research in Computer Security, September 16 - 18, 1998. Lecture Notes In Computer Science;Vol. 1485,pp.345-360.
21. EVOX Voting System,http://groups.csail.mit.edu/cis/voting/voting.html
22. Lorrie Faith Cranor, Ron K. Cytron. Sensus: A Security-Conscious Electronic Polling System for the Internet, Proceedings of the Hawai'i International Conference on System Sciences, January 7-10, 1997, Wailea, Hawai'i, USA IEEE CS press,pp.561-570.
23. 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, pp. 244-251.