600.436 High-Assurance
Systems
Fall 01/Protection Profiles
7
Interface – Method of Use
¨A
Description of When and How the Interface is used, comprised of:
–The
TSF invoked through the interface
–Syntax
(signature) for invoking the interface
–Name and meaning of the security-relevant input
parameters
–Name and meaning of security-relevant system-wide options
that act as implicit parameters