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

Dell C5765dn Security Target
- 42 -
created.
- Deletion of Personal Mailbox
When the general user identifier and SA identifier of the general user process and SA
process match the owner identifier of Personal Mailbox, deletion of the
corresponding Personal Mailbox is allowed.
- Retrieval and deletion of document data in Personal Mailbox
When the general user identifier and SA identifier of the general user process and SA
process match the owner identifier of Mailbox, retrieval and deletion of the document
data inside are allowed.
- Retrieval and deletion of document data in Shared Mailbox
Retrieval and deletion of document data in Shared Mailbox are allowed.
Rules for Store Print Operation in the General User Process and SA Process
- Deletion and retrieval of document data
When the general user identifier and SA identifier of the general user process and SA
process match the owner identifier of Store Print, retrieval and deletion of the
document data inside are allowed. When the document data are deleted, the
corresponding Store Print area is also deleted.
Mailbox Operation in the Key Operator Process
-In the key operator process, creation and deletion of Shared Mailbox in which the
key operator identifier is set are allowed, and deletion of Personal Mailbox by all
registered users are allowed.
FDP_ACF.1.3 The TSF shall explicitly authorize access of subjects to objects based on
the following additional rules: [assignment: rules, based on security
attributes, that explicitly authorize access of subjects to objects].
[assignment: rules, based on security attributes, that explicitly authorise
access of subjects to objects].
- the rules, shown in Table 15, for explicitly authorizing access of the
subject to an object based on security attributes.
Table 15: Rules for Explicit Access Authorization
Rule for Mailbox Operation in the Key Operator Process
- In the key operator process, deletion of all Mailbox, deletion and retrieval of the
document data inside are allowed.
Rule for Store Print Operation in the Key Operator Process and SA Process
- In the key operator process and SA process, regarding all Store Print, deletion and
retrieval of the document data inside are allowed.
FDP_ACF.1.4 The TSF shall explicitly deny access of subjects to objects based on the
following additional rules [assignment: rules, based on security