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