Betreuer

Prof. Jörn Müller-Quade, Antonio Almeida, Carmen Kempka, Christoph Striecks

Inhalt

Woran denken wohl die meisten Menschen bei dem Begriff "Wahlmaschine"? Mangelnde Nachvollziehbarkeit, mangelnde Benutzbarkeit, mangelnde Sicherheit... An negativen Pressemeldungen über den Einsatz von Wahlmaschinen kam man in der Vergangenheit kaum vorbei.

Es geht auch anders:

Das am IKS entwickelte Bingo Voting ist ein elektronisches Wahlverfahren, bei dem jeder überprüfen kann, ob die eigene Stimme korrekt gezählt wurde, und ob das Wahlergebnis korrekt berechnet wurde, auch wenn man den Wahlcomputer zusätzlich als Schachcomputer benutzt - oder ihn mit Malware korrumpiert.

Das ist gar nicht so einfach,

denn man hat es mit einigen sehr gegensätzlich wirkenden Anforderungen zu tun. Einerseits hat man sehr hohe Ansprüche an die Benutzbarkeit (jeder soll wählen können), andererseits gibt es höchste Sicherheitsanforderungen: Niemand soll die Wahl unbemerkt manipulieren können, und niemand soll das Wahlgeheimnis brechen können, aber jeder soll die Auszählung nachvollziehen können. Bingo Voting entgeht diesen vermeintlichen Widersprüchen, denn die Benutzeroberfläche kann relativ unabhängig von dem Wahlverfahren selbst gestaltet werden. Und zum Schutz des Wahlgeheimnisses sind die mathematischen Korrektheitsbeweise der Auszählung so gestrickt, dass der Wähler, selbst wenn er es wollte, niemandem beweisen kann, was er gewählt hat.

Im Rahmen dieses Praktikums soll das Wahlverfahren Bingo Voting als Softwareprojekt realisiert werden. Die Implementierung erfolgt in der Programmiersprache Java; Grundkenntnisse
sollten vorhanden sein.

Organisation (vorläufig)

Die Homepage zu "Praxis der Softwareentwicklung" ist auf den Seiten des IPD zu finden: Link

Die Eckpunkte in der Terminplanung für das PSE sind:

• Montag, 17.10, 15.45, Auftaktveranstaltung (HSaF)
• Dienstag, 25.10, 14.00, Erstes Treffen, SR 252, Geb. 50.34
• Pflichtenheft: 31.10.-20.11., Kolloquium am 17.11. um 15.45 Uhr in SR 252
• Entwurf: 21.11.-18.12., Kolloquium am 15.12. um 15.45 Uhr in SR 252
• Implementierung: 19.12.-29.1., Kolloquium am 14.2.12 um 14.00 Uhr in SR 252
• Qualitätssicherung: 30.01.-19.2., Kolloquium am 6.3. um 14.00 Uhr in SR 252
• Klausurpause: 20.2.-4.3.
• Interne Abnahme: 5.3.-11.3.
• Abschlusspräsentation: 28.3., in HS -101