Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme

Grimm, Rüdiger; Volkamer, Melanie

Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme

dc.contributor.author	Grimm, Rüdiger
dc.contributor.author	Volkamer, Melanie
dc.contributor.editor	Hegering, Heinz-Gerd
dc.contributor.editor	Lehmann, Axel
dc.contributor.editor	Ohlbach, Hans Jürgen
dc.contributor.editor	Scheideler, Christian
dc.date.accessioned	2019-04-03T13:00:03Z
dc.date.available	2019-04-03T13:00:03Z
dc.date.issued	2008
dc.description.abstract	Als erster Schritt für die formale Sicherheitsmodellierung von Online- Wahlsystemen werden zwei Sicherheitsziele beispielhaft ausgewählt, nämlich die Anforderung, dass kein unbefugter Wähler eine Stimme abgeben darf, und die Anforderung, dass jeder berechtigte Wähler genau einmal wählen darf und sein Wahlrecht erst dann verliert, wenn er eine Stimme abgegeben hat. Es wird gezeigt, wie diese Sicherheitsziele in sicheren Systemzuständen repräsentiert werden können und welche Zustandübergangsregeln das Erreichen dieser sicheren Zustände garantieren. Da es sich um einen ersten Schritt zur Modellierung von Online-Wahlsystemen handelt, darf die Definition der Systemzustände und -übergänge nicht andere Sicherheitsziele blockieren, die in weiteren Schritten zu formalisieren sind, zum Beispiel das Wahlgeheimnis. Es wird gezeigt, dass die Modellierung der obigen Anforderungen nicht im Widerspruch zur Implementierung des Wahlgeheimnisses steht.	de
dc.identifier.isbn	978-3-88579-227-7
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/21403
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e. V.
dc.relation.ispartof	INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-133
dc.title	Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme	de
dc.type	Text/Conference Paper
gi.citation.endPage	436
gi.citation.publisherPlace	Bonn
gi.citation.startPage	429
gi.conference.date	8. -13. September 2008
gi.conference.location	München
gi.conference.sessiontitle	Regular Research Papers

Dateien

Originalbündel

1 - 1 von 1

Name:: 429.pdf
Größe:: 178.52 KB
Format:: Adobe Portable Document Format

Herunterladen

Sammlungen

P133 - INFORMATIK 2008 - Beherrschbare Systeme - dank Informatik - Band 1