Jusletter IT

Public Source Counting Tool für eine unabhängige Stimmenauswertung bei E-Voting – Ein Verifikationsansatz

  • Autor/Autorin: Alexander Scheidl
  • Kategorie: Kurzbeiträge
  • Region: Österreich
  • Rechtsgebiete: E-Democracy
  • Sammlung: Tagungsband IRIS 2011
  • Zitiervorschlag: Alexander Scheidl, Public Source Counting Tool für eine unabhängige Stimmenauswertung bei E-Voting – Ein Verifikationsansatz, in: Jusletter IT 24. Februar 2011
Es wird ein Überblick über den Ablauf des «Public Source Counting Tools», welches eine unabhängige (Zweit-)Auswertung der Stimmabgaben gewährleisten soll, gegeben. Danach wird auf die Verifikation dieser Software und der damit verbundenen Neuentwicklung mit Hilfe von Methoden der Software Verifikation eingegangen. Es ist das Ziel durch diese Verifikation das Vertrauen in die richtige Auswertung der Ergebnisse weiter zu steigern.

Inhaltsverzeichnis

  • 1. Einleitung
  • 2. Public Source Counting Tool
  • 2.1. Hauptprozess
  • 2.2. Auswertungsprozess
  • 3. Verifikation der Software
  • 3.1. Unterschied zwischen Testen und Verifikation
  • 3.2. Umsetzung
  • 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.