Formal Analysis of the Internet Open Trading Protocol.

Chun Ouyang Jonathan Billington

Published in: FORTE Workshops (2004)

Keyphrases

formal analysis
payment protocol
ban logic
formal methods
agent model
machine learning
email
multi agent systems
data model
wireless sensor networks
electronic commerce
similarity search
tcp ip