| ADV_FSP – Functional Specification |
|
|
|
|
|
|
|
|
|
|
|
| ¨ | Definition |
|||||||||
| ¨ | Aspects |
|||||||||
| ¨ | Components |
|||||||||
| – | Informal
Functional Specification |
|||||||||
| – | Fully
Defined External Interfaces |
|||||||||
| – | Semiformal
Functional Specification |
|||||||||
| – | Formal
Functional Specification |
|||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Protection Profiles |
| 3 |