Public Source Counting Software für verifizierbares E-Voting
In einem so sensiblen Bereich wie E-Voting ist es wichtig ein unabhängiges Programm zur Verifizierung der Stimmabgaben zur Verfügung zu haben. Durch die Veröffentlichung des Quellcodes als Public Source können Hemmungen und Bedenken über die Funktionsweise abgebaut und eine möglichst sichere (Zweit-)Auswertung gewährleistet werden. In diesem Beitrag werden die einzelnen Abläufe des Tools erklärt und abschließend soll auf die Aufwertung der Software mit Hilfe von Software Verifikation eingegangen werden.
Inhaltsverzeichnis
- 1. Einleitung
- 2. Funktionsweise
- 2.1. Das Interface - Input
- 2.2. Output
- 2.3. Programmablauf
- 2.3.1. Hauptprozesskette
- 2.3.2. Auswertungsprozesskette
- 2.3.3. Invalid Options
- 2.3.4. Programmbedingter Austritt
- 2.3.5. Fatal Errors
- 3. Überprüfung des Programms
- 3.1. Testen
- 3.2. Software Verifikation
- 3.2.1. Beispiel Zufallszahlen
- 4. Schlussfolgerung
- 5. Literatur
Loggen Sie sich bitte ein, um den ganzen Text zu lesen.
There are no comments yet
Ihr Kommentar zu diesem Beitrag
AbonnentInnen dieser Zeitschrift können sich an der Diskussion beteiligen. Bitte loggen Sie sich ein, um Kommentare verfassen zu können.
No comments