Die Post ist überzeugt, dass nur eine transparente und politisch neutrale E-Voting-Lösung längerfristig erfolgreich sein kann. Deshalb publiziert die Post spezifische Dokumente und Konzepte für Experten.
Die folgenden Unterlagen beschreiben detailliert die Funktionsweise der E-Voting-Plattform der Post. Das Zielpublikum sind Fachleute aus den Bereichen elektronische Stimmabgabe und Cybersicherheit.
Bei Fragen können Interessierte die Post unter der Adresse evoting@post.ch kontaktieren.
Liste der Unterlagen
Grundlagen
Grundlagen der elektronischen End-to-End-Stimmabgabe (PDF, 815.8 KB)Dokument ist nicht verfügbar. (englische Version)
Dieses Dokument beschreibt in einer Tabelle kurz die wichtigsten Sicherheitsgrundlagen bei der elektronischen End-to-End-Stimmabgabe.
Protokolle für das System mit universeller Verifizierbarkeit
Sicherheitsbeweisbericht über die vollständige Verifizierbarkeit (PDF, 1.1 MB)Dokument ist nicht verfügbar. (englische Version)
In diesem Dokument stellen wir das Papier vor, das den kryptografischen Beweis der vollständigen Verifizierbarkeit des Stimmabgabeprotokolls Scytl sVote liefert, in Übereinstimmung mit dem kompletten, in der Verordnung der Bundeskanzlei über die elektronische Stimmabgabe (VEleS) definierten abstrakten Modell.
Sicherheitsbeweisbericht über den Datenschutz (PDF, 1.1 MB)Dokument ist nicht verfügbar. (englische Version)
In diesem Dokument stellen wir das Papier vor, das den kryptografischen Beweis dafür liefert, dass das Stimmabgabeprotokoll Scytl sVote den Datenschutz der Stimmberechtigten gewährleistet, in Übereinstimmung mit dem kompletten, in der VEleS definierten abstrakten Modell.
Formeller Beweisbericht über die vollständige Verifizierbarkeit (PDF, 1.3 MB)Dokument ist nicht verfügbar. (englische Version)
In diesem Dokument stellen wir das Papier vor, das den symbolischen Beweis der vollständigen Verifizierbarkeit des Stimmabgabeprotokolls Scytl sVote liefert, in Übereinstimmung mit dem kompletten, in der VEleS definierten abstrakten Modell.
Formeller Beweisbericht über das Stimmgeheimnis (PDF, 841.8 KB)Dokument ist nicht verfügbar. (englische Version)
In diesem Dokument stellen wir das Papier vor, das den symbolischen Beweis dafür liefert, dass das Stimmabgabeprotokoll Scytl sVote das Stimmgeheiminis der Stimmberechtigten gewährleistet, in Übereinstimmung mit dem kompletten, in der VEleS definierten abstrakten Modell.
Protokolle für das System ohne universelle Verifizierbarkeit
Folgende Dokumente sind nur für die 50% Version der E-Voting Lösung der Post valid.
Protokoll der elektronischen Stimmabgabe der Schweiz (PDF, 956.6 KB)Dokument ist nicht verfügbar. (englische Version)
Dieser wissenschaftliche Fachartikel beschreibt, welches Protokoll im E-Voting-System der Schweizerischen Post zur Anwendung kommt. Zunächst wird ein allgemeiner Überblick über das Protokoll und seine wichtigsten Teilnehmer gegeben. Weiter enthält es eine syntaktische und symbolische Beschreibung, die für andere Protokolle, die Rückgabecodes verwenden, sowie für eine symbolische Analyse der Sicherheit solcher Konzepte von Nutzen sein kann. Im Dokument werden Details zur Implementierung angegeben.
Individuelle Verifizierbarkeit: das Protokoll erklärt (PDF, 1.3 MB)Dokument ist nicht verfügbar. (englische Version)
Dieses Dokument beinhaltet eine allgemeine Beschreibung der individuellen Verifizierbarkeit des Protokolls, das von der Schweizerischen Post in ihrem E-Voting system verwendet wird.
Kryptographischer Beweis der individuellen Verifizierbarkeit (PDF, 620.7 KB)Dokument ist nicht verfügbar. (englische Version)
Beschreibung des kryptographischen Protokolls des in der Schweiz für bis zu 50% des kantonalen Elektorats eingesetzten E-Voting-Systems.
Analyse der individuellen Verifizierbarkeit und der Gewährleistung des Stimmgeheimnisses (PDF, 640.5 KB)Dokument ist nicht verfügbar. (englische Version)
Bericht zum automatischen Nachweis der individuellen Verifizierbarkeit sowie des Stimmgeheimnisses für das Protokoll mit ProVerif.
Software
E-Voting System Documentation (PDF, 1.7 MB)Dokument ist nicht verfügbar.
In diesem Dokument wird beschrieben, wie die Schweizerische Post eine sichere Infrastruktur für ihre elektronische Stimmabgabe eingerichtet hat. Es werden die wichtigsten Sicherheitsmassnahmen gegen Cyberattacken vorgestellt.
Hinweis: Folgende zusätzliche Dokumente wurden zusammen mit dem Quellcode veröffentlicht und sind auf GitLab.com einsehbar (Zur Anmeldung):
- Spezifikation des kryptographischen Protokolls
- Architektur der E-Voting Lösung
- Scytl sVote Auditability with Control Components
