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.”
	600.436 High- Assurance Systems
				Fall 01/System Security Realization			20