On Verifying the Internet Open Trading Protocol.

Chun Ouyang Jonathan Billington

Published in: EC-Web (2003)

Keyphrases

tcp ip
wide area network
internet protocol
email
electronic commerce
ip address
lightweight
transmission control protocol
metadata
formal analysis
database systems
model checking
authentication protocol
communication protocol
ip addresses
distributed computing environment