Cloud Security Verification

Cloud7 Overview of our architecture for tool-supported infrastructure cloud analysisWe pursue the verification of security properties of infrastructure clouds. See talks at EU CSP'12 or ACM CCSW'11.

We consider two domains:

  • Topology of the infrastructure, that is, how VMs, hosts, networks and storages are inter-connected, and
  • Dynamics of re-configuration, that is, how administrators can change the topology and privileges with cloud operations.
  • We compare the actual state of the configuration with a desired state specified in formal language.
Read more: Cloud Security Verification