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