Security Target
Version 1.1
2022-03-08
17
•
FDP_SWI_EXT.1
–
PSD Switching
•
FDP_SWI_EXT.2
–
PSD Switching Methods
•
FDP_SWI_EXT.3
–
Tied Switching
•
FDP_TER_EXT.1
–
Session Termination
•
FDP_TER_EXT.2
–
Session Termination of Removed Devices
•
FDP_TER_EXT.3
–
Session Termination Upon Switching
•
FDP_UAI_EXT.1
–
User Authentication Isolation
•
FDP_UDF_EXT.1/AO
–
Unidirectional Data Flow (Audio Output)
•
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,
MOD_UA_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], [MOD_UA_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/UA
–
Active PSD Connections (User Authentication)
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_FIL_EXT.1/UA
–
Device Filtering (User Authentication Devices)
FDP_PDC_EXT.1
–
Peripheral Device Connection
FDP_PDC_EXT.2/AO
–
Peripheral Device Connection (Audio Output)