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