Developer CC Outputs
		¨ TOE Security Target ¨ Functional Specification ¨ Security Policy Model ¨ High-level Security Design ¨ Low-level Security Design ¨ Implementation ¨ Representation Correspondence ¨ Test Report (includes plan and results)
	600.436 High- Assurance Systems
				Fall 01/Introduction				25