| Highly Resistant |
|
|
|
|
|
|
|
|
|
|
|
| ¨ | The
developer shall perform and document |
|||||||||
| an
analysis of the TOE deliverables |
||||||||||
| searching
for ways in which a user can |
||||||||||
| violate
the TSP |
||||||||||
| – | The
analysis documentation shall provide a |
|||||||||
| justification
that the analysis completely |
||||||||||
| addresses
the TOE deliverables |
||||||||||
| 600.436
High-Assurance Systems |
| Fall
01/Operational Assurance |
| 32 |