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