Security Target
Version 1.1
2022-03-08
23
FDP_FIL_EXT.1.3/UA
The TSF shall consider all [
PSD UA
] whitelisted devices as authorized devices for
[user authentication device] interfaces in peripheral device connections only if
they are not on the [
PSD UA
] blacklist or otherwise unauthorized.
5.2.2.9
Peripheral Device Connection (FDP_PDC_EXT.1)
FDP_PDC_EXT.1.1
The TSF shall reject connections with unauthorized devices upon TOE power up
and upon connection of a peripheral device to a
powered‐on TOE.
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.10
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 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/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 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.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 [
