We pursue the verification of security properties of infrastructure clouds. See talks at EU CSP'12 or ACM CCSW'11.
We consider two domains:
Read more: Cloud Security Verification
- 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.