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