Separation virtual machine monitors. - John P. McDermott; Bruce E. Montrose; Margery Li; James Kirby; Myong H. Kang (ACSAC, 2012)

The Xenon separation VMM: Secure virtualization infrastructure for military clouds. - John P. McDermott; Bruce E. Montrose; Margery Li; James Kirby; Myong H. Kang (MILCOM, 2012)