Aspects of the TSF Specification
¨
Purpose
¨
Method of use
¨
Effects
¨
Exceptions
¨
Error messages
600.436 High-
Assurance Systems
Fall 01/Protection Profiles
5