Ricoh C400DN Security Target - Page 76

Table 32 : Results of Dependency Analysis of TOE Security Functional Requirements

Page 76 highlights

Page 75 of 91 (1) Use trusted channel for the communication with RC Gate FTP_ITC.1 allows the TOE to establish the communication that protects the data from tampering and disclosure for the communication between the TOE and RC Gate. By satisfying FTP_ITC.1, which is the security functional requirement for this countermeasure, O.RCGATE.COMM.PROTECT is fulfilled. 6.3.3 Dependency Analysis Table 32 shows the result of dependency analysis in this ST for the TOE security functional requirements. Table 32 : Results 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) FDP_RIP.1 FIA_AFL.1 FIA_ATD.1 FIA_SOS.1 FIA_UAU.1(a) FIA_UAU.1(b) 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) FMT_MSA.3(b) None FIA_UAU.1(a) None None FIA_UID.1(a) FIA_UID.1(b) Dependencies Satisfied in ST FPT_STM.1 FAU_GEN.1 FIA_UID.1 FAU_GEN.1 FAU_STG.1 FAU_GEN.1 FAU_SAR.1 FCS_COP.1 Dependencies Not Satisfied in ST None None None None None None FCS_CKM.4 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) FMT_MSA.3(b) None FIA_UAU.1(a) None None FIA_UID.1(a) FIA_UID.1(b) None None None None None None None None None None Copyright (c) 2012 RICOH COMPANY, LTD. All rights reserved.

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81
  • 82
  • 83
  • 84
  • 85
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • 92

Page 75 of
91
Copyright (c) 2012 RICOH COMPANY, LTD. All rights reserved.
(1)
Use trusted channel for the communication with RC Gate
FTP_ITC.1 allows the TOE to establish the communication that protects the data from tampering and
disclosure for the communication between the TOE and RC Gate.
By satisfying FTP_ITC.1, which is the security functional requirement for this countermeasure,
O.RCGATE.COMM.PROTECT is fulfilled.
6.3.3
Dependency Analysis
Table 32 shows the result of dependency analysis in this ST for the TOE security functional requirements.
Table 32 : Results of Dependency Analysis of TOE Security Functional Requirements
TOE Security
Functional
Requirements
Claimed
Dependencies
Dependencies
Satisfied in ST
Dependencies
Not Satisfied in
ST
FAU_GEN.1
FPT_STM.1
FPT_STM.1
None
FAU_GEN.2
FAU_GEN.1
FIA_UID.1
FAU_GEN.1
FIA_UID.1
None
FAU_STG.1
FAU_GEN.1
FAU_GEN.1
None
FAU_STG.4
FAU_STG.1
FAU_STG.1
None
FAU_SAR.1
FAU_GEN.1
FAU_GEN.1
None
FAU_SAR.2
FAU_SAR.1
FAU_SAR.1
None
FCS_CKM.1
[FCS_CKM.2 or
FCS_COP.1]
FCS_CKM.4
FCS_COP.1
FCS_CKM.4
FCS_COP.1
[FDP_ITC.1 or
FDP_ITC.2 or
FCS_CKM.1]
FCS_CKM.4
FCS_CKM.1
FCS_CKM.4
FDP_ACC.1(a)
FDP_ACF.1(a)
FDP_ACF.1(a)
None
FDP_ACC.1(b)
FDP_ACF.1(b)
FDP_ACF.1(b)
None
FDP_ACF.1(a)
FDP_ACC.1(a)
FMT_MSA.3(a)
FDP_ACC.1(a)
FMT_MSA.3(a)
None
FDP_ACF.1(b)
FDP_ACC.1(b)
FMT_MSA.3(b)
FDP_ACC.1(b)
FMT_MSA.3(b)
None
FDP_RIP.1
None
None
None
FIA_AFL.1
FIA_UAU.1(a)
FIA_UAU.1(a)
None
FIA_ATD.1
None
None
None
FIA_SOS.1
None
None
None
FIA_UAU.1(a)
FIA_UID.1(a)
FIA_UID.1(a)
None
FIA_UAU.1(b)
FIA_UID.1(b)
FIA_UID.1(b)
None