Vorlage

Verordnung der BK über die elektronische Stimmabgabe AS …

25.13 Instrumentierung

25.13.1 Als Instrumentierung gilt eine Eigenschaft der Software, die es erlaubt, ihre

Nutzung zu messen oder Fehler zu erkennen.

25.13.2 Die Unit-Tests¹³ decken alle möglichen Pfade und die zulässigen Werte der

Inputparameter ab.

25.13.3 Die Integrationstests decken alle Module ab.

25.13.4 Die Softwaretestszenarien decken alle Module ab.

25.13.5 Fehler und notwendige Informationen werden in Logs protokolliert.

26. Prüfkriterien für die Systeme und ihren Betrieb

26.1 Prüfung des kryptografischen Protokolls (Art. 10 Abs. 1 Bst. a)

26.1.1 Gegenstand: Es wird geprüft:

 ob die Anforderungen in Artikel 5 in Verbindung mit den Artikeln 6– 8 und Ziffer 2 des Anhangs erfüllt sind; diese Beurteilung erfolgt insbesondere anhand der kryptografischen und symbolischen Beweise;  ob und inwiefern sich das kryptografische Protokoll auf existierende und bewährte Protokolle und Bausteine abstützt;

 welche Vertiefungen und Verbesserungen zu einer Stärkung der Sicherheit beitragen könnten.

26.1.2 Zuständigkeiten: Die Prüfung erfolgt durch Expertinnen und Experten aus

der Kryptografie. Die Bundeskanzlei gibt die Prüfung in Auftrag und kontrolliert die auftragsgemässe Erfüllung.

26.1.3 Zeitpunkt der Prüfung:

 Eine komplette Überprüfung erfolgt vor der ersten Inbetriebnahme.  Die Prüfung wird nach zwei bis drei Jahren erneut durchgeführt.

 Die Prüfung findet bei jeder Änderung des Protokolls und bei relevanten neuen Erkenntnissen der Forschung bezüglich der Sicherheit von verwendeten kryptografischen Elementen sowie der Bedrohungslage neu statt.