Aspects of the Family
¨ Implementation Representation
¨ Implementation Structuring
¨ Internal Consistency
600.436 High-
Assurance Systems
Fall 01/System Security Realization
40