A formal IT-security model for the correction and abort requirement of electronic voting
| dc.contributor.author | Grimm, Rüdiger | |
| dc.contributor.author | Hupf, Katharina | |
| dc.contributor.author | Volkamer, Melanie | |
| dc.contributor.editor | Krimmer, Robert | |
| dc.contributor.editor | Grimm, Rüdiger | |
| dc.date.accessioned | 2019-01-17T10:25:08Z | |
| dc.date.available | 2019-01-17T10:25:08Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-261-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19506 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | 4th International Conference on Electronic Voting 2010 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-167 | |
| dc.title | A formal IT-security model for the correction and abort requirement of electronic voting | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 107 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 89 | |
| gi.conference.date | July 21st-24th, 2010 | |
| gi.conference.location | Bregenz, Austria | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1