TU Darmstadt / ULB / TUbiblio

Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme

Grimm, Rüdiger ; Volkamer, Melanie
eds.: Hegering, Heinz-Gerd ; Lehmann, Axel ; Ohlbach, Hans Jürgen ; Scheideler, Christian (2008)
Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme.
München
Conference or Workshop Item, Bibliographie

Abstract

Als erster Schritt für die formale Sicherheitsmodellierung von OnlineWahlsystemen werden zwei Sicherheitsziele beispielhaft ausgewählt, nämlich die Anforderung, dass kein unbefugter Wähler eine Stimme abgeben darf, und die Anforderung, dass jeder berechtigte Wähler genau einmal wählen darf und sein Wahlrecht erst dann verliert, wenn er eine Stimme abgegeben hat. Es wird gezeigt, wie diese Sicherheitsziele in sicheren Systemzuständen repräsentiert werden können und welche Zustandübergangsregeln das Erreichen dieser sicheren Zustände garantieren. Da es sich um einen ersten Schritt zur Modellierung von Online-Wahlsystemen handelt, darf die Definition der Systemzustände und - übergä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. 

Item Type: Conference or Workshop Item
Erschienen: 2008
Editors: Hegering, Heinz-Gerd ; Lehmann, Axel ; Ohlbach, Hans Jürgen ; Scheideler, Christian
Creators: Grimm, Rüdiger ; Volkamer, Melanie
Type of entry: Bibliographie
Title: Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme
Language: German
Date: September 2008
Book Title: GI Jahrestagung
Series Volume: Band 1
Event Location: München
Corresponding Links:
Abstract:

Als erster Schritt für die formale Sicherheitsmodellierung von OnlineWahlsystemen werden zwei Sicherheitsziele beispielhaft ausgewählt, nämlich die Anforderung, dass kein unbefugter Wähler eine Stimme abgeben darf, und die Anforderung, dass jeder berechtigte Wähler genau einmal wählen darf und sein Wahlrecht erst dann verliert, wenn er eine Stimme abgegeben hat. Es wird gezeigt, wie diese Sicherheitsziele in sicheren Systemzuständen repräsentiert werden können und welche Zustandübergangsregeln das Erreichen dieser sicheren Zustände garantieren. Da es sich um einen ersten Schritt zur Modellierung von Online-Wahlsystemen handelt, darf die Definition der Systemzustände und - übergä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. 

Uncontrolled Keywords: Security, Usability and Society
Identification Number: TUD-CS-2008-11531
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > SECUSO - Security, Usability and Society
LOEWE > LOEWE-Zentren
20 Department of Computer Science
LOEWE
Date Deposited: 28 Jul 2016 18:35
Last Modified: 30 May 2018 12:53
PPN:
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details