James Heather, Steve Schneider
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
FM, 2012.
@inproceedings{FM-2012-HeatherS, author = "James Heather and Steve Schneider", booktitle = "{Proceedings of the 18th International Symposium of Formal Methods}", doi = "10.1007/978-3-642-32759-9_19", isbn = "978-3-642-32758-2", pages = "217--231", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Formal Framework for Modelling Coercion Resistance and Receipt Freeness}", volume = 7436, year = 2012, }