Security Target
Version 1.1
2022-03-08
30
•
CS1144DP4C, and
•
CS1148DP4C.
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
].
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].
