600.436 High-Assurance
Systems
Fall 01/Protection Profiles
4
Definition
¨Describe the collection of TOE
Security Functions (TSF) that satisfy the ST SFRs
¨Describe the External Interfaces to
the TSF
–Syntax and behavior of callable
interfaces
–Content of information interfaces (e.g.
audit logs)
¨Levels Reflect Increasing:
–Formalism of the interface
specification notation
–Coverage of the TOE interfaces