Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics

3rd international Conference on Electronic Voting 2008 Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC August 6th- 9th, 2008 In Castle Hofen, Bregenz, Austria P-131, 83-94 (2008).

Gesellschaft für Informatik, Bonn


Robert Krimmer, Rüdiger Grimm (eds.)

Copyright © Gesellschaft für Informatik, Bonn


A methodology for assessing procedural security: A case study in E-voting

Komminist Weldemariam and Adolfo Villafiorita


This paper presents a methodology for procedural security analysis in order to analyze and eventually try to make elections more secure. Our approach is based on modelling the electoral procedures in the form of business process models (which we write in a strict simplified subset of UML), systematically translate the models into executable formal specifications, and analyze the specifications against security properties. We believe such an analysis to be essential to identifying the limits of the current procedures (i.e. undetected attacks) and to identify more precisely under what hypotheses we can guarantee secure elections. This paper presents the approach and demonstrates with an example taken from the e-Voting procedures enacted within the ProVotE project, current trial of the Italian legislation.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-225-3

Last changed 24.01.2012 22:00:55