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