Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements

Authors:
J. Paul Gibson;Eric Lallet;Jean-Luc Raffy
Affiliations:
-;-;-
Venue:
ICSEA '08 Proceedings of the 2008 The Third International Conference on Software Engineering Advances
Year:
2008

Citing 0
Cited 3

Learning from a distributed denial of service attack against a legally binding electronic election: scenario, operational experience, legal consequences

EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Formal object-oriented development of a voting system test oracle

Innovations in Systems and Software Engineering
Engineering a distributed e-voting system architecture: meeting critical requirements

ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distributed e-voting system architecture can be analysed against quality of service requirements, through simulation of formal models. A concrete example of a novel e-voting system prototype (for use in french elections) is used to justify the utility of our approach. The quality of service that we consider is the total time it takes for a voter to record their vote (including voting time)/ The innovative aspects of the e-voting system that required further research were new requirements for voting anywhere and re-voting; and the potential for undesirable interactions between them.