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