ADV_HLD – High Level Design
		¨ Definition ¨ Aspects ¨ Components – Descriptive HLD – Security enforcing HLD – Semiformal HLD – Semiformal High-level Explanation – Formal HLD
	600.436 High- Assurance Systems
				Fall 01/System Security Realization				4