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