featured
Establish a testbed for automated security analysis and verification of VMWare- and Xen-based virtualized infrastructures