Title: Evaluating procedural alternatives: a case study in e-voting

Authors: Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita

Addresses: Department of Engineering and Information Science, University of Trento, via Sommarive 14, Povo (TN) 38050, Italy. ' Department of Engineering and Information Science, University of Trento, via Sommarive 14, Povo (TN) 38050, Italy. ' LOA, ISTC-CNR, via Alla Cascata 56C, Povo (TN) 38050, Italy. ' FBK-IRST, via Sommarive, 18, Povo (TN) 38050, Italy. ' FBK-IRST, via Sommarive, 18, Povo (TN) 38050, Italy

Abstract: This paper describes part of the work within the ProVotE project, whose goal is the introduction of e-voting systems for local elections. The approach is aimed at providing both precise models of the electoral processes and mechanisms for documenting and reasoning on the possible alternative implementations of the procedures. It is based on defining an alternating sequence of models, written using UML and Tropos. The UML is used to represent electoral processes (both existing and future), while Tropos provides a mean to reason and document the decisions taken about how to change the existing procedures to support an electronic election.

Keywords: electronic government; e-government; electronic voting; e-voting; security; modelling; automated analysis; procedural alternatives; local elections; electoral processes; evaluation.

DOI: 10.1504/EG.2009.024443

Electronic Government, an International Journal, 2009 Vol.6 No.2, pp.213 - 231

Available online: 03 Apr 2009 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article