SEAS, a secure e-voting protocol: Design and implementation

Computers and Security

Volumn 24, Issue 8, 2005, Pages 642-652

  Baiardi, Fabrizio ^a   Falleni, Alessandro ^b,d   Granchi, Riccardo ^b,c   Martinelli, Fabio ^b,d   Petrocchi, Marinella ^b   Vaccarelli, Anna ^b,d  

^a UNIVERSITY OF PISA   (Italy)

^b Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

^c TradeSoft Technologies   (Italy)

^d CNR   (Italy)

Author keywords

Cryptographic protocols; Electronic voting

Indexed keywords

COMPUTER NETWORKS; JAVA PROGRAMMING LANGUAGE; SECURITY OF DATA; SERVERS; SOCIAL ASPECTS; XML;

CRYPTOGRAPHIC PROTOCOLS; ELECTRONIC VOTING;

NETWORK PROTOCOLS;

EID: 28044462690     PISSN: 01674048     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cose.2005.07.008     Document Type: Article

References (22)

1. http://xml.apache.org/xerces-j/ [last accessed May 20, 2005].
2. I.G. Askoxylakis, D.D. Kastanis, and A.P. Traganitis M-commerce API package for mobile phones ERCIM Newsletter 54 2003
3. F. Baiardi, A. Falleni, R. Granchi, F. Martinelli, M. Petrocchi, and A. Vaccarelli SEAS, a secure e-voting applet system Proceedings of ISSS'03 LNCS 3233 2004 Springer 318 329 [revised papers]
4. J. Benaloh, and D. Tuinstra Receipt-free secret-ballot election Proceedings of ACM STOC'94 1994 ACM 544 553
5. D. Chaum Untraceable electronic mail, return addresses, and digital pseudonyms Communications of the ACM 24 2 1981 84 88
6. D. Chaum Blind signatures for untraceable payments Proceedings of Crypto'82 1983 Plemum Press 199 203
7. D. Chaum The dining cryptographers problem: unconditional sender and recipient untraceability Journal of Cryptology 1 1 1988 65 75
8. L. Cranor, and R.K. Cytron Sensor: a security-conscious electronic polling system for the internet Proceedings of HICSS'97 1997 IEEE 561 570
9. Focardi R, Gorrieri R, Martinelli F. Non interference for the analysis of cryptographic protocols. In: Proceedings of ICALP'00, LNCS 1853; 2000. p. 354-72.
10. Fujioka A, Okamoto T, Ohta K. A practical secret voting scheme for large scale election. In: Proceedings of Auscrypt'92, vol. LNCS 718; 1992. p. 244-60
11. R. Housley, W. Ford, W. Polk, and D. Solo RFC 2459: internet X.509 public key infrastructure certificate and CRL profile, IETF 1999 [last accessed May 20, 2005]
12. J. Karro, and J. Wang Towards a practical, secure, and very large scale online election Proceedings of ACSAC'99 1999 IEEE 161 169
13. E. Magkos, M. Burmester, and V. Chrissikopoulos Receipt-freeness in large-scale elections without untappable channels 13E 2001 Kluwer 683 694
14. S. Pelagatti Structured development of parallel programs 1997 Taylor & Francis London
15. A. Pfitzmann, B. Pfitzmann, and M. Waidner SDN-MIXes: untraceable communication with small bandwidth overhead Kommunikation in Verteilten Systemen 1991 451 463
16. I. Ray, I. Ray, and N. Narasimhamurthi An anonymous electronic voting protocol for voting over the internet Proceedings of WECWIS'01 2001 IEEE 188 191
17. A.D. Rubin Security considerations for remote electronic voting Communications of the ACM 45 12 2002 39 44
18. Ryan P, Bryans J. Security and trust in digital voting systems. In: Proceedings of FAST'03. Tech Rep. IIT TR-10/2003; 2003. p. 113-20.
19. P. Ryan, S. Schneider, M.H. Goldsmith, G. Lowe, and A.W. Roscoe Modelling and analysis of security protocols 2000 Addison-Wesley Publishing Co.
20. S. Schneider, and A. Sidiropoulos CSP and anonymity Proceedings of ESORICS'96 vol. LNCS 1146 1996 Springer 198 218
21. V. Shmatikov Probabilistic analysis of an anonymity system Journal of Computer Security 12 3-4 2004 355 377
22. P.F. Syverson, D.M. Goldschlag, and M.G. Reed Anonymous connections and onion routing IEEE symposium on security and privacy 1997 IEEE 44 54