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