Joachim Biskup Christian Gogolin Jens Seiler Torben Weibert Requirements and Protocols for Inference-Proof Interactions in Information Systems. 285-302 2009 ESORICS http://dx.doi.org/10.1007/978-3-642-04444-1_18 conf/esorics/2009 db/conf/esorics/esorics2009.html#BiskupGSW09