Security Target
Version 1.1
2022-03-08
23
5.2.2.11
Authorized Devices (Keyboard/Mouse) (FDP_PDC_EXT.2/KM)
FDP_PDC_EXT.2.1/KM
The TSF shall allow connections with authorized devices and functions as
defined in [
Appendix E
of the KM Module
] and [
•
authorized devices as defined in the PP
‐
Module for Audio Output
Devices,
•
authorized devices as defined in the PP
‐
Module for User
Authentication Devices,
•
authorized devices as defined in the PP
‐
Module for Video/Display
Devices,
] upon TOE power up and upon connection of a peripheral device to a powered-
on TOE.
FDP_PDC_EXT.2.2/KM
The TSF shall allow connections with authorized devices presenting authorized
interface protocols as defined in [
Appendix E
of the KM Module
] and [
•
authorized devices presenting authorized interface protocols as
defined in the PP
‐
Module for Audio Output Devices,
•
authorized devices presenting authorized interface protocols as
defined in the PP
‐
Module for User Authentication Devices,
•
authorized devices presenting authorized interface protocols as
defined in the PP
‐
Module for Video/Display Devices,
] upon TOE power up and upon connection of a peripheral device to a powered-
on TOE.
5.2.2.12
Authorized Devices (User Authentication Devices) (FDP_PDC_EXT.2/UA)
FDP_PDC_EXT.2.1/UA
The TSF shall allow connections with authorized devices as defined in [
Appendix
E
of the UA Module
] and [
•
authorized devices as defined in the PP
‐
Module for Audio Output
Devices,
•
authorized devices and functions as defined in the PP
‐
Module for
Keyboard/Mouse Devices,
•
authorized devices as defined in the PP
‐
Module for Video/Display
Devices,
] upon TOE power up and upon connection of a peripheral device to a powered-
on TOE.
FDP_PDC_EXT.2.2/UA
The TSF shall allow connections with authorized devices presenting authorized
interface protocols as defined in [
Appendix E
of the UA Module
] and [
•
authorized devices presenting authorized interface protocols as
defined in the PP
‐
Module for Audio Output Devices,
