Auflistung nach Autor:in "Hupf, Katharina"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEnd-to-End verifizierbare Wahlverfahren in Hinblick auf den Grundsatz der Öffentlichkeit der Wahl(Informatik 2009 – Im Focus das Leben, 2009) Hupf, Katharina; Meletiadou, Anastasia
- KonferenzbeitragA formal IT-security model for the correction and abort requirement of electronic voting(4th International Conference on Electronic Voting 2010, 2010) Grimm, Rüdiger; Hupf, Katharina; Volkamer, MelanieThis 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.