This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 International Conference on Computational Intelligence and Security
Analysis of Offline Fair Exchange Protocols in Strand Spaces
December 13-December 17
ISBN: 978-0-7695-3508-1
ASCII Text
x 
 
Xiangdong Li, Qingpu Guo, Qingxian Wang, "Analysis of Offline Fair Exchange Protocols in Strand Spaces," 2012 Eighth International Conference on Computational Intelligence and Security, vol. 1, pp. 272-276, 2008 International Conference on Computational Intelligence and Security, 2008.
 
 
BibTex
x
 
@article{ 10.1109/CIS.2008.167,
author = {Xiangdong Li and Qingpu Guo and Qingxian Wang},
title = {Analysis of Offline Fair Exchange Protocols in Strand Spaces},
journal ={2012 Eighth International Conference on Computational Intelligence and Security},
volume = {1},
year = {2008},
isbn = {978-0-7695-3508-1},
pages = {272-276},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIS.2008.167},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2012 Eighth International Conference on Computational Intelligence and Security
TI - Analysis of Offline Fair Exchange Protocols in Strand Spaces
SN - 978-0-7695-3508-1
SP272
EP276
A1 - Xiangdong Li,
A1 - Qingpu Guo,
A1 - Qingxian Wang,
PY - 2008
KW - Offline Fair Exchange Protocol
KW - Strand Space
KW - fairness analysis
VL - 1
JA - 2012 Eighth International Conference on Computational Intelligence and Security
ER -
 
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.
Index Terms:
Offline Fair Exchange Protocol, Strand Space, fairness analysis
Citation:
Xiangdong Li, Qingpu Guo, Qingxian Wang, "Analysis of Offline Fair Exchange Protocols in Strand Spaces," cis, vol. 1, pp.272-276, 2008 International Conference on Computational Intelligence and Security, 2008
Usage of this product signifies your acceptance of the Terms of Use.