600.436 High-Assurance
Systems
Fall 01/System Security Realization
20
TSF Modules
¨Unit
Of Implementation, e.g.,
SW:
source files, packages, modules, objects
HW:
ASICs, VHDL specs, CPUs
¨TSP-Enforcing
Modules
any
module that must be relied upon for correct enforcement of the TSP.
The LLD shall describe the separation of the TOE into
TSP-enforcing and other modules.