Security Target
Version 1.1
2022-03-08
22
FDP_PDC_EXT.1.2
The TSF shall reject connections with devices presenting unauthorized interface
protocols upon TOE power up and upon connection of a peripheral device to a
powered‐on TOE.
FDP_PDC_EXT.1.3
The TOE shall have no external interfaces other than those claimed by the TSF.
FDP_PDC_EXT.1.4
The TOE shall not have wireless interfaces.
FDP_PDC_EXT.1.5
The TOE shall provide a visual or auditory indication to the User when a
peripheral is rejected.
5.2.2.8
Peripheral Device Connection (Audio Output) (FDP_PDC_EXT.2/AO)
FDP_PDC_EXT.2.1/AO
The TSF shall allow connections with authorized devices as defined in [
Appendix
E
of the AO Module
] and [
•
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/AO
The TSF shall allow connections with authorized devices presenting authorized
interface protocols as defined in [
Appendix E
of the AO Module
] and [
•
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.9
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 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,