600.436
High-Assurance Systems
Fall 01/Introduction
28
Functional Specification
¨Describes
the external interfaces to the TOE
¨Provides
a normative reference for mapping ST functions to TOE interfaces
¨As
such, provides the basis for the creation of a test plan