600.436 High-Assurance Systems
Fall 01/System Security Realization
46
Structured TSF Implementation
¨“implementation representation shall be structured into small and comprehensible sections.”