Formal Low Level Design
		¨ The presentation of the low-level design shall be formal.
	600.436 High- Assurance Systems
				Fall 01/System Security Realization				27