Safe and Secure Virtualization in a Separation Microkernel
Traditionally, security and safety have different backgrounds and emphasize different priorities. We will use two different standards to show how, at medium-strength levels, requirements for safety and security do indeed diverge whereas they again converge at high levels. We will also explain why we think that a separation microkernel fits both types of requirements at a high level and discuss the state of our current efforts towards these goals.
Please disable any pop-up blockers for proper viewing of this Whitepaper.