Olivier Markowitch Dieter Gollmann Steve Kremer On Fairness in Exchange Protocols. 451-464 2002 conf/icisc/2002 ICISC http://link.springer.de/link/service/series/0558/bibs/2587/25870451.htm db/conf/icisc/icisc2002.html#MarkowitchGK02