University of Surrey

Test tubes in the lab Research in the ATI Dance Research

A formal framework for modelling coercion resistance and receipt freeness

Heather, James and Schneider, Steve A. (2011) A formal framework for modelling coercion resistance and receipt freeness Technical Report. Department of Computing, University of Surrey.

[img]
Preview
PDF
coercion-csp-tech-report.pdf - Published Version

Download (395Kb)

Abstract

Coercion resistance and receipt freeness are critical properties for any voting system. However, many definitions of these properties have been proposed, with varying levels of formality, and there has been little attempt to tie these definitions together or identify relations between them.

We give here a general framework for specifying different coercion resistance and receipt freeness properties using the process algebra CSP. The framework is general enough to accommodate a wide range of definitions, including dealing with randomization attacks and forced abstention.

We provide models of some simple voting systems, and show how the framework can be used to analyze these models under different definitions of coercion resistance and receipt freeness. Our formalisation highlights the variation between the definitions in the literature.

Item Type: Monograph (Technical Report)
Divisions: Faculty of Engineering and Physical Sciences > Computing Science
Depositing User: Christina Daoutis
Date Deposited: 30 Mar 2011 13:30
Last Modified: 23 Sep 2013 18:40
URI: http://epubs.surrey.ac.uk/id/eprint/2820

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