Gaicheng Li

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Sihan Qing, Gaicheng Li
Formal analysis and design of multi-party fair exchange protocols. Sci. China Ser. F Inf. Sci. 49 (2) (2006)
Sihan Qing, Gaicheng Li
A formal model of fair exchange protocols. Sci. China Ser. F Inf. Sci. 48 (4) (2005)