600.436 High-Assurance Systems
Fall 01/Operational Assurance
32
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