An improved formal specification of the Internet Open Trading Pprotocol
Chun Ouyang, Jonathan Billington · 2004
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.