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.”