A Methodology for Assessing Procedural Security: A Case Study in E-Voting
| dc.contributor.author | Weldemariam, Komminist | |
| dc.contributor.author | Villafiorita, Adolfo | |
| dc.contributor.editor | Krimmer, Robert | |
| dc.contributor.editor | Grimm, Rüdiger | |
| dc.date.accessioned | 2019-10-16T08:40:04Z | |
| dc.date.available | 2019-10-16T08:40:04Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | This paper presents a methodology for procedural security analysis in order to analyze and eventually try to make elections more secure. Our approach is based on modelling the electoral procedures in the form of business process models (which we write in a strict simplified subset of UML), systematically translate the models into executable formal specifications, and analyze the specifications against security properties. We believe such an analysis to be essential to identifying the limits of the current procedures (i.e. undetected attacks) and to identify more precisely under what hypotheses we can guarantee secure elections. This paper presents the approach and demonstrates with an example taken from the e-Voting procedures enacted within the ProVotE project, current trial of the Italian legislation. | 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/29192 | |
| 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 | A Methodology for Assessing Procedural Security: A Case Study in E-Voting | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 94 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 83 | |
| 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