600.436
High-Assurance Systems
Fall 01/Introduction
25
Developer CC Outputs
¨TOE Security Target
¨Functional Specification
¨Security Policy Model
¨High-level Security Design
¨Low-level Security Design
¨Implementation
¨Representation Correspondence
¨Test Report (includes plan and
results)