Formal Analysis of the Internet Open Trading Protocol
Ouyang, Chun and Billington, Jonathan (2004) Formal Analysis of the Internet Open Trading Protocol. Applying Formal Methods: Testing, Performance, and M/E-Commerce, 3236. pp. 1-15.
Full text not available from this repository.
DOI : 10.1007/b100825
Abstract
The Internet Open Trading Protocol (IOTP) is an electronic commerce (e-commerce) protocol developed by the Internet Engineering Task Force (IETF) to support online trading activities. The core of IOTP is a set of financial transactions and therefore it is vitally important that the protocol operates correctly. An informal specification of IOTP is published as Request For Comments (RFC) 2801. We have applied the formal method of Coloured Petri Nets (CPNs) to obtain a formal specification of IOTP. Based on the IOTP CPN specification, this paper presents a detailed investigation of a set of behavioural properties of IOTP using state space techniques. The analysis reveals deficiencies in the termination of IOTP transactions, demonstrating the benefit of applying formal methods to the specification and verification of e-commerce protocols.
| ID Code: | 10719 |
|---|---|
| Item Type: | Journal Article |
| Additional Information : | For more information, please refer to the publisher's website (see hypertext link) or contact the author. |
| ISBN: | 978-3-540-23169-1 |
| ISSN: | 1611-3349 |
| Divisions: | QUT Faculties and Divisions > Faculty of Science and Technology |
| Copyright Owner : | Copyright 2004 Springer |
| Deposited On: | 14 Nov 2007 |
| Last Modified: | 15 Jan 2009 17:54 |
Export: EndNote | Dublin Core
Repository Staff Only: item control page