FPT_RPL.1 Replay detection
Hierarchical to: No other components.
FPT_RPL.1.1 The TSF shall detect replay for the following entities: [assignment: list of identified entities].
FPT_RPL.1.2 The TSF shall perform [assignment: list of specific actions] when replay is detected.
Dependencies: No dependencies.