Dell C5765DN MFP Color Laser Printer - Manual (Page 45)

Dell C5765dn Security Target
- 41 -
Store Print Deletion of document data
Retrieval of document data
FDP_ACF.1 Security attribute based access control
Hierarchical to: No other components.
Dependencies: FDP_ACC.1 Subset access control
FMT_MSA.3 Static attribute initialization
FDP_ACF.1.1 The TSF shall enforce the [assignment: access control SFP] to objects
based on the following: [assignment: list of subjects and objects
controlled under the indicated SFP, and for each, the SFP-relevant
security attributes, or named groups of SFP-relevant security attributes].
[assignment: access control SFP]
- MFD access control SFP
[assignment: list of subjects and objects controlled under the indicated
SFP, and for each, the SFP-relevant security attributes, or named groups
of SFP-relevant security attributes].
- general user identifier corresponding to the general user process, SA
identifier corresponding to the SA process, Key operator identifier
corresponding to the Key operator process,
- owner identifier corresponding to each Mailbox, owner identifier
corresponding to each Store Print area
FDP_ACF.1.2 The TSF shall enforce the following rules to determine if an operation
among controlled subjects and controlled objects is allowed:
[assignment: rules governing access among controlled subjects and
controlled objects using controlled operations on controlled objects].
[assignment: rules governing access among controlled subjects and
controlled objects using controlled operations on controlled objects].
- the rules, shown in Table 14, for controlling the access among
controlled subjects using the controlled operations on the controlled
objects
Table 14: Rules for Access Control
Rules for Mailbox Operation in the General User Process and SA Process
- Creation of Personal Mailbox
In the general user process and SA process to create Personal Mailbox, the Personal
Mailbox in which general user identifier and SA identifier are set as its owner is