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