Security Target
6.2.2
Output); FDP_UDF_EXT.1/KM - Unidirectional Data Flow (Keyboard/Mouse); FDP_UAI_EXT.1 User
6.2.3
6.2.4
6.2.5
6.2.6
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/UA - Authorized Devices (User Authentication Devices); FDP_PDC_EXT.2/VI -
Peripheral Device Connection (Video Output); FDP_PDC_EXT.4 - Supported Authentication Device
38
6.2.7
6.2.8
6.2.9
6.2.10
6.2.11
6.2.12
6.3
6.4
Security Management .................................................................................................................. 43
6.4.1
6.4.2
6.4.3
6.5
Protection of the TSF .................................................................................................................... 44
6.5.1
6.5.2
6.5.3
6.5.4
6.5.5
6.6
TOE Access .................................................................................................................................... 47
6.6.1
7
Protection Profile Claims .................................................................................................................... 49
8
Rationale ............................................................................................................................................. 52
8.1
iii
Version 1.1
2022-03-08