600.436 High-Assurance
Systems
Fall 01/System Security Realization
43
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