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