600.436 High-Assurance
Systems
Fall 01/Protection Profiles
12
Informal Functional Specification
¨“describe the TSF and its external
interfaces using informal style”
¨“internally
consistent”
¨“describe
the purpose and method of use of all external TSF interfaces, providing details of
effects, exceptions, and error messages, as appropriate”
¨“completely
represent the TSF”