On the modelling of document exchange processes in e-commerce protocols

被引：1

作者：

Wang, X ^{[1
]}

Cheung, SC ^{[1
]}

Wei, J ^{[1
]}

机构：

[1] Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China

来源：

SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/APAQS.2001.990044

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents an approach to modelling e-commerce protocols in a combined language of CSP and Z. It is illustrated by a practical application on one of the most important Internet retailing protocol, Internet Open Trading Protocol (IOTP). Compared to related works informal modelling and analysis of e-commerce protocols, our approach concentrates more on realistically capturing the XML document exchange processes of the protocols, which we believe is central to most e-commerce protocols. For this purpose we adopt a combination of CSP and Z formalism with new extensions, which finally proves to be expressive in describing both the data and the behavior aspects of the document exchange process.

引用

页码：387 / 396

页数：10

共 50 条

[1] A CSP and Z combined modeling of document exchange processes in e-commerce protocols
Wang, X
Cheung, SC
Wei, J
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (14) : 875 - 889
[2] Protocols for e-commerce
Aslam, T
[J]. DR DOBBS JOURNAL, 1998, 23 (12): : 52 - +
[3] ANALYZING E-COMMERCE PROTOCOLS
Timofte, Carmen
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2011), 6TH EDITION, 2011, : 488 - 495
[4] ECDSA protocols for E-commerce
Vijayarangan, N
[J]. IETE TECHNICAL REVIEW, 2002, 19 (04): : 199 - 201
[5] Provable Fair Document Exchange Protocol with Transaction Privacy for E-Commerce
Hwang, Ren-Junn
Lai, Chih-Hua
[J]. SYMMETRY-BASEL, 2015, 7 (02): : 464 - 487
[6] Formal analysis of e-commerce protocols
Papa, M
Bremer, O
Hale, J
Shenoi, S
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (10) : 1313 - 1323
[7] Formal analysis of e-commerce protocols
Papa, M
Bremer, O
Hale, J
Shenoi, S
[J]. 5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
[8] Formal analysis of e-commerce protocols
[J]. Papa, M., 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-D)
[9] Research on E-Commerce Secure Payment Protocols
Zhu Jun-xuan
Wu Zhong
[J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON PUBLIC ECONOMICS AND MANAGEMENT (ICPEM 2009), VOL 5: STATISTICS AND METHODOLOGY, 2009, : 430 - 433
[10] Composition of negotiation protocols for e-commerce applications
Diakov, N
Zlatev, Z
Pokraev, S
[J]. 2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 418 - 423

← 1 2 3 4 5 →