@inproceedings{0290104b4f24479c96e5e603f25a843f,
title = "Analysis of a distributed e-voting system architecture against quality of service requirements",
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 waiting 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.",
author = "Gibson, \{J. Paul\} and Eric Lallet and Raffy, \{Jean Luc\}",
year = "2008",
month = dec,
day = "22",
doi = "10.1109/ICSEA.2008.18",
language = "English",
isbn = "9780769533728",
series = "Proceedings - The 3rd International Conference on Software Engineering Advances, ICSEA 2008, Includes ENTISY 2008: International Workshop on Enterprise Information Systems",
pages = "58--64",
booktitle = "Proceedings - The 3rd International Conference on Software Engineering Advances, ICSEA 2008, Includes ENTISY 2008",
note = "3rd International Conference on Software Engineering Advances, ICSEA 2008 ; Conference date: 26-10-2008 Through 31-10-2008",
}