Belkin F1DN102C User Manual page 45

Belkin® Secure DVI KVM Switch, Secure KM Switch and
Secure Windowing KVM EAL 4 augmented ALC_FLR.3 Security Target
Dependencies:
FDP_IFF.1.1a
 PERIPHERAL PORT GROUPS (SUBJECTS);
 KEYBOARD PERIPHERAL DATA, POINTING DEVICE PERIPHERAL DATA, EDID
PERIPHERAL DATA, and USER AUTHENTICATION DEVICE PERIPHERAL DATA
(OBJECTS), and
 PERIPHERAL PORT GROUP IDs (ATTRIBUTES).
FDP_IFF.1.2a
FDP_IFF.1.3a
FDP_IFF.1.4a
FDP_IFF.1.5a
FDP_IFF.1.6a
6.1.1.5 FDP_IFF.1b
Hierarchical to:
Dependencies:
FDP_IFC.1a Subset information flow control
FMT_MSA.3 Static attribute initialization
The TSF shall enforce the Data Separation SFP based on the
following types of subject and information security attributes:
The TSF shall permit an information flow between a controlled subject
and controlled information via a controlled operation if the following
rules hold:
Switching Rule:
KEYBOARD PERIPHERAL DATA and POINTING DEVICE PERIPHERAL DATA
can flow to a PERIPHERAL PORT GROUP with a given ID only if it was
received from a PERIPHERAL PORT GROUP with the same ID.
The TSF shall enforce the No additional information flow control SFP
rules.
The TSF shall provide the following: No additional SFP capabilities.
The TSF shall explicitly authorize an information flow based on the
following rules: No additional rules.
The TSF shall explicitly deny an information flow based on the following
rules: No additional rules.
Simple Security Attributes (Unidirectional Data Flow)
No other components.
FDP_IFC.1b Subset information flow control
FMT_MSA.3 Static attribute initialization
Rev. 1.01
Page | 45