Sciweavers

Share
ISARCS
2010

Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements

10 years 1 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has illustrated the importance of formal software engineering in the development of complex systems: poorly engineered and poorly documented voting systems have had serious negative consequences for all system stakeholders. It is clear that the formal verification of e-voting system models would help to address problems associated with certification against standards, and would improve the trustworthiness of the final systems. However, it is not yet clear how best to carry out such formal modelling and verification in order to leverage the compositional nature of the problem, and manage the complexity of the task. The choice of modelling language - for expressing the high level design and architecture of an e-voting system - poses many problems due to the complex mix of requirements that such a system is requi...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2010
Where ISARCS
Authors J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
Comments (0)
books