Family behaviour
The requirements of this family are needed to ensure the consistency of TSF data when such data is replicated internal to the TOE. Such data may become inconsistent if the internal channel between parts of the TOE becomes inoperative. If the TOE is internally structured as a network and parts of the TOE network connections are broken, this may occur when parts become disabled.
Component levelling
This family consists of only one component, FPT_TRC.1 Internal TSF consistency, which requires that the TSF ensure the consistency of TSF data that is replicated in multiple locations.
Management: for FPT_TRC.1
There are no management activities foreseen.
Audit: for FPT_TRC.1
The following actions should be auditable if FAU_GEN Security audit data generation is included in the PP / ST:
a) Minimal: restoring consistency upon reconnection.
b) Basic: Detected inconsistency between TSF data.