
600.436 High-Assurance
Systems
Fall 01/System Security Realization
Externally
Visible Subsystem Interfaces
¨Identify the subset of the
interfaces to a subsystem that are directly exposed as external
interfaces described in the functional specification