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