Login / Signup

Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service.

Wei HuDongyao Ji
Published in: EWDC (2013)
Keyphrases
  • formal analysis
  • ban logic
  • web services
  • formal methods
  • payment protocol
  • service providers
  • agent model
  • cloud computing
  • service oriented
  • case study
  • multi agent systems