ADV_RCR.2 Semiformal correspondence demonstration
Dependencies:
No dependencies.
Developer action elements:
ADV_RCR.2.1D The developer shall provide an analysis of correspondence between all adjacent pairs of TSF representations that are provided.
Content and presentation of evidence elements:
ADV_RCR.2.1C For each adjacent pair of provided TSF representations, the analysis shall demonstrate that all relevant security functionality of the more abstract TSF representation is correctly and completely refined in the less abstract TSF representation.
ADV_RCR.2.2C For each adjacent pair of provided TSF representations, where portions of both representations are at least semiformally specified, the demonstration of correspondence between those portions of the representations shall be semiformal.
Evaluator action elements:
ADV_RCR.2.1E The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence.