论文信息 - Mobile Implementation and Formal Verification of an e-Voting System - 字舞流文

Mobile Implementation and Formal Verification of an e-Voting System

We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.

Fabio Martinelli | Marinella Petrocchi | Stefano Campanelli | Anna Vaccarelli | Alessandro Falleni | F. Martinelli | M. Petrocchi | S. Campanelli | Alessandro Falleni | A. Vaccarelli

[1] Danny Dolev,et al. On the security of public key protocols , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[2] David Chaum,et al. Blind Signatures for Untraceable Payments , 1982, CRYPTO.

[3] Atsushi Fujioka,et al. A Practical Secret Voting Scheme for Large Scale Elections , 1992, AUSCRYPT.

[4] Josh Benaloh,et al. Receipt-free secret-ballot elections (extended abstract) , 1994, STOC '94.

[5] Henrik Reif Andersen,et al. Partial model checking , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[6] Lorrie Faith Cranor,et al. Sensus: a security-conscious electronic polling system for the Internet , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[7] Gavin Lowe,et al. A hierarchy of authentication specifications , 1997, Proceedings 10th Computer Security Foundations Workshop.

[8] Fabio Martinelli,et al. A Uniform Approach for the Definition of Security Properties , 1999, World Congress on Formal Methods.

[9] Stephan Merz,et al. Model Checking , 2000 .

[10] Byoungcheon Lee,et al. Providing Receipt-Freeness in Mixnet-Based Voting Protocols , 2003, ICISC.

[11] Fabio Martinelli,et al. Analysis of security protocols as open systems , 2003, Theor. Comput. Sci..

[12] David Chaum,et al. A Practical Voter-Verifiable Election Scheme , 2005, ESORICS.

[13] Markus Jakobsson,et al. Coercion-resistant electronic elections , 2005, WPES '05.

[14] Mark Ryan,et al. Analysis of an Electronic Voting Protocol in the Applied Pi Calculus , 2005, ESOP.

[15] Marinella Petrocchi,et al. SEAS, a secure e-voting protocol: Design and implementation , 2005, Comput. Secur..

[16] Mark Ryan,et al. Coercion-resistance and receipt-freeness in electronic voting , 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).