Belkin®
Secure
DVI
KVM
Switch,
Secure
KM
Switch
and
Secure
Windowing
KVM
EAL
4
augmented
ALC_FLR.3
Security
Target
Rev.
1.01
Page
|
56
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
Dependency
Satisfied
FDP_ETC.1
FDP_ACC.1
or
FDP_IFC.1
Yes,
FDP_IFC.1(a)
FDP_IFC.1a
FDP_IFF.1a
Simple
security
attributes
Yes
FDP_IFC.1b
FDP_IFF.1b
Simple
security
attributes
Yes
FDP_IFC.1a
Subset
information
flow
control
Yes
FDP_IFF.1a
FMT_MSA.3
Static
attribute
initialization
Yes
FDP_IFC.1b
Subset
information
flow
control
Yes
FDP_IFF.1b
FMT_MSA.3
Static
attribute
initialization
Yes
FDP_ACC.1
or
FDP_IFC.1
Yes,
FDP_IFC.1a
FDP_ITC.1
FMT_MSA.3
Yes
FDP_ACC.1
or
FDP_IFC.1
Yes,
FDP_IFC.1a
and
FDP_IFC.1b
FMT_SMF.1
Specification
of
management
functions
No
FMT_MSA.1
FMT_SMR.1
Security
roles
No
FMT_MSA.1
Management
of
security
attributes
Yes
FMT_MSA.3
FMT_SMR.1
Security
roles
No
FPT_PHP.1
None
None
FPT_PHP.3
None
None
EXT_ROM.1
None
None
EXT_VIR.1
None
None
EXT_IUC.1
None
None
Table
13:
SFR
Dependencies
satisfied