The KOA remote voting system: A summary of work to date

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

Volumn 4661 LNCS, Issue , 2007, Pages 244-262

  Kiniry, Joseph R ^a   Morkan, Alan E ^a   Cochran, Dermot ^a   Fairmichael, Fintan ^a   Chalin, Patrice ^b   Oostdijk, Martijn ^c   Hubbers, Engelbert ^c  

^a UNIVERSITY COLLEGE DUBLIN   (Ireland)

^b Gina Cody School of Engineering and Computer Science   (Canada)

^c RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; INFORMATION SYSTEMS; MOBILE PHONES; OPEN SYSTEMS;

GLOBAL COMPUTING; INTERNET VOTING; REMOTE VOTING SYSTEMS;

INTERNET;

EID: 38149127055     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75336-0_16     Document Type: Conference Paper

References (15)

1. Albert, E., Arenas, P., Puebla, G.: An Incremental Approach to Abstraction-Carrying Code. In: LPAR 2006. LNCS, Springer, Heidelberg (2006)
2. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer (February 2005)
3. Chalin, P., Rioux, F.: Non-null References by Default in the Java Modeling Language. In: Proceedings of the Workshop on the Specification and Verification of Component-Based Systems (SAVCBS 2005) (September 2005)
4. Cheon, Y., Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 231-255. Springer, Heidelberg (2002)
5. Cochran, D.: Secure Internet Voting in Ireland using the Open Source Kiezen op Afstand (KOA) Remote Voting System. Master's thesis, University College Dublin (March 2006)
6. Department of Environment and Local Government, Commission on Electronic Voting. Count requirements and commentary on count rules, (June 2000)
7. Department of Environment and Local Government, Commission on Electronic Voting. Count requirements and commentary on count rules, update no. 7: Available surpluses and candidates with zero votes (April 2002)
8. Fairmichael, F.: Full Verification of the KOA Tally System. Final Year Undergraduate Project Thesis (March 2005)
9. Jefferson, D., Rubin, A.D., Simons, B., Wagner, D.: Analyzing Internet Voting Security. Communication of the ACM 47(10), 59-64 (2004)
10. Kiniry, J.R., Cok, D.R.: ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2 and a report on a case study involving the use of ESC/Java2 to verify portions of an Internet voting tally system. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, Springer, Heidelberg (2005)
11. Kitcat, J.: Source availability and e-voting: an advocate recants. Communications of the ACM 47(10), 65-67 (2004)
12. LogicaCMG. Kiezen op Afstand: Hertellen Stemmen. Functional specifications (2004)
13. Fähndrich, M., Rustan, K., Leino, M.: Declaring and Checking Non-Null Types in an Object-Oriented Language. In: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2003), pp. 302-312. ACM Press, New York, USA (2003)
14. Morkan, A.E.: KOA Evaluation, Demonstration Installation and Implementation. Final Year Undergraduate Project Thesis (March 2005)
15. Necula, G.C.: Proof-Carrying Code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1997), pp. 106-119. ACM Press, New York, USA (1997)