JAIST Repository >
School of Information Science >
Conference Papers >
Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/4657

Title: Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol
Authors: Kong, Weiqiang
Ogata, Kazuhiro
Xiang Jianwen
Futatsugi, Kokichi
Issue Date: 2004-09
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Magazine name: The Fourth International Conference on Computer and Information Technology, 2004. CIT '04.
Start page: 1100
End page: 1107
DOI: 10.1109/CIT.2004.1357342
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.
Rights: Copyright (c)2004 IEEE. Reprinted from The Fourth International Conference on Computer and Information Technology, 2004. CIT '04., 14-16 Sept. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of JAIST's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
URI: http://hdl.handle.net/10119/4657
Material Type: publisher
Appears in Collections:b11-1. 会議発表論文・発表資料 (Conference Papers)

Files in This Item:

File Description SizeFormat
6470.pdf4836KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology