600.436 High-Assurance Systems
Fall 01/System Security Realization
31
Modularity
¨Modular Design Reduces:
–Interdependence between elements of TSF
–Risk that change or error in one element will affect another element
¨Modular Design Provides Basis For:
–Determining scope of interaction between TSF elements
–Assuring that unexpected effects don’t occur
–Designing and evaluating test suites