"A Formal Framework for Modelling Coercion Resistance and Receipt Freeness."

James Heather, Steve A. Schneider (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics