• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal Analysis of the Internet Open Trading Protocol.

Chun OuyangJonathan 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