ePrints

A Case Study in System-Based Analysis: The ThreeBallot Voting System and Prêt à Voter

Lookup NU author(s): Thomas Tjostheim, Thea Peacock, Professor Peter Ryan

Downloads

• Published version [.pdf]

Abstract

Threat analysis of voting systems is an increasing field of interest. While it is important to verify the system itself, it has been found that certain vulnerabilities only become apparent when taking a “system-based” view, i.e. considering interactions between the various components of a scheme. In this paper we apply a model for system-based analysis [22] to carry out a systematic threat analysis of the ThreeBallot voting system [18] and Prêt à Voter [8].

Publication metadata

Author(s): Tjostheim T, Peacock T, Ryan PYA

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2007

Pages: 24

Print publication date: 01/04/2007

Source Publication Date: April 2007

Report Number: 1012

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1012.pdf

Share