A Certification Framework for Cloud Security Properties: The Monitoring Path.

Marina Egea Khaled Mahbub George Spanoudakis Maria Rosa Vieira

Published in: A4Cloud (2014)

Keyphrases

security properties
formal model
information systems
real time
artificial intelligence
formal methods