Security Target
Version 1.1
2022-03-08
21
5.2.2.3
Active PSD Connections (Keyboard/Mouse) (FDP_APC_EXT.1/KM)
FDP_APC_EXT.1.1/KM
The TSF shall route user data only to the interfaces selected by the user.
FDP_APC_EXT.1.2/KM
The TSF shall ensure that no data or electrical signals flow between connected
computers whether the TOE is powered on or powered off.
FDP_APC_EXT.1.3/KM
The TSF shall ensure that no data transits the TOE when the TOE is powered off.
FDP_APC_EXT.1.4/KM
The TSF shall that no data transits the TOE when the TOE is in a failure state
Application Note:
This SFR is originally defined in the Base-PP but is refined and iterated to apply
to the keyboard/mouse interface per section 5.1.2 of the Keyboard/Mouse PP-
Module.
5.2.2.4
Active PSD Connections (Video/Display) (FDP_APC_EXT.1/VI)
FDP_APC_EXT.1.1/VI
The TSF shall route user data only from the interfaces selected by the user.
FDP_APC_EXT.1.2/VI
The TSF shall ensure that no data or electrical signals flow between connected
computers whether the TOE is powered on or powered off.
FDP_APC_EXT.1.3/VI
The TSF shall ensure that no data transits the TOE when the TOE is powered off.
FDP_APC_EXT.1.4/VI
The TSF shall that no data transits the TOE when the TOE is in a failure state.
Application Note:
This SFR is originally defined in the Base-PP but is refined and iterated to apply
to the video interface per section 5.1.2 of the Video/Display PP-Module.
5.2.2.5
Connected Displays Supported (FDP_CDS_EXT.1)
FDP_CDS_EXT.1.1
The TSF shall support [
one connected display for TOE models beginning with
GCS141, GCS131, GCS121, multiple connected displays for all other TOE models
]
at a time.
5.2.2.6
Device Filtering (Keyboard/Mouse) (FDP_FIL_EXT.1/KM)
FDP_FIL_EXT.1.1/KM
The TSF shall have [
configurable
] device filtering for
[
keyboard, mouse
]
interfaces.
FDP_FIL_EXT.1.2/KM
The TSF shall consider all [
PSD KM
] blacklisted devices as unauthorized devices
for
[
keyboard, mouse
]
interfaces in peripheral device connections.
FDP_FIL_EXT.1.3/KM
The TSF shall consider all [
PSD KM
] whitelisted devices as authorized devices for
[
keyboard, mouse
]
interfaces in peripheral device connections only if they are
not on the [
PSD KM
] blacklist or otherwise unauthorized.
5.2.2.7
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.