Dependency Analysis; Table 35: Result Of Dependency Analysis Of Toe Security Functional Requirements - Ricoh Aficio MP 7001 SP Manual

(1) Generate appropriate cryptographic keys.
FCS_CKM.1 generates the cryptographic key for encryption.
(2) Perform cryptographic operation.
FCS_COP.1 encrypts the data to be stored in the HDD, and decrypts the data to be read from the HDD.
(3) Manage the TSF data.
FMT_MTD.1 allows the MFP administrator to manage the cryptographic keys.
(4) Specification of Management Function.
FMT_SMF.1 performs the required Management Functions for Security Function.
(5) Specification of the roles.
FMT_SMR.1 maintains the users who have the privileges.
By satisfying FCS_CKM.1, FCS_COP.1, FMT_MTD.1, FMT_SMF.1 and FMT_SMR.1, which are the
security functional requirements for these countermeasures, O.STORAGE.ENCRYPTED is fulfilled.
6.3.3

Dependency Analysis

Table 35 shows the result of dependency analysis in this ST for the TOE security functional requirements.

Table 35: Result of Dependency Analysis of TOE Security Functional Requirements

TOE Security
Functional
Requirements
FAU_GEN.1
FAU_GEN.2
FAU_STG.1
FAU_STG.4
FAU_SAR.1
FAU_SAR.2
FCS_CKM.1
FCS_COP.1
FDP_ACC.1(a)
FDP_ACC.1(b)
FDP_ACF.1(a)
FDP_ACF.1(b)
Copyright (c) 2011 RICOH COMPANY, LTD. All rights reserved.
Claimed
Dependencies
FPT_STM.1
FAU_GEN.1
FIA_UID.1
FAU_GEN.1
FAU_STG.1
FAU_GEN.1
FAU_SAR.1
[FCS_CKM.2 or
FCS_COP.1]
FCS_CKM.4
[FDP_ITC.1 or
FDP_ITC.2 or
FCS_CKM.1]
FCS_CKM.4
FDP_ACF.1(a)
FDP_ACF.1(b)
FDP_ACC.1(a)
FMT_MSA.3(a)
FDP_ACC.1(b)
Dependencies
Satisfied in ST
FPT_STM.1 None
FAU_GEN.1 None
FIA_UID.1
FAU_GEN.1 None
FAU_STG.1 None
FAU_GEN.1 None
FAU_SAR.1 None
FCS_COP.1 FCS_CKM.4
FCS_CKM.1 FCS_CKM.4
FDP_ACF.1(a) None
FDP_ACF.1(b) None
FDP_ACC.1(a) None
FMT_MSA.3(a)
FDP_ACC.1(b) None
Page 70 of 87
Dependencies
Not Satisfied in
ST