Professional Documents
Culture Documents
CS 526
• Wikipedia
– Trusted computing base
– TCSEC
– Common Criteria,
– Evaluation Assurance Level
Kernel space
• Emphasizes confidentiality
A1 Verified design;
functionally equivalent to B3, but require the
use of formal methods for assurance; trusted
distribution; code, formal top-level specification
(FTLS) correspondence
functionality
• functionality is B3 A1
multi- B2
dimensional B1
C2
• assurance has C1
a linear
progression assurance