1. The design and implementation of an electronic voting information system that will be capable to support technically from simple processes of opinion polls up to national elections.
2. The application of formal design methods so as to assured the systematic monitoring and control of all the phases of� system development process as well as corresponding interventions, where required.
3. The design of the system� components in such a way that they will be rendered and��re-usable, under the form of a library.�
4. The integration of the required degree of confidence in the final system, at the phase of its design as well as at the duration of its operation. This will be based on an trust architecture�which�considers trust as an attribute that is progressively been built from the physical layer of the system towards� the way that it is presented to the end users.
The final deliverable of the project will be a prototype of a complete system to support� electronic voting which will be developed in two stages.� In the first stage, a basic system that will be able to support opinion polling and election processes of limited range (e.g. in a controlled environment) will be implemented. In the second stage, a set of additional components will be integrated in the basic system composing a prototype of a complete system to support a referendum or an election process� at national scale.
During project implementation will be developed also : (a) documentation of the correctness and security of the system based on the application of formal methods, (b) a trust model of the system based on a layered� architecture as it has been proposed and applied by RA CTI, (c) a theoretical (mathematic) model �for the evaluation of the� system performance in a large scale run and verification of the model through the use of simulation methods, (d) a library of the basic system components (library of reusable components) that can constitute discernible and easily reusable operations in different versions of an eVoting system or in other similar systems.
RA CTI is the prime contractor of the project. EXPERTNET Advanced Applications S.A. is the business partner while the Technical Chamber of Greece / Department of Western Greece participates as a subcontractor of RA CTI.