A Case Study in System-Based Analysis: The ThreeBallot Voting System and Prêt à Voter
Thomas Tjøstheim, Thea Peacock, Peter Y. A. Ryan · 2007
Abstract. Threat analysis of voting systems is a field of increasing interest. While it is important to verify the system itself, it has been found that certain vulnerabilities only become apparent when taking a “systembased” view, i.e. considering interactions between the various components of a scheme. In this paper we apply a model for system-based analysis to carry out a systematic threat analysis of the ThreeBallot voting system and Prêt à Voter. 1