Belkin® Secure DVI KVM Switch, Secure KM Switch and
Secure Windowing KVM EAL 4 augmented ALC_FLR.3 Security Target
6.4 Rationale For IT Security Requirement Dependencies
This section includes a table of all the security functional requirements and their dependencies
and a rationale for any dependencies that are not satisfied.
Functional Component
FDP_ETC.1
FDP_IFC.1a
FDP_IFC.1b
FDP_IFF.1a
FDP_IFF.1b
FDP_ITC.1
FMT_MSA.1
FMT_MSA.3
FPT_PHP.1
FPT_PHP.3
EXT_ROM.1
EXT_VIR.1
EXT_IUC.1
Table 13: SFR Dependencies satisfied
Dependency
FDP_ACC.1 or FDP_IFC.1
FDP_IFF.1a Simple security attributes
FDP_IFF.1b Simple security attributes
FDP_IFC.1a Subset information flow
control
FMT_MSA.3 Static attribute initialization
FDP_IFC.1b Subset information flow
control
FMT_MSA.3 Static attribute initialization
FDP_ACC.1 or FDP_IFC.1
FMT_MSA.3
FDP_ACC.1 or FDP_IFC.1
FMT_SMF.1 Specification of management
functions
FMT_SMR.1 Security roles
FMT_MSA.1 Management of security
attributes
FMT_SMR.1 Security roles
None
None
None
None
None
Rev. 1.01
Satisfied
Yes, FDP_IFC.1(a)
Yes
Yes
Yes
Yes
Yes
Yes
Yes, FDP_IFC.1a
Yes
Yes, FDP_IFC.1a and
FDP_IFC.1b
No
No
Yes
No
None
None
None
None
None
Page | 56