Developed by Department of Defense - evaluate the security and assurance an OS provides
ORANGE book in the rainbow series
Bell-LaPadula -
Bell-LaPadula - "strong tranquility" inflexible
mechanism that enforces the consistent security classification of an object.
simulated environment for applications to run -
virtual machine
simulated environment for applications to run -
virtual machine
TPEP
Trusted Computer System Evaluation Program TPEP - Produce list of evaluated products - consumer guide
covert channel
covert channel - using a path that was not intended for communication transmission
system-high
system-high - system mode - when all users have a security clearance or authorization to access the information but not necessarily a need to know for all the information processed on the system.