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