Jusletter IT

Realisierung einer gemeinschaftsbasierten Verifikation in E-Voting

  • Author: Alexander Scheidl
  • Category: Short Articles
  • Region: Austria
  • Field of law: E-Democracy
  • Collection: Conference proceedings IRIS 2012
  • Citation: Alexander Scheidl, Realisierung einer gemeinschaftsbasierten Verifikation in E-Voting, in: Jusletter IT 29 February 2012
Dieser Artikel soll einen Überblick über die Realisierung und Vorteile des Einsatzes einer Wiki-Plattform, die sich erstmals mit gemeinschaftsbasierter Software-Verifikation auseinandersetzt, geben. Gerade für den Bereich e-Voting stellt so ein Ansatz einen Mehrwert dar, weil hierbei für die nötige Transparenz und Nachvollziehbarkeit gesorgt wird.

Inhaltsverzeichnis

  • 1. Einleitung
  • 2. Verifikation
  • 2.1. Software-Verifikation
  • 2.2. Softwaretool KeY
  • 3. Gemeinschaftsbasierte Verifikation – Der Community-Ansatz
  • 3.1. Community
  • 3.2. Funktionsprinzip eines Wikis
  • 3.3. Der Wiki in der Praxis
  • 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.