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

Dell C5765dn Security Target
- 66 -
Functional Requirement Dependencies of Functional Requirements
Requirement and its name
Requirement that
is dependent on
Requirement that is not dependent on
and its rationale
FCS_CKM.1
Cryptographic key
generation
(The stored data in the
internal HDD)
FCS_COP.1
FCS_CKM.4:
A cryptographic key is generated when MFD is
booted, and stored on DRAM (volatile memory).
A cryptographic key does not need to be
destructed because this key is lost when the MFD
main unit is powered off.
Therefore, the dependency on FCS_CKM.4 does
not need to be satisfied.
FCS_COP.1
Cryptographic operation
(The stored data in the
internal HDD)
FCS_CKM.1
FCS_CKM.4:
A cryptographic key is generated when MFD is
booted, and stored on DRAM (volatile memory).
A cryptographic key does not need to be
destructed because this key is lost when the MFD
main unit is powered off.
FDP_ACC.1
Subset access control
FDP_ACF.1 -
FDP_ACF.1
Security attribute based
access control
FDP_ACC.1
FMT_MSA.3
-
FDP_IFC.1
Subset information flow
control
(Fax information flow)
FDP_IFF.1 -
FDP_IFF.1
Simple security attributes
(Fax information flow)
FDP_IFC.1
FMT_MSA.3:
A static attribute initialization is not required
because Fax Information Flow has no security
attribute.
FDP_RIP.1
Subset residual
information protection
None
FIA_AFL.1(1)
Authentication failure
handling
(Key operator)
FIA_UAU.1
FIA_AFL.1(2)
Authentication failure
handling
(SA, local authentication)
FIA_UAU.1