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