600.436 High-Assurance
Systems
Fall 01/System Security Realization
52
Exclusion of TSP or TSP Model
¨Correspondence demonstrations
related to TSP or TSP Model are explicitly addressed in other
families or components and not repeated in ADV_RCR.