Table of Contents
Advertisement
Security Target
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
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:
5.2.2.4 Active PSD Connections (Video/Display) (FDP_APC_EXT.1/VI)
FDP_APC_EXT.1.1/VI
FDP_APC_EXT.1.2/VI
FDP_APC_EXT.1.3/VI
FDP_APC_EXT.1.4/VI
Application Note:
5.2.2.5 Connected Displays Supported (FDP_CDS_EXT.1)
FDP_CDS_EXT.1.1
5.2.2.6 Device Filtering (Keyboard/Mouse) (FDP_FIL_EXT.1/KM)
FDP_FIL_EXT.1.1/KM
FDP_FIL_EXT.1.2/KM
FDP_FIL_EXT.1.3/KM
5.2.2.7 Peripheral Device Connection (FDP_PDC_EXT.1)
FDP_PDC_EXT.1.1
computers whether the TOE is powered on or powered off.
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.
The TSF shall route user data only from the interfaces selected by the user.
The TSF shall ensure that no data or electrical signals flow between connected
computers whether the TOE is powered on or powered off.
The TSF shall ensure that no data transits the TOE when the TOE is powered off.
The TSF shall that no data transits the TOE when the TOE is in a failure state.
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.
The TSF shall support [one connected display for TOE models beginning with
CS1182, CS1184, CS1188, multiple connected displays for all other TOE models]
at a time.
The TSF shall have [configurable] device filtering for [keyboard, mouse]
interfaces.
The TSF shall consider all [PSD KM] blacklisted devices as unauthorized devices
for [keyboard, mouse] interfaces in peripheral device connections.
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.
The TSF shall reject connections with unauthorized devices upon TOE power up
and upon connection of a peripheral device to a powered‐on TOE.
21
Version 1.1
2022-03-08
Advertisement
Table of Contents
