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