A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
Attributed to:
Trustworthy Voting Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-32759-9_19
Publication URI: http://dx.doi.org/10.1007/978-3-642-32759-9_19
Type: Book Chapter
Book Title: FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (2012)
Page Reference: 217-231
ISBN: 978-3-642-32758-2