University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model

Moran, Murat and Heather, James (2013) Automated Analysis of Voting Systems with Dolev-Yao Intruder Model In: 13th International Workshop on Automated Verification of Critical Systems (AVoCS), 11-13 Sept 2013, University of Surrey.

[img]
Preview
Text
Automated_Analysis_of_Voting_Systems_with_Dolev-Yao_Intruder_Model.pdf - Accepted version Manuscript

Download (632kB)
Official URL: http://easst.aulp.co.uk/

Abstract

This paper presents a novel intruder model for automated reasoning about anonymity properties of voting systems. We adapt the lazy spy for this purpose, as it avoids the eagerness of pre-computation of unnecessary deductions, reducing the required state space for the analysis. This powerful intruder behaves as a Dolev-Yao intruder, which not only observes a protocol run, but also interacts with the protocol participants, overhears communication channels, intercepts and spoofs any messages that he has learned or generated from any prior knowledge. We make several important modifications in relation to existing channel types and the deductive system. For the former, we define various channel types for different threat models. For the latter, we construct a large deductive system over the space of messages transmitted in the voting system model. The model represents the first formal treatment of the vVote system, which is planned for use in 2014 in state elections in Victoria, Australia.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences
Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Moran, Muratm.moran@surrey.ac.ukUNSPECIFIED
Heather, Jamesj.heather@surrey.ac.ukUNSPECIFIED
Date : September 2013
Depositing User : Murat Moran
Date Deposited : 01 Oct 2013 16:06
Last Modified : 01 Oct 2013 16:06
URI: http://epubs.surrey.ac.uk/id/eprint/802377

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800