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