Jusletter IT

Public Source Counting Software für verifizierbares E-Voting

  • Autor/Autorin: Alexander Scheidl
  • Kategorie: Kurzbeiträge
  • Region: Österreich
  • Rechtsgebiete: E-Democracy
  • Sammlung: Tagungsband IRIS 2010
  • Zitiervorschlag: Alexander Scheidl, Public Source Counting Software für verifizierbares E-Voting, in: Jusletter IT 1. September 2010
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

0 Kommentare

Es gibt noch keine Kommentare

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.