Security Target
Version 1.1
2022-03-08
29
FTA_CIN_EXT.1.3
The TSF shall ensure that while the TOE is powered the current switching status
is reflected by [
multiple indicators which never display conflicting information
].
Application Note:
As indicated in FTA_CIN_EXT.1.2, the TOE has a light panel that shows the selected
computer and whether the CAC port for the computer is enabled. There is no
situation in which the selected computer will be indicated with the light panel and
a different computer will be indicated with the selection button.
5.3
TOE Security Functional Requirements (DP Models)
The following table identifies the [MOD-VI_V1.0] SFRs that are satisfied by DP Models, which include the
following:
•
GCS1412TAA4C,
•
GCS1414TAA4C,
•
GCS1418TAA4C,
•
GCS1422TAA4C,
•
GCS1424TAA4C, and
•
GCS1428TAA4C.
Table 9: TOE Security Functional Components (DP Models)
Requirement Class
Requirement Component
FDP: User Data Protection
FDP_IPC_EXT.1(DP)
–
Internal Protocol Conversion
FDP_PDC_EXT.3/VI(DP)
–
Authorized Connection Protocols (DP Models)
FDP_SPR_EXT.1/DP(DP)
–
Sub-Protocol Rules (DisplayPort Protocol) (DP
Models)
5.3.1
User Data Protection (FDP)
5.3.1.1
Internal Protocol Conversion (FDP_IPC_EXT.1(DP))
FDP_IPC_EXT.1.1(DP)
The TSF shall convert the [
DisplayPort
] protocol at the [
DisplayPort
computer
video interface
] into the [
HDMI
] protocol within the TOE.
FDP_IPC_EXT.1.2(DP)
The TSF shall output the [
HDMI
] protocol from inside the TOE to [
peripheral
display interface(s)
] as [
DisplayPort protocol
].
5.3.1.2
Authorized Connection Protocols (Video Output) (DP Models)
(FDP_PDC_EXT.3/VI(DP))
FDP_PDC_EXT.3.1/VI(DP)
The TSF shall have interfaces for the [
DisplayPort
] protocols.
FDP_PDC_EXT.3.2/VI(DP)
The TSF shall apply the following rules to the supported protocols: [the
TSF shall read the connected display EDID information once during
power‐on or reboot
].
