In: Proc of the 2004 ACM Symposium on Applied Computing, pages 779-783. March 2004. Nicosia, Cyprus.
Abstract: The Internet Open Trading Protocol (IOTP) is an electronic commerce protocol being developed by the Internet Engineering Task Force. The core of the 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 thoroughly.
Keywords: E-commerce; Internet trading protocols; Formal methods; Coloured Petri Nets; Specification and analysis.