The jury is in: monolithic OS design is flawed

guest · Aug 19, 2018

The jury is in: monolithic OS design is flawed
Microkernel-based Designs Improve Security
August 16, 2018
http://www.osnews.com/story/30657/The_jury_is_in_monolithic_OS_design_is_flawed

The security benefits of keeping a system's trusted computing base (TCB)small has long been accepted as a truism, as has the use of internal protection boundaries for limiting the damage caused by exploits.

While intuitive, the benefits of the small TCB have not been quantified to date. We address this by a study of critical Linux CVEs, where we examine whether they would be prevented or mitigated by a microkernel-based design.

We find that almost all exploits are at least mitigated to less than critical severity, and 40% completely eliminated by an OS design based on a verified microkernel, such as seL4.
Click to expand...

paper (PDF): http://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf

Stefan Froberg · Aug 20, 2018

Andrew S. Tanenbaum was right.

P.S:

https://www.cs.vu.nl/~ast/intel/

Log in or Sign up

The jury is in: monolithic OS design is flawed

guest Guest

Stefan Froberg Registered Member

Log in or Sign up

The jury is in: monolithic OS design is flawed

guest Guest

Stefan Froberg Registered Member

Useful Searches