Security Target
Version 1.1
2022-03-08
18
•
FDP_UDF_EXT.1/KM
–
Unidirectional Data Flow (Keyboard/Mouse)
•
FDP_UDF_EXT.1/VI
–
Unidirectional Data Flow (Video Output)
•
FPT_FLS_EXT.1
–
Failure with Preservation of Secure State
•
FPT_NTA_EXT.1
–
No Access to TOE
•
FPT_TST_EXT.1
–
TSF Testing
•
FTA_CIN_EXT.1
–
Continuous Indications
5.2
TOE Security Functional Requirements (PSD, MOD_AO_V1.0, MOD_KM_V1.0)
This section identifies the TOE Security Functional Requirements for the PSD 4.0, and modules
[MOD_AO_V1.0], [MOD_KM_V1.0]. Section 5.3 identifies the requirements for the Video/Display Device
Module.
Tables 7, 9, 10 and 11 identify the SFRs that are satisfied by the TOE.
Table 7: TOE Security Functional Components
Requirement Class
Requirement Component
FAU: Security Audit
FAU_GEN.1
–
Audit Data Generation
FDP: User Data Protection
FDP_AFL_EXT.1
–
Audio Filtration
FDP_APC_EXT.1/AO
–
Active PSD Connections (Audio Output)
FDP_APC_EXT.1/KM
–
Active PSD Connections (Keyboard/Mouse)
FDP_APC_EXT.1/VI
–
Active PSD Connections (Video/Display)
FDP_CDS_EXT.1
–
Connected Displays Supported
FDP_FIL_EXT.1/KM
–
Device Filtering (Keyboard/Mouse)
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)
FDP_PUD_EXT.1
–
Powering Unauthorized Devices
FDP_RIP.1/KM
–
Residual Information Protection (Keyboard Data)
FDP_RIP_EXT.1
–
Residual Information Protection
FDP_RIP_EXT.2
–
Purge of Residual Information
FDP_SWI_EXT.1
–
PSD Switching