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