Philippe Palanque, Marco Winckler, Regina Bernhaupt, Eugenio Alberdi, Lorenzo Strigini, Peter Ryan

Abstract:

The work described in this paper addresses resilience issues in E-voting. An electronic election involves a large, complex, integrated, socio-technical system, encompassing large numbers of users and machines in different tasks, and having to satisfy multiple and complex requirements. Designing such a socio-technical system requires trade-offs amongst many interdependent factors such as dependability and security, trust, usability and privacy; assessing it requires consideration of complex and disparate evidence and arguments. This paper introduces a case study looking at a particular E-voting system ("Prêt-à-Voter") and describes one of the strands of work under way.

7th European Dependable Computing Conference (EDCC 2008), Kaunas, Lithuania. May 7-9, 2008. (fast abstract).