Analysis of Offline Fair Exchange Protocols in Strand Spaces. - Xiangdong Li; Qingpu Guo; Qingxian Wang (CIS (1), 2008)