Family behaviour
This family defines the rules for the prevention of loss of availability of TSF data moving between the TSF and a remote trusted IT product. This data could, for example, be TSF critical data such as passwords, keys, audit data, or TSF executable code.
Component levelling
This family consists of only one component, FPT_ITA.1 Inter-TSF availability within a defined availability metric . This component requires that the TSF ensure, to an identified degree of probability, the availability of TSF data provided to a remote trusted IT product.
Management: FPT_ITA.1
The following actions could be considered for the management functions in FMT:
a) management of the list of types of TSF data that must be available to a remote trusted IT product.
Audit: FPT_ITA.1
The following actions should be auditable if FAU_GEN Security audit data generation is included in the PP / ST:
a) Minimal: the absence of TSF data when required by a TOE.