Sihan Qing Gaicheng Li Formal analysis and design of multi-party fair exchange protocols. 155-174 2006 49 Science in China Series F: Information Sciences 2 http://dx.doi.org/10.1007/s11432-006-0155-2 db/journals/chinaf/chinaf49.html#QingL06