Yang Wang 0074 Man Ho Au Willy Susilo Optimistic fair exchange in the enhanced chosen-key model. 57-74 2015 562 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2014.09.033 db/journals/tcs/tcs562.html#WangAS15