Paper Info
Title
The KOA remote voting system: a summary of work to date
Abstract
Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KOA system. It charts the evolution of the system, from its initial conception by the Dutch Government, through to its current status. It also describes a roadmap of milestones towards completing its next release: a Free Software, general-purpose, formally specified and verified internet voting system, that incorporates Proof Carrying Code technology for software update and allows trustworthy voting from a mobile phone. We propose that the KOA system should be used as an experimental platform for research in electronic and internet voting; we are not saying that we have solved any of the major problems inherent in voting with computers.
Year
Venue
Keywords
2006
TGC
internet voting,free software,kiezen op afstand,koa system,code technology,dutch government,trustworthy voting,remote voting system,remote internet voting,internet voting system,koa remote voting system
Field
DocType
Volume
Voting,Computer security,Trustworthiness,Computer science,Software update,Software,Proof-carrying code,Mobile phone,Milestone (project management),Government
Conference
4661
ISSN
ISBN
Citations 
0302-9743
3-540-75333-8
10
PageRank 
References 
Authors
0.75
11
7
Name
Order
Citations
PageRank
Joseph R. Kiniry168840.03
Alan E. Morkan2402.03
Dermot Cochran3292.57
Fintan Fairmichael4282.84
Patrice Chalin540532.02
Martijn Oostdijk613213.89
Engelbert Hubbers710810.20