Coercion-resistance as Opacity in Voting Systems
Thea Peacock, Peter Y. A. Ryan · School of Computing Science Technical Report Series · 2006
Coercion-resistance is one of the key requirements of voting systems as it prevents an outsider from trying to persuade the voter to vote in a certain way. Although it usually implies receipt-freeness [15], it is usually formalised as a stronger property [23]. In this paper we analyse two voting schemes for coercion-resistance, namely Pret a Voter [12] and FOO [17], and find that many of the requirements can be expressed in terms of a fairly recent security property, opacity [5]. We then present a new formalisation of coercion-resistance by casting it as opacity. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details PEACOCK, T., RYAN, P. Y. A.. Coercion-resistance as Opacity in Voting Systems [By] T. Peacock, P. Y. A. Ryan. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2006. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-959)