Dell C5765DN MFP Color Laser Printer User Manual
Page 56
Dell C5765dn Security Target
- 52 -
Store Print owner identifier
query, delete
Key operator,
SA , General user
All Store Print owner identifier
query, delete
Key operator, SA
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 [assignment: access control SFP, information
flow control SFP] to provide [selection, choose one of: restrictive,
permissive, [assignment: other property]] default values for security
attributes that are used to enforce the SFP.
[assignment: access control SFP, information flow control SFP]
- MFD access control SFP
[selection, choose one of: restrictive, permissive, [assignment: other
property]]
- [assignment: other property]
- Initialization property in Table 19
Table 19 Initialization property
Object
Security Attributes
Default
mail box
Owner identifier of mail box
Creator’s user identifier and
available user identifier
store print
Owner identifier of store
FMT_MSA.3.2
The TSF shall allow the [assignment: the authorized identified roles] to
specify alternative initial values to override the default values when an
object or information is created.
[assignment: the authorized identified roles]
- none
FMT_MTD.1 Management
of
TSF
data
Hierarchical to:
No other components
Dependencies:
FMT_SMR.1 Security roles
FMT_SMF.1 Specification of Management Functions
FMT_MTD.1.1
The TSF shall restrict the ability to [selection: change default, query,