600.436 High-
Assurance Systems
Fall 01/Introduction
11
So How Does It Work…
User
Developer
Evaluator
Requirements
(Purpose)
Evidence
(Product)
Validation
(Proof)
