Verification of a Dynamic Management Protocol for Cloud Applications.

Rim Abid Gwen Salaün Francesco Bongiovanni Noel De Palma

Published in: ATVA (2013)

Keyphrases

cryptographic protocols
formal analysis
information systems
dynamic environments
management system
dynamically created
information management
cloud computing
decision support
model checking
face verification
virtual organization
lightweight
security analysis
tcp ip
contract net protocol
cloud storage