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