Henning Pagnia Holger Vogt Felix C. Gärtner Uwe G. Wilhelm Solving Fair Exchange with Mobile Agents. 57-72 2000 conf/ma/2000 ASA/MA db/conf/ma/ma2000.html#PagniaVGW00