ATEN CS1182DP4C Manual page 30

Security Target
5.2.2.13 Peripheral Device Connection (Video Output) (FDP_PDC_EXT.2/VI)
FDP_PDC_EXT.2.1/VI
FDP_PDC_EXT.2.2/VI
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
5.2.2.16 Powering Unauthorized Devices (FDP_PUD_EXT.1)
FDP_PUD_EXT.1.1
5.2.2.17 Powered By Computer (FDP_PWR_EXT.1)
FDP_PWR_EXT.1.1
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.
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.
The TSF shall have an [external] user authentication device.
The TSF shall not provide power to any unauthorized device connected to the
analog audio peripheral interface.
The TSF shall not be powered by a connected computer.
25
Version 1.1
2022-03-08