Jusletter IT

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

  • Author: Alexander Scheidl
  • Category: Short Articles
  • Region: Austria
  • Field of law: E-Democracy
  • Collection: Conference proceedings IRIS 2011
  • Citation: Alexander Scheidl, Public Source Counting Tool für eine unabhängige Stimmenauswertung bei E-Voting – Ein Verifikationsansatz, in: Jusletter IT 24 February 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

No comments

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.