Title :
Analysis of Offline Fair Exchange Protocols in Strand Spaces
Author :
Li, Xiangdong ; Guo, Qingpu ; Wang, Qingxian
Author_Institution :
Dept. of Network Eng., Inf. Eng. Univ., China
Abstract :
Formal and efficient protocol analysis by pen and paper is highly desired when informal and model-checking methods are not trusted in proving correctness of complicated e-commerce protocols. Based on strand spaces, this paper presents a method for fairness analysis of offline fair exchange protocols. With the new method, this paper formally analyzes an important offline fair exchange protocol -- the ASW certified email protocol, detects two flaws, and makes an improvement. The security analysis shows that such protocols as complicated as fair exchanges can be formally analyzed by pen and paper.
Keywords :
cryptographic protocols; electronic mail; formal verification; telecommunication security; ASW certified email protocol; fairness analysis; formal protocol analysis; model-checking; offline fair exchange protocol; security analysis; strand spaces; Authentication; Body sensor networks; Computational intelligence; Explosions; Finance; Information security; Logic; Protocols; Research and development; Space technology; Offline Fair Exchange Protocol; Strand Space; fairness analysis;
Conference_Titel :
Computational Intelligence and Security, 2008. CIS '08. International Conference on
Conference_Location :
Suzhou
Print_ISBN :
978-0-7695-3508-1
DOI :
10.1109/CIS.2008.167