600.436 High-
Assurance Systems
Fall 01/Protection Profiles
16
ADV_SPM – Security Policy Modeling
¨
Definition
¨
Aspects
¨
Components
–
Informal TOE Security Policy (TSP) Model
–
Semiformal TSP Model
–
Formal TSP Model
