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