Trusted computing base (English Wikipedia)

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

Last modified:

Ref.Un. Ref.Website
Global rank English rank
299th place
159th place
708th place
742nd place
low place
low place
5,383rd place
3,622nd place
low place
low place
low place
low place
8,771st place
6,166th place
1st place
1st place

erights.org (Global: low place; English: low place)

kernel.org (Global: 5,383rd place; English: 3,622nd place)

nist.gov (Global: 708th place; English: 742nd place)

csrc.nist.gov

psu.edu (Global: 299th place; English: 159th place)

citeseer.ist.psu.edu

schneier.com (Global: low place; English: low place)

sigops.org (Global: low place; English: low place)

  • 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 (Global: 8,771st place; English: 6,166th place)

cs.vu.nl

web.archive.org (Global: 1st place; English: 1st place)