600.436 High-
Assurance Systems
Fall 01/System Security Realization
23
Externally Visible Interfaces
¨
Module Interfaces That Are Exposed As
Functional Specification Interfaces
