Policy enforcement and compliance proofs for Xen virtual machines.

Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter

Browse the full VEE paper archive.