Security Target
Version 1.1
2022-03-08
21
FDP_APC_EXT.1.2/UA
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/UA
The TSF shall ensure that no data transits the TOE when the TOE is powered off.
FDP_APC_EXT.1.4/UA
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 user authentication interface per section 5.1.2 of the User Authentication
PP-Module.
5.2.2.5
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.6
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.7
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.8
Device Filtering (User Authentication Devices) (FDP_FIL_EXT.1/UA)
FDP_FIL_EXT.1.1/UA
The TSF shall have [
configurable
] device filtering for [user authentication
device] interfaces.
FDP_FIL_EXT.1.2/UA
The TSF shall consider all [
PSD UA
] blacklisted devices as unauthorized devices
for [user authentication device] interfaces in peripheral device connections.
