600.436
High-Assurance Systems
Fall 01/Introduction
24
Developer Activity Details
¨In CC,
evidence consists primarily of stepwise refinement of requirements:
–User
Requirements into TOE Security Target
–TOE
Security Target into Model
–Model
into Architecture
–Architecture
into Design
–Design
into Implementation