An improved formal specification of the Internet Open Trading Pprotocol

Authors:
Chun Ouyang;Jonathan Billington
Affiliations:
University of South Australia, Mawson Lakes, SA, Australia;University of South Australia, Mawson Lakes, SA, Australia
Venue:
Proceedings of the 2004 ACM symposium on Applied computing
Year:
2004

Citing 4
Cited 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Elements of ML programming (ML97 ed.)

Elements of ML programming (ML97 ed.)
A Formal and Executable Specification of the Internet Open Trading Protocol

EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies

A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Internet Open Trading Protocol (IOTP) is an electronic commerce protocol being developed by the Internet Engineering Task Force. The core of IOTP is a set of electronic transactions that reflect common trading activities such as purchasing goods or depositing funds. We use Coloured Petri Nets (CPNs) to specify IOTP. We enhance our previous specifications to include procedures for error handling and arbitrary transaction cancellation. This provides a complete specification of IOTP's authentication and payment related transactions. Modularity and re-use are also improved. The new specification conforms to the narrative description of IOTP and allows us to analyse the protocol throughly.