ADV_IMP – Implementation Representation
¨ Definition
¨ Aspects
¨ Components
Subset of TSF Implementation
TSF Implementation
Structured TSF Implementation
600.436 High-
Assurance Systems
Fall 01/System Security Realization
38