Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter. Policy enforcement and compliance proofs for Xen virtual machines. In David Gregg, Vikram S. Adve, Brian N. Bershad, editors, Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008. pages 101-110, ACM, 2008. [doi]
Abstract is missing.