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
	600.436 High- Assurance Systems
				Fall 01/System Security Realization			31