Yang Wang 0074 Man Ho Au Willy Susilo Perfect Ambiguous Optimistic Fair Exchange. 142-153 2012 ICICS https://doi.org/10.1007/978-3-642-34129-8_13 conf/icics/2012 db/conf/icics/icics2012.html#WangAS12