Sign in

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

Marina EgeaKhaled MahbubGeorge SpanoudakisMaria Rosa Vieira
Published in: A4Cloud (2014)
Keyphrases
  • security properties
  • formal model
  • information systems
  • real time
  • artificial intelligence
  • formal methods