600.436 High-Assurance Systems
Fall 01/Security Function Testing
6
Aspects of the Family
¨Correspondence
¨Completeness