On verifying the internet open trading protocol

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2738, Issue , 2003, Pages 292-302

  Ouyang, Chun ^a   Billington, Jonathan ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE;

ELECTRONIC TRANSACTION; INTERNAL OPERATIONS; INTERNET OPEN TRADING PROTOCOLS; PAYMENT SYSTEMS; PROTOCOL LANGUAGES; PROTOCOL VERIFICATION; TRANSACTION SERVICE; VERIFICATION RESULTS;

INTERNET PROTOCOLS;

EID: 33646775821     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (18)

1. AT&T. FSM Library. URL: http://www.research.att.com/sw/tools/fsm
2. W.A. Barret and J. D. Couch. Compiler Construction: Theory and Practice. Science Research Associates, 1979.
3. J. Billington. Formal Specification of Protocols: Protocol Engineering. In Encyclopedia of Microcomputers, pages 299–314. Marcel Dekker, New York, 1991.
4. J. Billington, M. Diaz, and G. Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets, volume 1605 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1999.
5. J. Billington, M.C. Wilbur-Ham, and M.Y. Bearman. Automated Protocol Verification. In Protocol Specification, Testing, and Verification, V, pages 59–70. Elsevier Science Publishers, 1986.
6. T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible Markup Language (XML) 1.0 (Second Edition). W3C Recommendation, October 2000.
7. D. Burdett. Internet Open Trading Protocol - IOTP Version 1.0. IETF Trade Working Group, April 2000. URL: http://www.ietf.org/rfc/rfc2801
8. D.E. Eastlake and C. Smith. Internet Open Trading Protocol – HTTP Supplement. IETF Trade Working Group, Sept. 2000. URL: http://www.ietf.org/rfc/rfc2935.
9. InterPay I-OTP. URL: ftp://ftp.pothole.com/pub/ietf-trade/IETF-London/InterPay2001London.ppt.
10. ITU. Information Technology – Open Systems Interconnection – Basic Reference Model: Conventions for the Definition of OSI Services. ITU-T Recommendation X.210 | ISO/IEC 10731, November 1993.
11. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol 1-3. Monographs in Theoretical Computer Science. Springer-Verlag, 1997.
12. Mondex. URL: http://www.mondexusa.com/.
13. C. Ouyang, L.M. Kristensen, and J. Billington. An Improved Architectural Specification of the Internet Open Trading Protocol. In Proceedings of 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 119–137. DAIMI PB-554, University of Aarhus, ISSN 0105-8517, 2001.
14. C. Ouyang, L.M. Kristensen, and J. Billington. Towards Modelling and Analysis of the Internet Open Trading Protocol Transactions using Coloured Petri Nets. In Proc of 11th Annual International Symposium of the International Council on System Engineering, 2001. 8 pages.
15. C. Ouyang, L.M. Kristensen, and J. Billington. A Formal and Executable Specification of the Internet Open Trading Protocol. In Proceedings of 3rd International Conference on Electronic Commerce and Web Technologies, volume 2455 of Lecture Notes in Computer Science, pages 377–387. Springer-Verlag, 2002.
16. C. Ouyang, L.M. Kristensen, and J. Billington. A Formal Service Specification of the Internet Open Trading Protocol. In Proceedings of 23rd International Conference on Application and Theory of Petri Nets, volume 2360 of Lecture Notes in Computer Science, pages 352–373. Springer-Verlag, 2002
17. Hitachi SMILEs. URL: http://www.hitachi.co.jp/Div/nfs/whatsnew/smiles.html
18. Visa and MasterCard. SET Secure Electronic Transaction Specification. Version 1.0. Vol 1-3, May 1997. URL: http://www.setco.org/set specifications.html