¨ Definition ¨ Aspects ¨ Components – Informal Correspondence Demonstration – Semiformal Correspondence Demonstration – Formal Correspondence Demonstration
	600.436 High- Assurance Systems
				Fall 01/System Security Realization			47