Fully Defined External Interfaces
¨
“describe the purpose and method of use of
all external TSF interfaces, providing
complete
details of
all
effects, exceptions,
and error messages, as appropriate”
¨
“include rationale that TSF is completely
represented”
600.436 High-
Assurance Systems
Fall 01/Protection Profiles
13