A formal model of fair exchange protocols. - Sihan Qing; Gaicheng Li (Sci. China Ser. F Inf. Sci., 2005)

Formal analysis and design of multi-party fair exchange protocols. - Sihan Qing; Gaicheng Li (Sci. China Ser. F Inf. Sci., 2006)