Development of a Formal IT Security Model for Remote Electronic Voting Systems
| dc.contributor.author | Grimm, Rüdiger | |
| dc.contributor.author | Volkamer, Melanie | |
| dc.contributor.editor | Krimmer, Robert | |
| dc.contributor.editor | Grimm, Rüdiger | |
| dc.date.accessioned | 2019-10-16T08:40:01Z | |
| dc.date.available | 2019-10-16T08:40:01Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | Remote electronic voting systems are more and more used - not so much for parliamentary elections, but nevertheless for elections on lower levels as in associations and at universities. In order to have a basis for the evaluation and certification, in Germany a Common Criteria Protection Profile [PP08] is developed, which defines basic requirements for remote electronic voting systems. This Protection Profile requires a rather low evaluation depth (EAL2+). For elections on higher levels an appropriate adjustment of the evaluation depth is recommended. In its first part this paper points out that increasing the evaluation depth beyond EAL5 is not possible at present, since EAL6 requires formal methods and in particular a formal IT security model. Such a formal model does not exist yet. In the second part, this paper proposes a first step to an IT security model for remote electronic voting systems, which, however, considers only a subset of the security objectives defined in the Protection Profile [PP08]. | en |
| dc.identifier.isbn | 978-3-88579-225-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/29181 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Electronic Voting 2008 (EVOTE08). 3rd International Conference on Electronic Voting 2008, Co-organized by Council of Europe, Gesellschaft für Informatik and EVoting.CC | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-131 | |
| dc.title | Development of a Formal IT Security Model for Remote Electronic Voting Systems | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 196 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 185 | |
| gi.conference.date | August 6th-9th, 2008 | |
| gi.conference.location | Bregenz, Austria | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1