600.436 High-Assurance
Systems
Fall 01/System Security Realization
17
ADV_LLD –
Low Level Design
¨Definition
¨Aspects
¨Components
–Descriptive
Low Level Design
–Semiformal
Low Level Design
–Formal
Low Level Design