Security Target
Version 1.1
2022-03-08
24
•
authorized devices presenting authorized interface protocols as
defined in the PP
‐
Module for Keyboard/Mouse 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.13
Peripheral Device Connection (Video Output) (FDP_PDC_EXT.2/VI)
FDP_PDC_EXT.2.1/VI
The TSF shall allow connections with authorized devices as defined in [
Appendix
E
of the VI 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 User
Authentication Devices,
] upon TOE power up and upon connection of a peripheral device to a powered-
on TOE.
FDP_PDC_EXT.2.2/VI
The TSF shall allow connections with authorized devices presenting authorized
interface protocols as defined in [
Appendix
E
of the VI 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 Keyboard/Mouse Devices,
•
authorized devices presenting authorized interface protocols as
defined in the PP‐Module for User Authentication Devices,
] upon TOE power up and upon connection of a peripheral device to a powered-
on TOE.
5.2.2.14
Authorized Connection Protocols (Keyboard/Mouse) (FDP_PDC_EXT.3/KM)
FDP_PDC_EXT.3.1/KM
The TSF shall have interfaces for the [
USB (keyboard), USB (mouse)
] protocols.
FDP_PDC_EXT.3.2/KM
The TSF shall apply the following rules to the supported protocols: [
the TSF shall
emulate any keyboard or mouse device functions from the TOE to the connected
computer
].
5.2.2.15
Supported Authentication Device (FDP_PDC_EXT.4)
FDP_PDC_EXT.4.1
The TSF shall have an [
external
] user authentication device.
