Revision as of 02:54, 28 March 2017 edit NateL (talk \| contribs) 1 edit m Updated the dead link for DoD 5200.28-STD ← Previous edit		Revision as of 00:41, 5 April 2017 edit undo 2620:0:1009:11:ddb:c256:cc7c:1eac (talk) →Trusted vs. trustworthy: The sel4 binary is formally verified. Next edit →
Line 87: \| url = http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf }}</ref> This makes seL4 the first operating-system kernel which closes the gap between trust and trustworthiness, assuming the mathematical proof ~~and the compiler are~~is free from error. ===TCB size===

Trusted computing base: Difference between revisions