Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi. Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 1100-1107, IEEE Computer Society, 2004. [doi]
Abstract is missing.