An Improved Formal Specification of the Internet Open Trading Protocol

摘要

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 thoroughly.