600.436 High-Assurance Systems
Fall 01/Operational Assurance
31
Moderately 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 evidence shall show that the search for vulnerabilities
is systematic