SEAS: A Secure E-Voting Applet System

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3233, Issue , 2004, Pages 318-329

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

^a UNIVERSITY OF PISA   (Italy)

^b CNR   (Italy)

^c TradeSoft Technologies   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; VOTING MACHINES; XML;

DISTRIBUTED ORGANIZATIONS; E-VOTING PROTOCOLS; E-VOTING SYSTEMS; FLEXIBLE SYSTEM; JAVA APPLET; PROTOTYPE IMPLEMENTATIONS; SECURITY REQUIREMENTS; XML TECHNOLOGY;

NETWORK SECURITY;

EID: 35048831746     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-37621-7_17     Document Type: Article

References (21)

1. http://xml.apache.org/xerces-j/.
2. I. G. Askoxylakis, D. D. Kastanis, and A. P. Traganitis. M-commerce api package for mobile phones. ERCIM newsletter 54,2003. Special Theme: Applications and Service Platforms for the Mobile User.
3. J. Benaloh and D. Tuinstra. Receipt-Free Secret-Ballot Election. In Proc. of ACMSTOC'94, pages 544-553,1994.
4. D. Chaum. Untraceable Electronic Mail, Return Addresses, and Digital Pseudonyms. Communications of the ACM, 24(2):84-88,1981.
5. D. Chaum. Blind Signatures for Untraceable Payments. In Proc. of Crypto'82, pages 199-203. Plenum, NY, 1983.
6. D. Chaum. The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability. Journal of Cryptology, l(l):65-75,1988.
7. L. Cranor and R. K. Cytron. Sensor: A Security-Conscious Electronic Polling System for the Internet. In Proc. of HICSS'97, 1997.
8. R. Focardi, R. Gorrieri, and F. Martinelli. Non Interference for the Analysis of Cryptographic Protocols. In Proc. of ICALP'00, LNCS1853, 354-372,2000.
9. A. Fujioka, T. Okamoto, and K. Ohta. A Practical Secret Voting Scheme for Large Scale Election. In Proc. of Auscrypt'92, volume LNCS 718, pages 244-260,1992.
10. R. Housley, W. Ford, W. Polk, and D. Solo. RFC 2459: Internet X.509 Public Key Infrastructure Certificate and CRL Profile, IETF, 1999. http://www.ietf.org/rfc/rfc2459.txt.
11. J. Karro and J. Wang. Towards a Practical, Secure, and Very Large Scale Online Election. In Proc. of ACSAC'99, pages 161-169. IEEE Computer Society Press, 1999.
12. E. Magkos, M. Burmester, and V. Chrissikopoulos. Receipt-Freeness in Large-Scale Elections without Untappable Channels. In 13E, pages 683-694,2001.
13. S.Pelagatti. Structured development of parallel programs. Taylor & Francis London, 1997.
14. A. Pfitzmann, B. Pfitzmann, and M. Waidner. SDN-MIXes: Untraceable Communication with Small Bandwidth Overhead. Kommunikation in Verteilten Systemen, pages 451-463, 1991.
15. I. Ray, I. Ray, and N. Narasimhamurthi. An Anonymous Electronic Voting Protocol for Voting over the Internet. In Proc. of WECWIS '01, pages 188-191. IEEE Computer Society Press, 2001.
16. A. D. Rubin. Security Considerations for Remote Electronic Voting. In Proc. of 29th Research Conference on Communication, Information and Internet Policy (TPRC01), 2001.
17. P. Ryan and J. Bryans. Security and trust in digital voting systems, pages 113-120,2003. Proc. of FAST'03, HTTR-10/2003.
18. P.Y.A. Ryan, S.A. Schneider, M.H. Goldsmith, G. Lowe, and A.W. Roscoe. Modelling and Analysis of Security Protocols. Addison-Wesley Publishing Co., 2000.
19. S. Schneider and A. Sidiropoulos. CSP and anonymity. In Proc of ESORICS'96, pages 198-218,1996.
20. V. Shmatikov. Probabilistic model checking of an anonymity system. Accepted to Journal of Computer Security (selected papers of CSFW-15), 2004.
21. P.F. Syverson, D.M. Goldschlag, and M.G. Reed. Anonymous Connections and Onion Routing. In IEEE Symposium on Security and Privacy, pages 44-54, 1997.