Revision as of 21:45, 25 October 2020 edit Widefox (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, IP block exemptions, New page reviewers, Pending changes reviewers, Rollbackers 110,641 edits Importing Wikidata short description: "Set of all computer components critical to its security" (Shortdesc helper) ← Previous edit		Revision as of 00:13, 14 January 2021 edit undo Monkbot (talk \| contribs) Bots 3,695,952 edits m Task 18 (cosmetic): eval 2 templates: del empty params (1×); hyphenate params (2×); Tag: AWB Next edit →
Line 13: \| last = Rushby \| title = Design and Verification of Secure Systems \| ~~booktitle~~book-title = 8th ACM Symposium on Operating System Principles \| pages = 12–21 \| year = 1981 Line 83: \| last13 = Winwood \| title = seL4: Formal verification of an OS kernel \| ~~booktitle~~book-title = 22nd ACM Symposium on Operating System Principles \| pages = 207–220 \|date=October 2009 \| ___location = Big Sky, Montana, US ~~\| doi =~~ \| url = http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf }}</ref>

Trusted computing base: Difference between revisions