Samsung Multifunction MultiXpress X4220, X4250, X4300, X401, K4250, K4300, K4350, K401 Series
53
Copyright
2014 SAMSUNG ELECTRONICS Co., Ltd., All rights reserved
FMT_MSA.3 Static attribute initialization
FDP_ACF.1.1(1)
The TSF shall enforce the
Common Access Control SFP in Table 32
to objects
based on the following:
the list of users as subjects and objects controlled under the Common
Access Control SFP in Table 32, and for each, the indicated security attributes in Table 32
.
FDP_ACF.1.2(1)
The TSF shall enforce the following rules to determine if an operation among
controlled subjects and controlled objects is allowed:
rules specified in the Common Access
Control SFP in Table 32 governing access among controlled users as subjects and controlled
objects using controlled operations on controlled objects
.
FDP_ACF.1.3(1)
The TSF shall explicitly authorize access of subjects to objects based on the
following additional rules: [none].
FDP_ACF.1.4(1)
The TSF shall explicitly deny access of subjects to objects based on the following
additional rules: [none].
Table 32: Common Access Control SFP
Access
Control
SFP
Object
Attribute
(Object)
Operation(s)
Subject
Security
Attribute
Access control rule
Common
Access
Control
D.DOC
+PRT
+SCN
+FAXIN
+FAXOUT
Delete
U.NORMAL User ID
Denied,
except
for
his/her own documents
D.FUNC
+PRT
+SCN
+FAXIN
+FAXOUT
Modify,
Delete
U.NORMAL User ID
Denied,
except
for
his/her own function
data
6.1.3.5
FDP_ACF.1(2) Security attribute based access control
Hierarchical to: No other components.
Dependencies: FDP_ACC.1 Subset access control
FMT_MSA.3 Static attribute initialisation
FDP_ACF.1.1(2)
The TSF shall enforce the
TOE Function Access Control SFP in Table 33
to
objects based on the following:
user and
[the list of TOE functions and the security attribute(s) used
to determine the TOE Function Access Control SFP in Table 33].