Yuqing Zhang Zhiling Wang Bo Yang The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols. 137-142 2005 conf/cis/2005-2 CIS (2) http://dx.doi.org/10.1007/11596981_20 db/conf/cis/cis2005-2.html#ZhangWY05