Testing: High-Level Design
600.436 High-
Assurance Systems
Fall 01/Security Function Testing
15