Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

4th international conference on electronic voting 2010 P-167, 89-108 (2010).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


A formal Itô-security model for the correction andabort requirement of electronic voting

Rüdiger Grimm , Katharina Hupf and Melanie Volkamer


This paper addresses a basic security requirement of electronic voting, namely that a voter can correct or abort his vote at any time prior to his final vote casting. This requirement serves as a protection against voter precipitance (haste). We specify rules for a reset and cancel function that implement the correction and abort requirement. These rules are integrated in an extended version of the formal IT security model provided in [VG08]. We show that these rules do respect the requirements covered in this model namely that each voter can cast a vote, that no voter loses his voting right without having cast a vote and that only eligible voters can cast a vote. This paper formally describes and mathematically proves the model and finally shows at which places of a voting process the formal rules apply.

Full Text: PDF

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

Last changed 04.10.2013 18:31:39