PNYKA Project : Research and Development of Electronic Voting Systems based on Formal Methods of Risk Assessment and Management focusing on the drawing of Public Confidence

































Electronic voting (eVoting) and more specifically the ability of practising one�s electoral right from a distance, constitutes an important innovation in the scope of electronic government (eGovernment) that is expected to increase citizen�s participation in the electoral processes. However, a basic precondition for its wide application is the electronic voting systems to gain ��public confidence.�� ��

This particular project aims in the determination and application of an integrated framework for the development of eVoting systems which will be based on formal methods of risk assessment and management so as to be faced systematically, by the initial phase of design, all the critical requirements of such a system. Such requirements are user confidence, system security, efficiency, extensibility and the ability of re-using its components in other applications which constitute part of a wider framework of usage of new technologies for the achievement of� electronic governance. This framework �will focus on ��public confidence and coves the whole range of applications of eVoting.

The individual aims of the project are :

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.


Initial Page · Contact · � Copyright 2006 - eGov Sector - Heron Laboratory

This web site was developed under the open source software public license GNU/GPL