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