Abstract | ||
---|---|---|
Kiezen op Afstand (KOA) is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, key components have been, or are currently being formally specified and verified. These include a tally system and a modeling of the Irish electoral system. In this paper, we describe the formal techniques incorporated during the development of components of the KOA system. It also includes continuing work including the development of a platform for trustworthy voting from a mobile phone. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1218776.1218793 | ACM SIGSOFT Software Engineering Notes |
Keywords | Field | DocType |
free software,kiezen op afstand,koa system,dutch government,open source,tally system,formal technique,irish electoral system,trustworthy voting,remote voting system | Voting,Software engineering,Textual entailment,Computer science,Trustworthiness,Software,Mobile phone,Software quality,Database,Government,Electoral system | Journal |
Volume | Issue | Citations |
31 | 6 | 12 |
PageRank | References | Authors |
0.48 | 3 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joseph R. Kiniry | 1 | 688 | 40.03 |
Alan E. Morkan | 2 | 40 | 2.03 |
Dermot Cochran | 3 | 29 | 2.57 |
Martijn Oostdijk | 4 | 132 | 13.89 |
Engelbert Hubbers | 5 | 108 | 10.20 |