By Topic

Analysis of Offline Fair Exchange Protocols in Strand Spaces

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Xiangdong Li ; Dept. of Network Eng., Inf. Eng. Univ., China ; Qingpu Guo ; Qingxian Wang

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.

Published in:

Computational Intelligence and Security, 2008. CIS '08. International Conference on  (Volume:1 )

Date of Conference:

13-17 Dec. 2008