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