600.436 High-Assurance
Systems
Fall 01/Protection Profiles
8
Interface - Effects
¨Describe
the Usual Result of Invoking the Interface
–Name
and meaning of explicit return values
–Describe affect of interface invocation on system security
state
–Describe processing that occurs when function is invoked and
how input parameters and system-wide options affect that processing
–Pre- and post-conditions for invoking the interface
(especially for more formal FSPs)