Security Target
Version 1.1
2022-03-08
48
7
Protection Profile Claims
This ST is conformant to the Protection Profile [PSD], including the following optional and selection-based
SFRs: FAU_GEN.1, FDP_RIP_EXT.2, FDP_SWI_EXT.2, FIA_UAU.2, FIA_UID.2, FMT_MOF.1, FMT_SMF.1,
FMT_SMR.1, FPT_PHP.3, FPT_STM.1, and FTA_CIN_EXT.1.
The ST is also conformant to the following PP-Modules
•
PP-Module for Analog Audio Output Devices, Version 1.0, 19 July 2019 [MOD_AO_V1.0].
•
PP-Module for Keyboard/Mouse Devices
, Version 1.0, 19 July 2019 [MOD_KM_V1.0], including the
following optional and selection-based SFRs: FDP_FIL_EXT.1/KM, FDP_RIP.1/KM, and
FDP_SWI_EXT.3
•
PP-Module for User Authentication Devices
, Version 1.0, 19 July 2019 [MOD_UA_V1.0], including the
following selection-based SFRs: FDP_TER_EXT.2 and FDP_TER_EXT.3
•
PP-Module for Video/Display Devices
, Version 1.0, 19 July 2019 [MOD-VI_V1.0], including the
following selection-based SFRs: FDP_CDS_EXT.1, FDP_IPC_EXT.1(DP), FDP_SPR_EXT.1/DP(DP),
FDP_SPR_EXT.1/DVI-I(D), and FDP_SPR_EXT.1/HDMI(H)
As explained in Section 3, the Security Problem Definition of the [PSD] and modules have been included
in this ST by reference.
As explained in Section 4, Security Objectives, the Security Objectives of the [PSD] and modules have
been included by reference in this ST.
The following table identifies all the Security Functional Requirements (SFRs) in this ST, drawn from the
[PSD]. The only operations performed on the SFRs drawn from the [PSD] are assignment and selection
operations.
identifies the SFRs that are satisfied by the TOE.
Table 17: SFR Protection Profile Sources
Requirement Class
Requirement Component
Source
FAU: Security Audit
FAU_GEN.1: Audit Data Generation
[PSD]
FDP: User Data
Protection
FDP_AFL_EXT.1
–
Audio Filtration
[MOD_AO_V1.0]
FDP_APC_EXT.1
–
Active PSD Connections
[PSD]
FDP_CDS_EXT.1
–
Connected Displays Supported
[MOD-VI_V1.0]
FDP_FIL_EXT.1/KM
–
Device Filtering (Keyboard/Mouse)
[MOD_KM_V1.0]
FDP_FIL_EXT.1/UA
–
Device Filtering (User Authentication
Devices)
[MOD_UA_V1.0]
FDP_IPC_EXT.1(DP)
–
Internal Protocol Conversion
[MOD-VI_V1.0]
FDP_PDC_EXT.1
–
Peripheral Device Connection
[PSD]
FDP_PDC_EXT.2/AO
–
Peripheral Device Connection (Audio
Output)
[MOD_AO_V1.0]
FDP_PDC_EXT.2/KM
–
Authorized Devices (Keyboard/Mouse)
[MOD_KM_V1.0]
