Internal Consistency
		¨ All portions of the Implementation Representation – Conform to the rules of the representation format (programming language or drafting guidelines) – Match with each other • Function calls match function definition • Circuit traces have source and sink • Cross-checked by successful compilation or fabrication
	600.436 High- Assurance Systems
				Fall 01/System Security Realization				43