Fachschaft Mathematik/Informatik

Fachschaft Mathe/Info


Wegen Coronaregeln aktuell geschlossen. Because of corona rules currently closed.

Wahlen der Fachschaft EIM 2021

Informationen zu den Wahlen zur Fachschaftsvertretung der Fachschaft EIM und den Fachschaftsräten Elektrotechnik und Mathematik/Informatik.

Dokumente

Folgende Dokumente wurden im Rahmen dieser Wahl veröffentlicht:

Die zugrunde liegende Wahlordnung vom 21.05.2021 ist auf der StuPa-Website zu finden.

Verifikation des Auszählungsprozesses

§ 19 Abs. 9 der Wahlordnung der Studierendenschaft schreibt vor (ähnlich in § 17 Abs. 5 der Wahlordnungen zu Fakultätsräten und Senat):

“Bei elektronischen Wahlen sind technische Möglichkeiten zur Verfügung zu stellen, die den Auszählungsprozess für jede*n Wähler*in jederzeit reproduzierbar machen.”

In diesem Kontext werden folgende Daten zur Verfügung gestellt:

Eine ausführliche Anleitung ist oben verlinkt. Die Kurzfassung ist folgende:

Um das Verifikations-Tool zu nutzen wird Java (konkret ein Java Runtime Environment) in der aktuellen Version 16 benötigt. Dieses steht z.B. als OpenJDK unter einer freien Lizenz zur Verfügung.

Nun lädt man das Tool und den Datensatz herunter, öffnet ein Terminal, wechselt in den Ordner, in den man die Dateien heruntergeladen hat (bspw. durch Eingabe von “cd Downloads” im Terminal, wenn die Daten im Downloads-Ordner liegen), und führt schließlich diesen Befehl aus:

java --add-modules java.xml.bind -jar verification-tool-3.2.0.jar b0be6f5c-fe2c-4811-a51d-233f39d6bec3-validation.zip

oder (wenn obiges meldet “java.lang.module.FindException: Module java.xml.bind not found”):

java -jar verification-tool-3.2.0.jar b0be6f5c-fe2c-4811-a51d-233f39d6bec3-validation.zip

Wenn alles in Ordnung ist, sollte das Tool melden “Verify signatures of registry and vote: OK” und “Verify block checkums: OK”. Danach folgen die Auszählungsergebnisse der verschiedenen Wahlen in den unterschiedlichen Wahlbezirken. Nun kann man die Suchfunktion des Terminals benutzen (üblicherweise erreichbar über die Menüleiste oder eine Tastenkombination wie Strg+Umschalt+F) um nach dem Gremium zu suchen, dessen Wahl man überprüfen möchte. Die Auszählungsergebnisse können jetzt mit dem veröffentlichten Wahlergebnis verglichen werden.

Tipp: Unter Linux und Mac kann man auch hinter dem oben stehenden java-Befehl folgendes ergänzen, um die Ergebnisse in eine Datei schreiben zu lassen: > Auszählung.txt
Also bspw.:

java --add-modules java.xml.bind -jar verification-tool-3.2.0.jar b0be6f5c-fe2c-4811-a51d-233f39d6bec3-validation.zip > Auszählung.txt

Die Korrektheit des Auszählungsergebnisses ist natürlich abhängig von der korrekten Funktionsweise des Verifikations-Tools. Hinweise hierzu sind ggf. dem BSI-Zertifizierungsreport zu entnehmen.