FPT_RCV.4 Function recovery
Hierarchical to: No other components.
FPT_RCV.4.1 The TSF shall ensure that [assignment: list of SFs and failure scenarios] have the property that the SF either completes successfully, or for the indicated failure scenarios, recovers to a consistent and secure state.
Dependencies: ADV_SPM.1 Informal TOE security policy model