600.436 High-Assurance
Systems
Fall 01/System Security Realization
47
ADV_RCR –
Representation Correspondence
¨Definition
¨Aspects
¨Components
–Informal
Correspondence Demonstration
–Semiformal
Correspondence Demonstration
–Formal
Correspondence Demonstration