Trusted computing base (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Trusted computing base" in English language version.

refsWebsite
Global rank English rank
207th place
136th place
355th place
454th place
low place
low place
8,888th place
6,276th place
low place
low place
8,540th place
6,274th place
1st place
1st place

erights.org

nist.gov

csrc.nist.gov

psu.edu

citeseer.ist.psu.edu

schneier.com

sigops.org

  • Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel" (PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana, US. pp. 207–220.

vu.nl

cs.vu.nl

web.archive.org