KOA. KOA ist ein kostenloses Software-Electronic / Remote / Internet-Abstimmungssystem, das 2003 für die niederländische Regierung entwickelt wurde.
Jetzt downloaden

KOA. Ranking & Zusammenfassung

KOA. Stichworte

Internet Fernbedienung elektronisch Abstimmungssystem Remote-Abstimmung. Internet-Abstimmung.

KOA. Beschreibung

KOA ist ein kostenloses Software Electronic / Remote / Internet-Abstimmungssystem, das 2003 für die niederländische Regierung entwickelt wurde. KOA steht für Kiezen OP AFUT und ist ein kostenloses Software Electronic / Remote / Internet-Abstimmungssystem, das 2003 für die niederländische Regierung entwickelt wurde. "Kiezen Op AfiD" ist buchstäblich von Niederländisch als "Remote-Abstimmung" übersetzt. Eine Version dieses Systems wurde bei der Europäischen Parlamentswahl vom Juni 2004 eingesetzt und anschließend unter der GNU General Public License veröffentlicht. Im Rahmen dieser Arbeit schrieb die Sicherheit der Systeme (SOS) an der Radboud University Nijmegen eine unabhängige Tally-Anwendung, die formal festgelegt wurde und (teilweise) mit der Java-Modellierungssprache (JML) und dem erweiterten statischen Checker für Java, ESC / ESC / überprüft wurde Java2. Die von der niederländische Regierung unter der GPL veröffentlichte Version von KOA war nicht vollständig. Eine Reihe von Funktionsstücke, die rund 10% des eingesetzten KOA-Systems bildeten, waren proprietär und im Besitz der Autoren, logicacmg. Darüber hinaus wurden bestimmte andere Änderungen zu Veröffentlichungszwecken vorgenommen (z. B. der Länge der öffentlichen / privaten Schlüsselpaare wurden elementiert). Diese 10% wurde umgekehrt engetrieben und das gesamte System wurde an eine völlig offene Quellfundatur portiert. KOA wird auch erweitert, um das irische Wahlsystem zu unterstützen. Diese Arbeit wird durch die Entwicklung eines Plugins namens Votil durchgeführt. Ein Votil-Kern ist eine vollständige JML-Spezifikation des irischen Abstimmungszählsystems. Diese formale Spezifikation wird von der vollständigen Funktionsspezifikation für den Wahlzählungsalgorithmus abgeleitet, wie er im irischen Gesetz dargelegt ist. Eine Implementierung dieser Spezifikation wird im Moment mit unserem überprüfungszentrierten Design durch Vertragsmethodik geschrieben. Andere Arbeiten an KOA, als experimentelle Plattform für die elektronische und abgelegene Abstimmung, wird fortgesetzt. Erstens identifizieren wir die Kernsicherungseigenschaften von elektronischer und abgelegener Abstimmung, die in einer domänenspezifischen Sprache mit hohem Niveau formal festgelegt und durch Bereitstellen einer Methodik, sowohl theoretisch als auch praktisch, überprüft werden, um solche hochrangigen Spezifikationen in Beton, niedrige Spezifikationen und Typ-Anmerkungen mit der Absicht, diese Eigenschaften in KOA formal zu überprüfen. Zusätzlich wurde bei UCD ein Remote-Voting-Applet basierendes Remote-Abstimmungsapplett entwickelt. Diese Anwendung wird zur möglichen Einarbeitung in KOA überprüft, wobei der gleiche überprüfungsorientierte Ansatz im Rest der KOA-Arbeit verwendet wird.

KOA. Zugehörige Software