600.436 High-Assurance Systems
Fall 01/System Security Realization
1
The System Security Realization
¨Role of the System Security Realization
¨Aspects of the System Security Realization
–ADV_HLD: The High Level (Security) Design
–ADV_LLD: The Low Level (Security) Design
–ADV_INT: TSF Internals
–ADV_IMP: The Implementation Representation
–ADV_RCR: Representation Correspondence
¨Techniques for Developing the System Security Realization