600.436 High-Assurance
Systems
Fall 01/System Security Realization
39
Definition
¨Least
abstract representation of the TSF
¨The
representation that is used without further refinement to create (or
generate) the TSF
–Software
source code
–Hardware
drawings