600.436 High-Assurance
Systems
Fall 01/Security Function Testing
13
Definition
¨Depth
Is The Level Of Detail To Which TSF Is Tested
–Keyed
to the ADV representations
¨Objective
Is To Catch Both Subtle Errors That Are Only Visible At Internal
Interfaces And Insertion Of Malicious Code