#c #kernel
In 2018, a paper presented at the Asia-Pacific Systems Conference claimed that microkernels were demonstrably safer than monolithic kernels by investigating all published critical CVEs for the Linux kernel at the time. The study concluded that 40% of the issues could not occur at all in a formally verified microkernel, and only 4% of the issues would remain entirely unmitigated in such a system.[31]
If you want to change selection, open document below and click on "Move attachment"
MIcrokernel - WIkipediaward minimizing the complexity of the TCB, as well as excluding from the TCB those modules that are not protection-critical." — Department of Defense Trusted Computer System Evaluation Criteria <span>In 2018, a paper presented at the Asia-Pacific Systems Conference claimed that microkernels were demonstrably safer than monolithic kernels by investigating all published critical CVEs for the Linux kernel at the time. The study concluded that 40% of the issues could not occur at all in a formally verified microkernel, and only 4% of the issues would remain entirely unmitigated in such a system.[31] Third generation More recent work on microkernels has been focusing on formal specifications of the kernel API, and formal proofs of the API's security properties and implementation cor Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details