Security Target
Version 1.1
2022-03-08
28
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
].
5.3.1.3
Sub-Protocol Rules (DisplayPort Protocol) (DP Models) FDP_SPR_EXT.1/DP(DP))
FDP_SPR_EXT.1.1/DP(DP)
The TSF shall apply the following rules for the [
DisplayPort
] protocol:
•
block the following
video/display sub‐protocols:
o
[CEC,
o
EDID from computer to display,
o
HDCP,
o
MCCS]
•
allow the following video/display sub‐protocols:
o
[EDID from display to computer,
o
HPD from display to computer,
o
Link Training].
5.4
TOE Security Functional Requirements (H Models)
The following table identifies the [MOD_VI_V1.0] SFRs that are satisfied by H models which includes the
following:
•
GCS1312TAA4,
•
GCS1314TAA4,
•
GCS1322TAA4, and
•
GCS1324TAA4.
Table 10: TOE Security Functional Components (H Models)
Requirement Class
Requirement Component
FDP: User Data Protection
FDP_PDC_EXT.3/VI(H)
–
Authorized Connection Protocols (H Models)
FDP_SPR_EXT.1/HDMI(H)
–
Sub-Protocol Rules (HDMI Protocol) (H Models)
5.4.1
User Data Protection (FDP)
5.4.1.1
Authorized Connection Protocols (Video Output) (H Models)
(FDP_PDC_EXT.3/VI(H))
FDP_PDC_EXT.3.1/VI(H)
The TSF shall have interfaces for the [
HDMI
] protocols.
FDP_PDC_EXT.3.2/VI(H)
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
].