Belkin®
Secure
DVI
KVM
Switch,
Secure
KM
Switch
and
Secure
Windowing
KVM
EAL
4
augmented
ALC_FLR.3
Security
Target
Rev.
1.01
Page
|
48
6.1.2.2
FMT_MSA.3
Static
attribute
initialization
Hierarchical
to:
No
other
components.
Dependencies:
FMT_MSA.1
Management
of
Security
Attributes
FMT_SMR.1
Security
roles
FMT_MSA.3.1
The
TSF
shall
enforce
the
Data
Separation
SFP
to
provide
restrictive
default
values
for
security
attributes
that
are
used
to
enforce
the
SFP.
Application
Note:
On
start
‐
up,
one
and
only
one
attached
COMPUTER
shall
be
selected.
FMT_MSA.3.2
The
TSF
shall
allow
the
None
to
specify
alternative
initial
values
to
override
the
default
values
when
an
object
or
information
is
created.
6.1.3
Class
FPT:
Protection
of
the
TSF
6.1.3.1
FPT_PHP.1
Passive
detection
of
physical
attack
Hierarchical
to:
No
other
components.
Dependencies:
None
FPT_PHP.1.1
The
TSF
shall
provide
unambiguous
detection
of
physical
tampering
that
might
compromise
the
TSF.
FPT_PHP.1.2
The
TSF
shall
provide
the
capability
to
determine
whether
physical
tampering
with
the
TSF's
devices
or
TSF's
elements
has
occurred.
6.1.3.2
FPT_PHP.3
Resistance
to
physical
attack
Hierarchical
to:
No
other
components.
Dependencies:
FPT_PHP.1
FPT_PHP.3.1
FPT_PHP.3.1
The
TSF
shall
resist
physical
interference,
such
as
attempts
to
open
the
TOE
enclosure
to
the
TOE
exterior
by
responding
automatically
such
that
the
SFRs
are
always
enforced.
