The Xenon separation VMM: Secure virtualization infrastructure for military clouds | IEEE Conference Publication | IEEE Xplore