Number of cases campus Koblenz: 2 (warning level Gelb until 30.04.2021) Action plan

ModIWA - Formal Modelling of online voting with methods of computer science and legal science

Project members


2009 - 2011

Project Description

The aim of the project "ModIWa" is the development of a reference model for the evaluation of remote electronic voting systems. Since remote electronic voting has to satisfy legal and technical requirements at the same time, this project is a collaboration with legal experts from the university of Kassel.

Within the project legal requirements for remote electronic voting are identified and transferred into technical requirements by the means of KORA. KORA is a method to gradually transform legal requirements into technical requirements and covers the gap between legal science and computer science.

Based on the identified security requirements a formal IT security model is developed. An IT security model contains the following five elements: the definition of a superior security objective, the specification of secure states, rules for allowed state transitions, a security theorem that proves that a permitted state transition transfers a secure state into a secure state again and a trust model. The specification of secure states represents the superior security objective whereas the rules for allowed state transitions represent the security functions that have to be implemented by the remote electronic voting system. The specification of both together with the security theorem build the formal part of the IT security model. Due to its formal base it can be proven that a specification or implementation of a remote electronic voting system conforms to the specification of secure states and permitted state transitions of the formal model.


Deutsche Forschungsgemeinschaft, DFG.


Prof. Dr. Alexander Roßnagel (Universität Kassel)