Formal analysis of an anonymous fair exchange e-commerce protocol

Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Fair exchange and anonymity are important requirements of e-commerce protocols. We have formally analyzed an e-commerce protocol, which is claimed to satisfy the two requirements. The protocol, together with the intruder, has been modeled as an OTS, a kind of transition system. Then the OTS has been written in CafeOBJ, an algebraic specification language. Although most part of the two requirements can be expressed as safety properties, liveness properties are needed to fully express them. We have expressed the safety part of the two requirements in CafeOBJ and partly verified that the OTS satisfies the safety part by writing proof scores in CafeOBJ.

Original languageEnglish
Title of host publicationProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
EditorsD. Wei, H. Wang, Z. Peng, A. Kara, Y. He
Pages1100-1107
Number of pages8
Publication statusPublished - Dec 14 2004
EventProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004) - Wuhan, China
Duration: Sep 14 2004Sep 16 2004

Publication series

NameProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)

Other

OtherProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
CountryChina
CityWuhan
Period9/14/049/16/04

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Formal analysis of an anonymous fair exchange e-commerce protocol'. Together they form a unique fingerprint.

  • Cite this

    Kong, W., Ogata, K., Xiang, J., & Futatsugi, K. (2004). Formal analysis of an anonymous fair exchange e-commerce protocol. In D. Wei, H. Wang, Z. Peng, A. Kara, & Y. He (Eds.), Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004) (pp. 1100-1107). (Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)).