Externally Visible Interfaces
		¨ Module Interfaces That Are Exposed As Functional Specification Interfaces
	600.436 High- Assurance Systems
				Fall 01/System Security Realization				23