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