| 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 |
|||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Introduction |
| 24 |