Logo des Repositoriums
 

A formal IT-security model for the correction and abort requirement of electronic voting

dc.contributor.authorGrimm, Rüdiger
dc.contributor.authorHupf, Katharina
dc.contributor.authorVolkamer, Melanie
dc.contributor.editorKrimmer, Robert
dc.contributor.editorGrimm, Rüdiger
dc.date.accessioned2019-01-17T10:25:08Z
dc.date.available2019-01-17T10:25:08Z
dc.date.issued2010
dc.description.abstractThis 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.en
dc.identifier.isbn978-3-88579-261-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19506
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartof4th International Conference on Electronic Voting 2010
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-167
dc.titleA formal IT-security model for the correction and abort requirement of electronic votingen
dc.typeText/Conference Paper
gi.citation.endPage107
gi.citation.publisherPlaceBonn
gi.citation.startPage89
gi.conference.dateJuly 21st-24th, 2010
gi.conference.locationBregenz, Austria
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
89.pdf
Größe:
272.17 KB
Format:
Adobe Portable Document Format