Protection Profile Claims - ATEN CS1182DP4 Instructions Manual

Security Target
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 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.
Table 17 identifies the SFRs that are satisfied by the TOE.
Requirement Class
FAU: Security Audit
FDP: User Data
Protection
Table 17: SFR Protection Profile Sources
Requirement Component
FAU_GEN.1: Audit Data Generation
FDP_AFL_EXT.1 – Audio Filtration
FDP_APC_EXT.1 – Active PSD Connections
FDP_CDS_EXT.1 – Connected Displays Supported
FDP_FIL_EXT.1/KM – Device Filtering (Keyboard/Mouse)
FDP_IPC_EXT.1(DP) – Internal Protocol Conversion
FDP_PDC_EXT.1 – Peripheral Device Connection
FDP_PDC_EXT.2/AO – Peripheral Device Connection (Audio
Output)
FDP_PDC_EXT.2/KM – Authorized Devices (Keyboard/Mouse)
FDP_PDC_EXT.2/VI – Peripheral Device Connection (Video Output)
FDP_PDC_EXT.3/KM – Authorized Connection Protocols
(Keyboard/Mouse)
44
Version 1.1
2022-03-08
Source
[PSD]
[MOD_AO_V1.0]
[PSD]
[MOD_VI_V1.0]
[MOD_KM_V1.0]
[MOD_VI_V1.0]
[PSD]
[MOD_AO_V1.0]
[MOD_KM_V1.0]
[MOD_VI_V1.0]
[MOD_KM_V1.0]