Aspects of the Family
¨ TSF Modules
¨ Module Interrelationships
¨ Module Interfaces & Behavior
¨ Externally Visible Interfaces
¨ TSP-Enforcing Functions
600.436 High-
Assurance Systems
Fall 01/System Security Realization
19