Public Source Counting Tool für eine unabhängige Stimmenauswertung bei E-Voting – Ein Verifikationsansatz
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
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