C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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