Bernhard Jansen HariGovind V. Ramasamy Matthias Schunter Policy enforcement and compliance proofs for Xen virtual machines. 101-110 2008 VEE http://doi.acm.org/10.1145/1346256.1346271 conf/vee/2008 db/conf/vee/vee2008.html#JansenRS08