| 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) |
|||||||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Protection Profiles |
| 8 |