600.436 High-Assurance Systems
Fall 01/System Security Realization
28
ADV_INT – TSF Internals
¨Definition
¨Aspects
¨Components
–Modularity
–Reduction of Complexity
–Minimization of Complexity