Formal techniques in a remote voting system

Authors:
Joseph R. Kiniry;Alan E. Morkan;Dermot Cochran;Martijn Oostdijk;Engelbert Hubbers
Affiliations:
University College Dublin, Dublin, Ireland;University College Dublin, Dublin, Ireland;University College Dublin, Dublin, Ireland;Radboud University Nijmegen, Nijmegen, The Netherlands;Radboud University Nijmegen, Nijmegen, The Netherlands
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2006

Citing 3
Cited 1

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Formal object-oriented development of a voting system test oracle

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.