Formal Functional Specification
600.436 High-
Assurance Systems
Fall 01/Protection Profiles
15