[IEEE 2013 46th Hawaii International Conference on System Sciences (HICSS) - Wailea, HI, USA (2013.01.7-2013.01.10)] 2013 46th Hawaii International Conference on System Sciences - Building a Hypervisor on a Formally Verifiable Protection Layer
McCoyd, Michael, Krug, Robert Bellarmine, Goel, Deepak, Dahlin, Mike, Young, WilliamYear:
2013
Language:
english
DOI:
10.1109/hicss.2013.121
File:
PDF, 266 KB
english, 2013