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