Sören Bleikertz, Thomas Groß. A Virtualization Assurance Language for Isolation and Deployment. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 33-40, IEEE Computer Society, 2011. [doi]
Abstract is missing.