2 : 2005 8 2.3 CCMB-2005-08-002
IPA まえがき はじめに本書は IT セキュリティ評価及び認証制度 において 認証機関が公開する評価基準 の規格として公開している Common Criteria( 以下 CC という ) を翻訳した文書である 注 :1. 原文の CC で記載してある段落番号については 本書では段落番号が付与されていない このため 段落番号については CC の原文を参照のこと CC v2.3 では規格上の改定以外に 編集上 書式上 及びレイアウト上の体裁の変更がされているが 規格を改定する変更でないため 本書では反映していないものがある 例えば : the components of the FAU_GEN Security audit data generation family の表記を the components of the Security audit data generation (FAU_GEN) family に変更 Dependencies: の表記位置を Hierarchical to: の後に移動 2. 本翻訳文書は 補足 -0512 の解釈を反映済みである 原文 Common Criteria for Information Technology Security Evaluation Part1: Introduction and general model Version 2.3 August 2005 CCMB-2005-08-001 Part2: Security functional requirements Version 2.3 August 2005 CCMB-2005-08-002 Part3: Security assurance requirements Version 2.3 August 2005 CCMB-2005-08-003 i
(CC 2.3) ISO/IEC 15408:2005 CC2.1 CC 2.3: - 1: - 2: - 3: 2.313(CC 2.3 ) ISO/IEC 15408 /CC 2.3ISO/IEC CC 2.3 /: The Defence Signals Directorate and the Government Communications Security Bureau respectively; : Communications Security Establishment; : Direction Central de la Sécurité des Systèmes d Information; : Bundesamt für Sicherheit in der Informationstechnik; : Information Technology Promotion Agency : Netherlands National Communications Security Agency; : Ministerio de Administraciones Públicas and Centro Criptológico Nacional; : Communications-Electronics Security Group; : The National Security Agency and the National Institute of Standards and Technology. ii
1... 2... 2 3... 3 4... 4 5... 5 5.1 2...5 6... 6 7... 13 7.1...13 7.1.1...13 7.1.2...14 7.1.3...15 7.2...18 7.2.1...19 8 FAU:... 20 8.1 (FAU_ARP)...21 8.2 (FAU_GEN)...22 8.3 (FAU_SAA)...24 8.4 (FAU_SAR)...28 8.5 (FAU_SEL)...30 8.6 (FAU_STG)...31 9 FCO:... 34 9.1 (FCO_NRO)...35 9.2 (FCO_NRR)...37 10 FCS:... 39 10.1 (FCS_CKM)...40 10.2 (FCS_COP)...43 11 FDP:... 45 11.1 (FDP_ACC)...48 11.2 (FDP_ACF)...50 iii
11.3 (FDP_DAU)...52 11.4 TSF (FDP_ETC)...54 11.5 (FDP_IFC)...56 11.6 (FDP_IFF)...58 11.7 TSF (FDP_ITC)...63 11.8 TOE (FDP_ITT)...66 11.9 (FDP_RIP)...69 11.10 (FDP_ROL)...71 11.11 (FDP_SDI)...73 11.12 TSF (FDP_UCT)...75 11.13 TSF(FDP_UIT)...76 12 FIA:... 79 12.1 (FIA_AFL)...81 12.2 (FIA_ATD)...82 12.3 (FIA_SOS)...83 12.4 (FIA_UAU)...85 12.5 (FIA_UID)...90 12.6 (FIA_USB)...92 13 FMT:... 94 13.1 TSF (FMT_MOF)...96 13.2 (FMT_MSA)...97 13.3 TSF(FMT_MTD)...100 13.4 (FMT_REV)...103 13.5 (FMT_SAE)...104 13.6 FMT_SMF...105 13.7 (FMT_SMR)...106 14 FPR:... 109 14.1 (FPR_ANO)...110 14.2 (FPR_PSE)...112 14.3 (FPR_UNL)...115 14.4 (FPR_UNO)...116 15 FPT: TSF... 119 15.1 (FPT_AMT)...122 15.2 (FPT_FLS)...123 15.3 TSF (FPT_ITA)...124 15.4 TSF (FPT_ITC)...125 15.5 TSF (FPT_ITI)...126 15.6 TOE TSF (FPT_ITT)...128 iv
15.7 TSF (FPT_PHP)...131 15.8 (FPT_RCV)...134 15.9 (FPT_RPL)...137 15.10 (FPT_RVM)...138 15.11 (FPT_SEP)...140 15.12 (FPT_SSP)...143 15.13 (FPT_STM)...145 15.14 TSF TSF(FPT_TDC)...146 15.15 TOE TSF(FPT_TRC)...147 15.16 TSF (FPT_TST)...148 16 FRU:... 150 16.1 (FRU_FLT)...151 16.2 (FRU_PRS)...153 16.3 (FRU_RSA)...155 17 FTA: TOE... 157 17.1 (FTA_LSA)...158 17.2 (FTA_MCS)...159 17.3 (FTA_SSL)...161 17.4 TOE (FTA_TAB)...164 17.5 TOE(FTA_TAH)...165 17.6 TOE(FTA_TSE)...166 18 FTP: /... 167 18.1 TSF(FTP_ITC)...168 18.2 (FTP_TRP)...170 A... 172 A.1...172 A.1.1...172 A.1.2...173 A.1.3...174 A.2...176 B... 183 C (FAU)... 184 C.1...184 C.2 (FAU_ARP)...186 C.3 (FAU_GEN)...187 C.4 (FAU_SAA)...190 v
C.5 (FAU_SAR)...196 C.6 (FAU_SEL)...198 C.7 (FAU_STG)...199 D (FCO)... 202 D.1 (FCO_NRO)...203 D.2 (FCO_NRR)...206 E (FCS)... 209 E.1 (FCS_CKM)...211 E.2 (FCS_COP)...214 F (FDP)... 216 F.1 (FDP_ACC)...221 F.2 (FDP_ACF)...223 F.3 (FDP_DAU)...226 F.4 TSF (FDP_ETC)...228 F.5 (FDP_IFC)...230 F.6 (FDP_IFF)...233 F.7 TSF (FDP_ITC)...239 F.8 TOE (FDP_ITT)...242 F.9 (FDP_RIP)...246 F.10 (FDP_ROL)...248 F.11 (FDP_SDI)...250 F.12 TSF (FDP_UCT)...252 F.13 TSF(FDP_UIT)...253 G (FIA)... 255 G.1 (FIA_AFL)...257 G.2 (FIA_ATD)...259 G.3 (FIA_SOS)...260 G.4 (FIA_UAU)...262 G.5 (FIA_UID)...266 G.6 (FIA_USB)...267 H (FMT)... 268 H.1 TSF (FMT_MOF)...270 H.2 (FMT_MSA)...272 H.3 TSF(FMT_MTD)...275 H.4 (FMT_REV)...277 H.5 (FMT_SAE)...278 H.6 FMT_SMF...279 vi
H.7 (FMT_SMR)...280 I (FPR)... 282 I.1 (FPR_ANO)...284 I.2 (FPR_PSE)...287 I.3 (FPR_UNL)...292 I.4 (FPR_UNO)...294 J TSF (FPT)... 299 J.1 (FPT_AMT)...303 J.2 (FPT_FLS)...305 J.3 TSF (FPT_ITA)...306 J.4 TSF (FPT_ITC)...307 J.5 TSF (FPT_ITI)...308 J.6 TOE TSF (FPT_ITT)...310 J.7 TSF (FPT_PHP)...312 J.8 (FPT_RCV)...315 J.9 (FPT_RPL)...320 J.10 (FPT_RVM)...321 J.11 (FPT_SEP)...323 J.12 (FPT_SSP)...326 J.13 (FPT_STM)...327 J.14 TSF TSF(FPT_TDC)...328 J.15 TOE TSF(FPT_TRC)...329 J.16 TSF (FPT_TST)...330 K (FRU)... 332 K.1 (FRU_FLT)...333 K.2 (FRU_PRS)...335 K.3 (FRU_RSA)...337 L TOE(FTA)... 340 L.1 (FTA_LSA)...341 L.2 (FTA_MCS)...343 L.3 (FTA_SSL)...344 L.4 TOE (FTA_TAB)...346 L.5 TOE(FTA_TAH)...347 L.6 TOE(FTA_TSE)...348 M /(FTP)... 350 M.1 TSF(FTP_ITC)...351 M.2 (FTP_TRP)...352 vii
1 - ( TOE)...6 2 - TOE...7 3 - TSF...11 4 -...12 5 -...13 6 -...14 7 -...16 8 -...18 9 -...20 10 -...34 11 -...39 12 -...46 12 - ()...47 13 -...80 14 -...95 15 -...109 16 - TSF...120 16 - TSF()...121 17 -...150 18 - TOE...157 19 - /...167 20 -...172 21 -...173 22 -...174 23 -...185 24 -...202 25 -...210 26 -...219 26 - ()...220 27 -...256 28 -...269 29 -...282 30 - TSF...300 30 - TSF()...301 31 -...332 32 - TOE...340 33 - /...350 viii
1 - FAU:...176 2 - FCO:...177 3 - FCS:...177 4 - FDP:...178 5 - FIA:...179 6 - FMT:...179 7 - FPR:...180 8 - FPT:TSF...181 9 - FRU:...182 10 - FTA:TOE...182 ix
1 CC 2 (PP)(ST) (TOE) TOE IT PP ST IT () IT TOE 2 IT 1 6 CCCC 2 a) PP ST 2 1 6.3 b) TOE TOE c) PP ST TOE IT TOE
2 CC 2 2IT 2
3 CC 1 2.3 2005 8 3
4 CC 1 4
5 CCIT CC CC PP/ST CC 2 () PP/ST1A B CC ( ) 5.1 2 6CC 2 7CC 818 A B M should PP/ST PP ST12 a) 13CC b) 1A PP c) 1B ST d) 1C 5
6 2 12 13 (TOE) TOE (TSFI) /IT TOE (TSF) TOE (TSP) / TSF (TSC) 1 - ( TOE) 2(TOE) TOE()IT () () (CPU) TOE TOE(TSP) TOE TSPTOE TOE 6
TSP (SFP)SFP SFP SFP (SF) (TOE ) TOE SF SF SF SF SF SF TSF TOE TSF TSF RF: IT IT 2 - TOE TSP TOE TOE(TSF)TSF TOE TOE TSFTOE TOE 7
TOE TOE TOE TOE TOE TOETOE TSF TSFTSF TOE TSF TSP TSF TOETOE IT IT a) IT TOE TSP TSFTSF b) IT2 IT IT TSF ( ) TSF TOETOE TSP TSF(TSC)TSC TOE TOE () ()TSF TSFTSF (TSFI)TSFI TSPTOE TOETSCTOE TSFITOE 2 IT 2TOE( ) TOE ITTOE TSF 8
TOE CC(authorised) TSP 2 (FMT_SMR ) TOE TOE TOE TOE TSF TOE TSP TOE2 TOE TOE a) TSP( UNIX) b) ( ) c) TOE( ) 2TSP () 2 () ( ) FDP 9
TOE (TOE) TSP TSP TOE TSF1.3 TSPTSF TOE TSF TSP TSF TSF TSP TSF SFPSFP SFP SFP SFP ( ) 10
TOE TSF 3 - TSF 2 TSF (secrets) TOE ( ) CCSFP 11
4 4-12
7 7.1 CCST 7.1.1 5 A B C A B C 5-7.1.1.1 3 7.1.1.2 13
7.2 7.1.2 6 6-7.1.2.1 7 3 XXX_YYY 7.1.2.2 a) TOE b) PP ST 14
7.1.2.3 PP ST 27.2 7.1.2.4 PP/ST (FMT) PP/ST (informative) 7.1.2.5 FAU :PP/ST PP/ST FAU_GEN - - ( ) - PP/ST ( ) PP/ST FAU : 7.1.3 7 15
7-7.1.3.1 7.1.3.2 CC PP ST PP ST FDP_IFF.4.2F - DP - _IFF -.4-4.2-2 16
7.1.3.3 : 2A (FDP_UIT.1 ) 2PP/ST PP/ST PP ST 17
18 7.2 2 8 8 1 3 231 3 2 2 8-23 1 2 3 22 1 32 3 41 2 31 4 23 1 2 3 1 1 1 2 2 2 3 3 3 4 1 2 3 1 1 1 2 2 2 3 3 3 4
7.2.1 / 19
8 FAU: (TSP ) () FAU_ARP 1 FAU_GEN 1 2 FAU_SAA 1 2 3 4 1 FAU_SAR 2 3 FAU_SEL 1 FAU_STG 1 2 3 4 9-20
8.1 (FAU_ARP) TSF FAU_ARP 1 FAU_ARP.1 TSF : FAU_ARP.1 FMT: a) () : FAU_ARP.1 FAU_GEN PP/ST : a) : FAU_ARP.1 : FAU_ARP.1.1 TSF [: ] : FAU_SAA.1 21
8.2 (FAU_GEN) TSF TSF FAU_GEN 1 2 FAU_GEN.1 FAU_GEN.2 TSF : FAU_GEN.1 FAU_GEN.2 : FAU_GEN.1 FAU_GEN.2 FAU_GEN.1 : FAU_GEN.1.1 TSF : a) ; b) [: : ] ; c) [: ] FAU_GEN.1.2 TSF : 22
a) ( ); b) PP/ST [: ] : FPT_STM.1 FAU_GEN.2 : FAU_GEN.2.1 TSF : FAU_GEN.1 FIA_UID.1 23
8.3 (FAU_SAA) FAU_ARP FAU_SAA 1 2 3 4 FAU_SAA.1 FAU_SAA.2 TSF ( ) TSF ( ID ) FAU_SAA.3 TSFTSP (signature events) FAU_SAA.4 TSF TSF( ) TSFTSP 24
: FAU_SAA.1 FMT: a) () : FAU_SAA.2 FMT: a) ( ) : FAU_SAA.3 FMT: a) () : FAU_SAA.4 FMT: a) (); b) () : FAU_ SAA.1 FAU_ SAA.2 FAU_ SAA.3 FAU_ SAA.4 FAU_GEN PP/ST : a) : / b) : FAU_SAA.1 : FAU_SAA.1.1 TSF TSP FAU_SAA.1.2 TSF ; a) [: ] ; b) [: ] : FAU_GEN.1 25
FAU_SAA.2 : FAU_SAA.1 FAU_SAA.2.1 TSF [: ] FAU_SAA.2.2 TSF FAU_SAA.2.3 TSF [: TSF] TSP : FAU_UID.1 FAU_SAA.3 : FAU_SAA.1 FAU_SAA.3.1 TSFTSP [ : ] FAU_SAA.3.2 TSF [: ] FAU_SAA.3.3 TSF TSP TSP : FAU_SAA.4 : FAU_SAA.3 FAU_SAA.4.1 TSF [: 26
] TSP [: ] FAU_SAA.4.2 TSF[: ] FAU_SAA.4.3 TSF TSP TSP : 27
8.4 (FAU_SAR) FAU_SAR 2 1 3 FAU_SAR.1 FAU_SAR.2 FAU_SAR.1 FAU_SAR.3 : FAU_ SAR.1 FMT: a) () : FAU_SAR.2 FAU_SAR.3 : FAU_ SAR.1 (FAU_GEN) PP/ST : a) : : FAU_SAR.2 (FAU_GEN) PP/ST : a) : : FAU_SAR.3 28
(FAU_GEN) PP/ST : a) : FAU_SAR.1 IT : FAU_SAR.1.1 TSF[: ][: ] FAU_SAR.1.2 TSF : FAU_GEN.1 FAU_SAR.2 : FAU_SAR.2.1 TSF : FAU_SAR.1 FAU_SAR.3 : FAU_SAR.3.1 TSF[: ][: ] : FAU_SAR.1 29
8.5 (FAU_SEL) TOE FAU_SEL 1 FAU_SEL.1 PP/ST : FAU_SEL.1 FMT: a) / : FAU_SEL.1 FAU_GEN PP/ST : a) : FAU_SEL.1 : FAU_SEL.1.1 TSF : a) [: ] b) [: ] : FAU_GEN.1 FMT_MTD.1 TSF 30
8.6 (FAU_STG) FAU_STG 1 2 3 4 FAU_STG.1 / FAU_STG.2 TSF FAU_STG.3 FAU_STG.4 : FAU_ STG.1 : FAU_ STG.2 FMT: a) : FAU_ STG.3 FMT: a) ; b) () : FAU_ STG.4 FMT: a) () 31
: FAU_ STG.1 FAU_ STG.2 : FAU_ STG.3 FAU_GEN PP/ST : a) : : FAU_ STG.4 FAU_GEN PP/ST : a) : FAU_STG.1 : FAU_STG.1.1 FAU_STG.1.2 TSF TSF [: : ] : FAU_GEN.1 FAU_STG.2 : FAU_STG.1 FAU_STG.2.1 TSF FAU_STG.2.2 TSF[: : ] FAU_STG.2.3 TSF[: ] [: ] 32
: FAU_GEN.1 FAU_STG.3 : FAU_STG.3.1 TSF [: ] [ : ] : FAU_STG.1 FAU_STG.4 : FAU_STG.3 FAU_STG.4.1 TSF[: : ][: ] : FAU_STG.1 33
9 FCO: ( ) ( ) FCO_NRO 1 2 FCO_NRR 1 2 10-34
9.1 (FCO_NRO) TSF FCO_NRO 1 2 FCO_NRO.1 TSF FCO_NRO.2 TSF : FCO_NRO.1 FCO_NRO.2 FMT: a) : FCO_NRO.1 FAU_GEN PP/ST : a) : b) : c) : d) : : FCO_NRO.2 FAU_GEN PP/ST : a) : b) : c) : 35
FCO_NRO.1 : FCO_NRO.1.1 TSF [: ][: [: ]] FCO_NRO.1.2 TSF [: ] [: ] FCO_NRO.1.3 TSF[: [: ]][: ] : FIA_UID.1 FCO_NRO.2 : FCO_NRO.1 FCO_NRO.2.1 TSF [: ] FCO_NRO.2.2 TSF [: ] [: ] FCO_NRO.2.3 TSF[: [: ]][: ] : FIA_UID.1 36
9.2 (FCO_NRR) TSF FCO_NRR 1 2 FCO_NRR.1 TSF FCO_NRR.2 TSF : FCO_NRR.1 FCO_NRR.2 FMT: a) : FCO_NRR.1 FAU_GEN PP/ST : a) : b) : c) : d) : : FCO_NRR.2 FAU_GEN PP/ST : a) : b) : c) : 37
FCO_NRR.1 : FCO_NRR.1.1 TSF[: ][: [: ]] FCO_NRR.1.2 TSF [: ] [: ] FCO_NRR.1.3 TSF[: [: ]] [: ] : FIA_UID.1 FCO_NRR.2 : FCO_NRR.1 FCO_NRR.2.1 TSF[: ] FCO_NRR.2.2 TSF [: ] [: ] FCO_NRR.2.3 TSF[: [: ]] [: ] : FIA_UID.1 38
10 FCS: TSF ( ): TOE / FCS FCS_CKM( )FCS_COP() 2 FCS_CKMFCS_COP 1 FCS_CKM 2 3 4 FCS_COP 1 11-39
10.1 (FCS_CKM) : 1 FCS_CKM 2 3 4 FCS_CKM.1 FCS_CKM.2 FCS_CKM.3 FCS_CKM.4 : FCS_CKM.1 FCS_CKM.2 FCS_CKM.3 FCS_CKM.4 FMT: a) ( )( ) : FCS_CKM.1 FCS_CKM.2 FCS_CKM.3 FCS_CKM.4 FAU_GEN PP/ST : a) : b) : () 40
FCS_CKM.1 : FCS_CKM.1.1 TSF: : : [FCS_CKM.2 FCS_CKM.2 : FCS_COP.1 ] FCS_CKM.4 FMT_MSA.2 FCS_CKM.2.1 TSF [: ] [: ] : FCS_CKM.3 : [FDP_ITC.1 FDP_ITC.2 FCS_CKM.1 ] FCS_CKM.4 FMT_MSA.2 FCS_CKM.3.1 TSF [: ] [: ] [: ] : [FDP_ITC.1 41
FCS_CKM.4 : FDP_ITC.2 FCS_CKM.1 ] FCS_CKM.4 FMT_MSA.2 FCS_CKM.4.1 TSF [:] [: ] : [FDP_ITC.1 FDP_ITC.2 FCS_CKM.1 ] FMT_MSA.2 42
10.2 (FCS_COP) FCS_COP 1 FCS_COP.1 : FCS_COP.1 : FCS_COP.1 FAU_GEN PP/ST : a) : b) : FCS_COP.1 : FCS_COP.1.1 TSF[: ] [: ] [: ] [ : ] : [FDP_ITC.1 FDP_ITC.2 43
FCS_CKM.1 ] FCS_CKM.4 FMT_MSA.2 44
11 FDP: TOE TOE FDP TOE4 ( ) (a) : - FDP_ACC ; - FDP_IFC PP/ST SFP FDP_ACF FDP_IFF( ) (b) : - FDP_ACF ; - FDP_IFF ; - FDP_ITT TOE ; - FDP_RIP ; - FDP_ROL ; - FDP_SDI (c) : - FDP_DAU ; - FDP_ETC TSF ; - FDP_ITC TSF TSC (d) TSF : - FDP_UCT TSF ; - FDP_UIT TSF TOE TSFIT 45
FDP_ACC 1 2 FDP_ACF 1 FDP_DAU 1 2 FDP_ETC TSF 1 2 FDP_IFC 1 2 1 2 FDP_IFF 3 4 5 6 FDP_ITC TSF 1 2 FDP_ITT TOE 1 3 2 4 12-46
FDP_RIP 1 2 FDP_ROL 1 2 FDP_SDI 1 2 FDP_UCT TSF 1 FDP_UIT TSF 1 2 3 12 - () 47
11.1 (FDP_ACC) SFP ( )TSP : SFPFDP_ACF FDP_SDIFDP_ACC SFPSFP FDP_ACC 1 2 FDP_ACC.1 TOE SFP FDP_ACC.2 SFP SFP TSC SFP : FDP_ACC.1 FDP_ACC.2 : FDP_ACC.1 FDP_ACC.2 FDP_ACC.1 : FDP_ACC.1.1 TSF[: SFP ][: 48
SFP] : FDP_ACF.1 FDP_ACC.2 : FDP_ACC.1 FDP_ACC.2.1 TSF[: SFP] [: ]SFP FDP_ACC.2.2 TSFTSCTSC SFP : FDP_ACF.1 49
11.2 (FDP_ACF) FDP_ACC FDP_ACC FDP_ACF 1 FDP_ACC SFP PP/ST TOE FDP_ACF.1 TSF TSF : FDP_ACF.1 FMT: a) : FDP_ACF.1 FAU_GEN PP/ST : a) : SFP b) : SFP c) : FDP_ACF.1 : FDP_ACF.1.1 TSF [: SFP SFP SFP ] [: SFP] 50
FDP_ACF.1.2 TSF : [: ] FDP_ACF.1.3 TSF : [: ] FDP_ACF.1.4 TSF[: ] : FDP_ACC.1 FMT_MSA.3 51
11.3 (FDP_DAU) ( ) FAU FDP_DAU 1 2 FDP_DAU.1 TSF ( ) FDP_DAU.2 TSF : FDP_DAU.1 FDP_DAU.2 FMT: a) : FDP_DAU.1 FAU_GEN PP/ST : a) : b) : c) : : FDP_DAU.2 FAU_GEN PP/ST : a) : b) : c) : d) : 52
FDP_DAU.1 : FDP_DAU.1.1 TSF[: ] FDP_DAU.1.2 TSF [: ] : FDP_DAU.2 : FDP_DAU.1 FDP_DAU.2.1 TSF[: ] FDP_DAU.2.2 TSF [: ] : FIA_UID.1 53
11.4 TSF (FDP_ETC) TOE FDP_ETC TSF 1 2 FDP_ETC.1 TSF TSFSFP FDP_ETC.2 SFP TSF : FDP_ETC.1 : FDP_ETC.2 FMT a) : FDP_ETC.1 FDP_ETC.2 FAU_GEN PP/ST : a) : b) : 54
FDP_ETC.1 : FDP_ETC.1.1 TSFSFP(s) TSC [: SFP(s) SFP(s)] FDP_ETC.1.2 TSF : [FDP_ACC.1 FDP_IFC.1 ] FDP_ETC.2 : FDP_ETC.2.1 TSFSFP(s) TSC [: SFP(s) SFP(s)] FDP_ETC.2.2 TSF FDP_ETC.2.3 TSF TSC FDP_ETC.2.4 TSF TSC : [: ] : [FDP_ACC.1 FDP_IFC.1 ] 55
11.5 (FDP_IFC) SFP ( )TSP : ( ) SFP FDP_IFF FDP_SDI FDP_IFCSFP SFP TSF SFP SFP SFP FDP_IFC 1 2 FDP_IFC.1 TOE SFP FDP_IFC.2 SFP SFP TSC SFPFPT_RVM.1 : FDP_IFC.1 FDP_IFC.2 : FDP_IFC.1 FDP_IFC.2 56
FDP_IFC.1 : FDP_IFC.1.1 TSF[: SFP ][: SFP] : FDP_IFF.1 FDP_IFC.2 : FDP_IFC.1 FDP_IFC.2.1 TSF[: ]SFP [: SFP] FDP_IFC.2.2 TSFTSC TSC SFP : FDP_IFF.1 57
11.6 (FDP_IFF) FDP_IFC () SFP : ( ) SFP SFP 1 2 FDP_IFF 3 4 5 6 FDP_IFF.1 FDP_IFF.2 TSP SFP FDP_IFF.1 FDP_IFF.3 SFP FDP_IFF.4 SFP ( ) FDP_IFF.5 SFP FDP_IFF.6 SFP 58
: FDP_IFF.1 FDP_IFF.2 FMT: a) : FDP_IFF.3 FDP_IFF.4 FDP_IFF.5 : FDP_IFF.6 FMT: a) b) : FDP_IFF.1 FDP_IFF.2 FDP_IFF.5 FAU_GEN PP/ST : a) : b) : c) : d) : (policy goal) ( ) : FDP_IFF.3 FDP_IFF.4 FDP_IFF.6 FAU_GEN PP/ST : a) : b) : c) : d) : e) : (policy goal)( ) f) : FDP_IFF.1 : FDP_IFF.1.1 TSF [: SFP]: [: SFP 59
] FDP_IFF.1.2 TSF : [: ] FDP_IFF.1.3 TSF[: SFP] FDP_IFF.1.4 TSF [: SFP] FDP_IFF.1.5 TSF : [: ] FDP_IFF.1.6 TSF : [: ] : FDP_IFC.1 FMT_MSA.3 FDP_IFF.2 : FDP_IFF.1 FDP_IFF.2.1 TSF [: SFP]: [: SFP ] FDP_IFF.2.2 TSF : [: ] FDP_IFF.2.3 TSF[: SFP] 60
FDP_IFF.2.4 TSF [: SFP] FDP_IFF.2.5 TSF : [: ] FDP_IFF.2.6 TSF : [: ] FDP_IFF.2.7 TSF a) ; b) ; c) : FDP_IFC.1 FMT_MSA.3 FDP_IFF.3 : FDP_IFF.3.1 TSF[: ][: ] [: SFP] : AVA_CCA.1 FDP_IFC.1 61
FDP_IFF.4 : FDP_IFF.3 FDP_IFF.4.1 TSF[: ][: ] [: SFP] FDP_IFF.4.2 TSF[: ] : AVA_CCA.1 FDP_IFC.1 FDP_IFF.5 : FDP_IFF.4 FDP_IFF.5.1 TSF[: SFP ] : AVA_CCA.3 FDP_IFC.1 FDP_IFF.6 : FDP_IFF.6.1 TSF[: ] [: ] [: SFP] : AVA_CCA.1 FDP_IFC.1 62
11.7 TSF (FDP_ITC) TOE FDP_ITC TSF 1 2 FDP_ITC.1 FDP_ITC.2 TSC : FDP_ITC.1 FDP_ITC.2 FMT: a) : FDP_ITC.1 FDP_ITC.2 FAU_GEN PP/ST : a) : b) : c) : 63
FDP_ITC.1 : FDP_ITC.1.1 TSFSFP TSC [: SFP(s)/ SFP(s)] FDP_ITC.1.2 TSFTSC FDP_ITC.1.3 TSFSFP TSC : [: ] : [FDP_ACC.1 FDP_IFC.1 ] FMT_MSA.3 FDP_ITC.2 : FDP_ITC.2.1 TSFSFP TSC [: SFP(s)/ SFP(s)] FDP_ITC.2.2 TSF FDP_ITC.2.3 TSF FDP_ITC.2.4 TSF FDP_ITC.2.5 TSFSFPTSC : [: ] 64
: [FDP_ACC.1 FDP_IFC.1 ] [FTP_ITC.1 TSF FTP_TRP.1 ] FPT_TDC.1 TSF TSF 65
11.8 TOE (FDP_ITT) TOE TSF FDP_UCT FDP_UIT TSF FDP_ETCFDP_ITC 1 2 FDP_ITT TOE 3 4 FDP_ITT.1 TOE FDP_ITT.2 SFP FDP_ITT.3 SF TOE FDP_ITT.4 SFP : FDP_ITT.1 FDP_ITT.2 FMT: a) TSFTOE TSF : FDP_ITT.3 FDP_ITT.4 FMT: a) : FDP_ITT.1 FDP_ITT.2 FAU_GEN PP/ST 66
: a) : b) : : FDP_ITT.3 FDP_ITT.4 FAU_GEN PP/ST : a) : b) : c) : d) : FDP_ITT.1 : FDP_ITT.1.1 TSF TOE [: ][: SFP(s)/SFP(s)] : [FDP_ACC.1 FDP_IFC.1 ] FDP_ITT.2 : FDP_ITT.1 FDP_ITT.2.1 TSF TOE [: ][: SFP(s)/SFP(s)] FDP_ITT.2.2 TSFTOE SFP : [: ] : [FDP_ACC.1 FDP_IFC.1 ] 67
FDP_ITT.3 : FDP_ITT.3.1 TSF : [: ] TOE [: SFP(s)/SFP(s)] FDP_ITT.3.2 TSF[: ] : [FDP_ACC.1 FDP_IFC.1 ] FDP_ITT.1 FDP_ITT.4 : FDP_ITT.3 FDP_ITT.4.1 TSF : [: ] : [: ] TOE [: SFP/SFP] FDP_ITT.4.2 TSF [: ] : [FDP_ACC.1 FDP_IFC.1 ] FDP_ITT.2 68
11.9 (FDP_RIP) TOE FDP_RIP 1 2 FDP_RIP.1 TSC TSF FDP_RIP.2 TSF : FDP_RIP.1 FDP_RIP.2 FMT: a) ( )TOE : FDP_RIP.1 FDP_RIP.2 FDP_RIP.1 : FDP_RIP.1.1 TSF [: ] : [: ] : 69
FDP_RIP.2 : FDP_RIP.1 FDP_RIP.2.1 TSF[: ] : 70
11.10 (FDP_ROL) FDP_ROL 1 2 FDP_ROL.1 FDP_ROL.2 : FDP_ROL.1 FDP_ROL.2 FMT: a) TOE b) : FDP_ROL.1 FDP_ROL.2 FAU_GEN PP/ST : a) : b) : c) : FDP_ROL.1 : FDP_ROL.1.1 TSF[: / ][: ][: SFP(s) SFP(s)] 71
FDP_ROL.1.2 TSF[: ] : [FDP_ACC.1 FDP_IFC.1 ] FDP_ROL.2 : FDP_ROL.1 FDP_ROL.2.1 TSF[: ] [: SFP(s) SFP(s)] FDP_ROL.2.2 TSF[: ] : [FDP_ACC.1 FDP_IFC.1 ] 72
11.11 (FDP_SDI) TSC TOE FDP_ITT TOE FDP_SDI 1 2 FDP_SDI.1 TSC SF FDP_SDI.2 : FDP_SDI.1 : FDP_SDI.2 FMT: a) : FDP_SDI.1 FAU_GEN PP/ST : a) : () b) : ( ) c) : : FDP_SDI.2 FAU_GEN PP/ST : a) : () b) : ( ) 73
c) : d) : FDP_SDI.1 : FDP_SDI.1.1 TSF[: ] TSC : [: ] : FDP_SDI.2 : FDP_SDI.1 FDP_SDI.2.1 TSF[: ] TSC : [: ] FDP_SDI.2.2 TSF [: ] : 74
11.12 TSF (FDP_UCT) TOETOE FDP_UCT TSF 1 FDP_UCT.1 : FDP_UCT.1 : FDP_UCT.1 FAU_GEN PP/ST : a) : b) : c) : FDP_UCT.1 : FDP_UCT.1.1 TSF [: ] [: SFP(s)/ SFP(s)] : [FTP_ITC.1 TSF FTP_TRP.1 ] [FDP_ACC.1 FDP_IFC.1 ] 75
11.13 TSF(FDP_UIT) TSFIT FDP_UIT TSF 1 2 3 FDP_UIT.1 FDP_UIT.2 IT TSF FDP_UIT.3 IT TSF : FDP_UIT.1 FDP_UIT.2 FDP_UIT.3 : FDP_UIT.1 FAU_GEN PP/ST : a) : b) : c) : d) : e) : / 76
: FDP_UIT.2, FDP_UIT.3 FAU_GEN PP/ST : a) : (identity) b) : c) : (identity) d) : e) : f) : / FDP_UIT.1 : FDP_UIT.1.1 TSF [: ] [: ][: SFP(s)/ SFP(s)] FDP_UIT.1.2 TSF [: : ] : [FDP_ACC.1 FDP_IFC.1 ] [FTP_ITC.1 TSF FTP_TRP.1 ] FDP_UIT.2 : FDP_UIT.2.1 TSFIT [: ][: SFP(s)/ SFP(s)] : [FDP_ACC.1 77
FDP_IFC.1 ] [FDP_UIT.1 FTP_ITC.1 TSF] FDP_UIT.3 : FDP_UIT.2 FDP_UIT.3.1 TSFIT[: ][: SFP(s) /SFP(s)] : [FDP_ACC.1 FDP_IFC.1 ] [FDP_UIT.1 FTP_ITC.1 TSF] 78
12 FIA: ( ) TOE ( ) 79
FIA_AFL 1 FIA_ATD 1 FIA_SOS 1 2 1 2 3 FIA_UAU 4 5 6 7 FIA_UID 1 2 FIA_USB 1 13-80
12.1 (FIA_AFL) TSF FIA_AFL 1 FIA_AFL.1 ( ) TSF : FIA_AFL.1 FMT: a) b) : FIA_AFL.1 FAU_GEN PP/ST : a) : ()( ) FIA_AFL.1 : FIA_AFL.1.1 TSF[: ] [: [: ], [: ] ] FIA_AFL.1.2 TSF [: ] 81
: FIA_UAU.1 12.2 (FIA_ATD) TSP TSP FIA_ATD 1 FIA_ATD.1 : FIA_ATD.1 FMT: a) : FIA_ATD.1 FIA_ATD.1 : FIA_ATD.1.1 TSF [: ] : 82
12.3 (FIA_SOS) 1 FIA_SOS 2 FIA_SOS.1 TSF FIA_SOS.2 TSFTSF : FIA_SOS.1 FMT: a) : FIA_SOS.2 FMT: a) : FIA_SOS.1 FIA_SOS.2 FAU_GEN PP/ST : a) : TSF ; b) : TSF; c) : FIA_SOS.1 : FIA_SOS.1.1 TSF [: ] 83
: FIA_SOS.2 : TSF FIA_SOS.2.1 TSF[: ] FIA_SOS.2.2 TSF[: TSF]TSF : 84
12.4 (FIA_UAU) TSF 1 2 3 FIA_UAU 4 5 6 7 FIA_UAU.1 FIA_UAU.2 TSF FIA_UAU.3 FIA_UAU.4 FIA_UAU.5 FIA_UAU.6 FIA_UAU.7 85
: FIA_UAU.1 FMT: ; ; : FIA_UAU.2 FMT ; : FIA_UAU.3 FIA_UAU.4 FIA_UAU.7 : FIA_UAU.5 FMT ; : FIA_UAU.6 FMT : FIA_UAU.1 FAU_GEN PP/ST : ; : : TSF : FIA_UAU.2 FAU_GEN PP/ST : : ; : : FIA_UAU.3 FAU_GEN PP/ST : : ; : 86
: FIA_UAU.4 FAU_GEN PP/ST : a) : : FIA_UAU.5 FAU_GEN PP/ST : a) : ; b) : : FIA_UAU.6 FAU_GEN PP/ST : a) : ; b) : : FIA_UAU.7 FAU_GEN PP/ST FIA_UAU.1 : FIA_UAU.1.1 TSF [: TSF ] FIA_UAU.1.2 TSFTSF : FIA_UID.1 FIA_UAU.2 : FIA_UAU.1 FIA_UAU.2.1 TSFTSF 87
: FIA_UID.1 FIA_UAU.3 : FIA_UAU.3.1 TSFTSF[: ] FIA_UAU.3.2 TSFTSF [: ] : FIA_UAU.4 : FIA_UAU.4.1 TSF[: ] : FIA_UAU.5 : FIA_UAU.5.1 TSF [: ] FIA_UAU.5.2 TSF[: ] : FIA_UAU.6 : FIA_UAU.6.1 TSF[: ] 88
: FIA_UAU.7 : FIA_UAU.7.1 TSF[: ] : FIA_UAU.1 89
12.5 (FIA_UID) TSF FIA_UID 1 2 FIA_UID.1 TSF FIA_UID.2 TSF : FIA_UID.1 FMT: a) ; b) : FIA_UID.2 FMT: a) : FIA_UID.1 FID_UID.2 FAU_GEN PP/ST : a) : ; b) : FIA_UID.1 : FIA_UID.1.1 TSF[: TSF ] 90
FIA_UID.1.2 TSFTSF : FIA_UID.2 : FIA_UID.1 FIA_UID.2.1 TSFTSF : 91
12.6 (FIA_USB) TOE () FIA_USB 1 FIA_USB.1 : FIA_USB.1 FMT: a) b) : FIA_USB.1 FAU_GEN PP/ST : a) : ( ) b) : ( ) FIA_USB.1 : FIA_USB.1.1 TSF :[: ] FIA_USB.1.2 TSF 92
: [: ] FIA_USB.1.3 TSF : [: ] : FIA_ATD.1 93
13 FMT: TSF( TSF) (capability) : ) TSF ; ) (capability list) ; ) TSFTSF ; ) 94
FMT_MOF TSF 1 FMT_MSA 2 1 3 FMT_MTD TSF 2 1 3 FMT_REV 1 FMT_SMF 1 FMT_SAE 1 FMT_SMR 1 2 3 14-95
13.1 TSF (FMT_MOF) TSF TSF FMT_MOF TSF 1 FMT_MOF.1 () TSF : FMT_MOF.1 FMT: a) TSF ; : FMT_MOF.1 FAU_GEN PP/ST : a) : TSF FMT_MOF.1 FMT_MOF.1.1 TSF[: ][: ] [: ] FMT_SMF.1 FMT_SMR.1 96
13.2 (FMT_MSA) 1 FMT_MSA 2 3 FMT_MSA.1 FMT_MSA.2 FMT_MSA.3 : FMT_MSA.1 FMT: a) : FMT_MSA.2 : FMT_MSA.3 FMT: a) ; b) SFP : FMT_MSA.1 FAU_GEN PP/ST : 97
a) : : FMT_MSA.2 FAU_GEN PP/ST : a) : ; b) : : FMT_MSA.3 FAU_GEN PP/ST : a) : b) : FMT_MSA.1 FMT_MSA.1.1 TSF[: ] [ : [: ]][: ] [: SFPSFP] [FDP_ACC.1 FDP_IFC.1 ] FMT_SMF.1 FMT_SMR.1 FMT_MSA.2 FMT_MSA.2.1 TSF : ADV_SPM.1 TOE [FDP_ACC.1 FDP_IFC.1 ] FMT_MSA.1 FMT_SMR.1 98
FMT_MSA.3 FMT_MSA.3.1 TSFSFP [: : [ : ] [: SFPSFP] FMT_MSA.3.2 TSF[: ] FMT_MSA.1 FMT_SMR.1 99
13.3 TSF(FMT_MTD) () TSF TSF TSF 1 FMT_MTD TSF 2 3 FMT_MTD.1 TSFTSF FMT_MTD.2 TSF TSF FMT_MTD.3 TSF TSF : FMT_MTD.1 FMT: a) TSF : FMT_MTD.2 FMT: a) TSF : FMT_MTD.3 : FMT_MTD.1 FAU_GEN PP/ST : a) : TSF : FMT_MTD.2 FAU_GEN PP/ST 100
: a) : TSF ; b) : : FMT_MTD.3 FAU_GEN PP/ST : a) : TSF FMT_MTD.1 TSF FMT_MTD.1.1 TSF[: TSF ] [: [: ]] [: ] FMT_SMF.1 FMT_SMR.1 FMT_MTD.2 TSF FMT_MTD.2.1 TSF[: TSF ][: ] FMT_MTD.2.2 TSFTSF : [: ] FMT_MTD.1 TSF FMT_SMR.1 FMT_MTD.3 TSF FMT_MTD.3.1 TSFTSF 101
ADV_SPM.1 TOE FMT_MTD.1 TSF 102
13.4 (FMT_REV) TOE FMT_REV 1 FMT_REV.1 : FMT_REV.1 FMT: a) ; b) ; c) : FMT_REV.1 FAU_GEN PP/ST : a) : ; b) : FMT_REV.1 FMT_REV.1.1 TSFTSC[: [: ]] [: ] TSF_REV.1.2 TSF[: ] FMT_SMR.1 103
13.5 (FMT_SAE) FMT_SAE 1 FMT_SAE.1 : FMT_SAE.1 FMT: a) ; b) : FMT_SAE.1 FAU_GEN PP/ST : a) : ; b) : FMT_SAE.1 FMT_SAE.1.1 TSF[: ][: ] FMT_SAE.1.2 TSF [: ] FMT_SMR.1 FPT_STM.1 104
13.6 FMT_SMF TOE TOE TSFI TOE TOE FMT FMT FMT_SMF 1 FMT_SMF.1 TSF FMT_SMF.1 FMT_SMF.1 FAU_GEN PP/ST a) FMT_SMF.1 FMT_SMF.1.1 TSF [ TSF ] 105
13.7 (FMT_SMR) 1 2 FMT_SMR 3 FMT_SMR.1 TSF FMT_SMR.2 FMT_SMR.3 TSF : FMT_SMR.1 FMT: a) : FMT_SMR.2 FMT: a) ; b) : FMT_SMR.3 : FMT_SMR.1 FAU_GEN PP/ST : a) : ; b) : 106
: FMT_SMR.2 FAU_GEN PP/ST : a) : ; b) : ; c) : : FMT_SMR.3 FAU_GEN PP/ST : a) : FMT_SMR.1 FMT_SMR.1.1 TSF[: ] FMT_SMR.1.2 TSF FIA_UID.1 FMT_SMR.2 : FMT_SMR.1 FMT_SMR.2.1 TSF[: ] FMT_SMR.2.2 TSF FMT_SMR.2.3 TSF[: ] : FIA_UID.1 FMT_SMR.3 107
FMT_SMR.3.1 TSF : [: ] FMT_SMR.1 108
14 FPR: FPR_ANO 1 2 FPR_PSE 1 2 3 FPR_UNL 1 1 2 FPR_UNO 3 4 15-109
14.1 (FPR_ANO) FPR_ANO 1 2 FPR_ANO.1 FPR_ANO.2 TSF FPR_ANO.1 : FPR_ANO.1 FPR_ANO.2 : FPR_ANO.1 FPR_ANO.2 FAU_GEN PP/ST : a) : FPR_ANO.1 : FPR_ANO.1.1 TSF[: ] [: ] : FPR_ANO.2 : FPR_ANO.1 110
FPR_ANO.2.1 TSF[: ] [: ] FPR_ANO.2.2 TSF[: ] [: ] : 111
14.2 (FPR_PSE) FPR_PSE 1 2 3 FPR_PSE.1 FPR_PSE.2 TSF FPR_PSE.3 TSF : FPR_PSE.1 FPR_PSE.2 FPR_PSE.3 : FPR_PSE1 FPR_PSE.2 FPR_PSE.3 FAU_GEN PP/ST : a) : FPR_PSE.1 : FPR_PSE.1.1 TSF[: ][: ] 112
FPR_PSE.1.2 TSF[: ] [: ] FPR_PSE.1.3 TSF[: : ] [: ] : FPR_PSE.2 : FPR_PSE.1 FPR_PSE.2.1 TSF[: ][: ] FPR_PSE.2.2 FPR_PSE.2.3 TSF[: ] [: ] TSF[: ] [: ] FPR_PSE.2.4 TSF [: ] [: [: ]] : FIA_UID.1 FPR_PSE.3 : FPR_PSE.1 FPR_PSE.3.1 TSF[: ] [: ] FPR_PSE.3.2 TSF[: ] [: ] 113
FPR_PSE.3.3 TSF[: : ] [: ] FPR_PSE.3.4 TSF [: ] : 114
14.3 (FPR_UNL) FPR_UNL 1 FPR_UNL.1 ( ) : FPR_UNL.1 FMT: a) : FPR_UNL.1 FAU_GEN PP/ST : a) : FPR_UNL.1 : FPR_UNL.1.1 TSF[: ][: ] [: [: ]] : 115
14.4 (FPR_UNO) 1 2 FPR_UNO 3 4 FPR_UNO.1 FPR_UNO.2 TOE TSF FPR_UNO.3 TSF FPR_UNO.4 TSF : FPR_UNO.1 FPR_UNO.2 FMT: a) : FPR_UNO.3 : FPR_UNO.4 FMT: a) : FPR_UNO.1 FPR_UNO.2 116
FAU_GEN PP/ST : a) : : FPR_UNO.3 : FPR_UNO.4 FAU_GEN PP/ST : a) : FPR_UNO.1 : FPR_UNO.1.1 TSF[: ] [: ] [: ][: ] : FPR_UNO.2 : FPR_UNO.1 FPR_UNO.2.1 TSF[: ] [: ] [: ][: ] FPR_UNO.2.2 TSF TOE [: ]: [: ] : FPR_UNO.3 : 117
FPR_UNO.3.1 TSF[: ] [ : ] [: ] : FPR_UNO.1 FPR_UNO.4 : FPR_UNO.4.1 TSF[: ] [: ] : 118
15 FPT: TSF TSF(TSP ) TSF (TSF ) FDP() ; FDP FPT TSFFPT TOESFP TSF ) TSFTSF ) TSF : TSP ) TSFTSP 119
TSF FPT_AMT 1 FPT_FLS 1 FPT_ITA TSF 1 FPT_ITC TSF 1 FPT_ITI TSF 1 2 FPT_ITT TOE TSF 1 2 3 FPT_PHP TSF FPT_RCV 1 2 3 1 2 3 4 16 - TSF 120
TSF FPT_RPL 1 FPT_RVM 1 FPT_SEP 1 2 3 FPT_SSP 1 2 FPT_STM 1 FPT_TDC TSF TSF 1 FPT_TRC TOE TSF 1 FPT_TST TSF 1 16 - TSF() 121
15.1 (FPT_AMT) TSF TSF / / FPT_AMT 1 FPT_AMT.1 : FPT_AMT.1 FMT: a) ; b) : FPT_AMT.1 FAU_GEN PP/ST : a) : FPT_AMT.1 FPT_AMT.1.1 TSFTSF [: [: ] : 122
15.2 (FPT_FLS) TSFTOE TSP FPT_FLS 1 - FPT_FLS.1 - TSF : FPT_FLS.1 : FPT_FLS.1 FAU_GEN PP/ST : a) : TSF FPT_FLS.1 : FPT_FLS..1.1 TSF : [: TSF ] ADV_SPM.1 TOE 123
15.3 TSF (FPT_ITA) TSFIT TSF TSF TSF FPT_ITA TSF 1 FPT_ITA.1 TSF ITTSFTSF : FPT_ITA.1 FMT: a) IT TSF : FPT_ITA.1 FAU_GEN PP/ST : a) : TOE TSF FPT_ITA.1 TSF FPT_ITA.1.1 TSF[: ] [: ] IT[ : TSF] : 124
15.4 TSF (FPT_ITC) TSFIT TSF TSFTSF FPT_ITC TSF 1 FPT_ITC.1 TSF TSFIT TSF : FPT_ITC.1 : FPT_ITC.1 FPT_ITC.1 TSF FPT_ITC.1.1 TSFTSF ITTSF : 125
15.5 TSF (FPT_ITI) TSFITTSF TSFTSF FPT_ITI TSF 1 2 FPT_ITI.1 TSF IT TSFITTSF FPT_ITI.2 TSFIT IT TSF : FPT_ITI.1 : FPT_ITI.2 FMT: a) TSF TSF ; b) TSFTSF : FPT_ITI.1 FAU_GEN PP/ST : a) : TSF b) : TSF : FPT_ITI.2 FAU_GEN PP/ST : a) : TSF ; b) : TSF c) : 126
FPT_ITI.1 TSF FPT_ITI.1.1 TSFTSFIT TSF : [: ] FPT_ITI.1.2 TSFTSFITTSF [: ] : FPT_ITI.2 : TSF FPT_ITI.1 FPT_ITI.2.1 TSFTSFIT TSF : [: ] FPT_ITI.2.2 TSFTSFITTSF [: ] FPT_ITI.2.3 TSFTSFITTSF [: ] : 127
15.6 TOE TSF (FPT_ITT) TSF TOE TSF FPT_ITT TOE TSF 1 2 3 FPT_ITT.1 TSFTOE TSF FPT_ITT.2 TSF TSF TSF FPT_ITT.3 TSFTOE TSF : FPT_ITT.1 FMT: a) TSF; b) TSF : FPT_ITT.2 FMT: a) TSF; b) TSF ; c) : FPT_ITT.3 FMT: a) TSF () ; b) TSF ; c) TSF TSF; d) 128
: FPT_ITT.1 FPT_ITT.2 : FPT_ITT.3 FAU_GEN PP/ST : a) : TSF ; b) : FPT_ITT.1 TSF FPT_ITT.1.1 TSFTSFTOETSF [: ] : FPT_ITT.2 TSF FPT_ITT.1 FPT_ITT.2.1 TSFTOETSF [: ] FPT_ITT.2.2 TSFTOE TSF : FPT_ITT.3 : TSF FPT_ITT.3.1 TSFTOE TSF [: [: ]] FPT_ITT.3.2 TSF[: ] 129
: FPT_ITT.1 TSF 130
15.7 TSF (FPT_PHP) TSFTSFTSF (tamperring) (interference)tsf TSF TSF TSF FPT_PHP TSF 1 2 3 FPT_PHP.1 TSFTSF ; FPT_PHP.2 FPT_PHP.3 TSFTSF : FPT_PHP.1 FMT a : FPT_PHP.2 FMT: a) ; b) : FPT_PHP.3 131
FMT: a) : FPT_PHP.1 FAU_GEN PP/ST : a) : IT : FPT_PHP.2 FAU_GEN PP/ST : a) : : FPT_PHP.3 FPT_PHP.1 FPT_PHP.1.1 TSFTSF FPT_PHP.1.2 TSFTSFTSF FPT_PHP.2 FPT_PHP.1 FPT_PHP.2.1 TSFTSF FPT_PHP.2.2 TSFTSFTSF FPT_PHP.2.3 [: TSF/ ] TSF TSFTSF [: ] 132
FMT_MOF.1 FPT_PHP.3 FPT_PHP.3.1 TSFTSP[ : TSF/ ][: ] : 133
15.8 (FPT_RCV) TOE TSF FPT_RCV 1 2 3 4 FPT_RCV.1 TOE FPT_RCV.2 ; FPT_RCV.3 FPT_RCV.4 SF TSF : FPT_RCV.1 FMT: a) : FPT_RCV.2 FPT_RCV.3 FMT: a) ; b) / : FPT_RCV.4 : FPT_RCV.1 FPT_RCV.2 FPT_RCV.3 FAU_GEN PP/ST : 134
a) : ; b) : ; c) : : FPT_RCV.4 FAU_GEN PP/ST : a) : ; b) : FPT_RCV.1 : FPT_RCV.1.1 [: /]TSF AGD_ADM.1 ADV_SPM.1 TOE FPT_RCV.2 FPT_RCV.1 FPT_RCV.2.1 [: /] TSF FPT_RCV.2.2 [: /]TSF TOE AGD_ADM.1 ADV_SPM.1 TOE FPT_RCV.3 FPT_RCV.2 FPT_RCV.3.1 [: /] TSF 135
FPT_RCV.3.2 [: /]TSF TOE FPT_RCV.3.3 TSF TSCTSF[: ] FPT_RCV.3.4 TSF AGD_ADM.1 ADV_SPM.1 TOE FPT_RCV.4 FPT_RCV.4.1 TSF[: SF]SF : ADV_SPM.1 TOE 136
15.9 (FPT_RPL) ( ) FPT_RPL 1 FPT_RPL.1 TSF : FPT_RPL.1 FMT: a) ; b) : FPT_RPL.1 FAU_GEN PP/ST : a) : b) : ( )( ) FPT_RPL.1 : FPT_RPL.1.1 TSF : [: ] FPT_RPL.1.2 TSF [: ] : 137
15.10 (FPT_RVM) SFP SFPTSF SFP TSFFPT_SEP() ADV_INT(TSF) TSF SFP SFP () SFP SFP TSFTSF SFP ( )SFP SFP SFP SFP FPT_RVM 1 FPT_RVM.1 TSP TSPSFP : FPT_RVM.1 : FPT_RVM.1 138
FPT_RVM.1 : TSP FPT_RVM.1.1 TSFTSC TSP : 139
15.11 (FPT_SEP) TSF ( TSF )TSF TSF TSF : a) TSF () TSFTSF b) c) d) TSF FPT_SEP 1 2 3 FPT_SEP.1 TSFTSF TSC FPT_SEP.2 SFPTOETSF SFP SFP ( )TSF TSF FPT_SEP.3 TOETSF TSP ( )TSF : FPT_SEP.1 FPT_SEP.2 FPT_SEP.3 140
: FPT_SEP.1 FPT_SEP.2 FPT_SEP.3 FPT_SEP.1 : TSF FPT_SEP.1.1 TSF FPT_SEP.1.2 TSFTSC : FPT_SEP.2 : SFP FPT_SEP.1 FPT_SEP.2.1 TSF FPT_SEP.2.2 TSFTSC FPT_SEP.2.3 TSF[: /SFP( ) ] TSFTSF SFP( ) SFP( ) : FPT_SEP.3 : FPT_SEP.2 FPT_SEP.3.1 TSF 141
FPT_SEP.3.2 TSFTSC FPT_SEP.3.3 : TSF/SFP( ) TSFTSF TSP SFP( ) 142
15.12 (FPT_SSP) FPT_SSP TSF FPT_SSPTOE( ) FPT_SSP 1 2 FPT_SSP.1 FPT_SSP.2 : FPT_SSP.1 FPT_SSP.2 : FPT_SSP.1 FPT_SSP.2 FAU_GEN PP/ST : a) : FPT_SSP.1 : FPT_SSP.1.1 TSFTSF TSF : FPT_ITT.1 TSF FPT_SSP.2 : FPT_SSP.1 143
FPT_SSP.2.1 TSFTSFTSF FPT_SSP.2.2 : TSFTSF FPT_ITT.1 TSF 144
15.13 (FPT_STM) TOE FPT_STM 1 FPT_STM.1 TSF TSF : FPT_STM.1 FMT: a) : FPT_STM.1 FAU_GEN PP/ST a) : ; b) : FPT_STM.1 : FPT_STM.1.1 TSF : 145
15.14 TSF TSF(FPT_TDC) TOE TSF ( SFP)IT TOE TSFIT FPT_TDC TSF TSF 1 FPT_TDC.1 TSF TSFTSF TSF : FPT_TDC.1 : FPT_TDC.1 FAU_GEN PP/ST : a) : TSF b) : TSF c) : TSF d) : TSF FPT_TDC.1 : TSF TSF FPT_TDC.1.1 TSFTSFIT[: TSF ] FPT_TDC.1.2 TSF IT TSF [: TSF ] : 146
15.15 TOE TSF(FPT_TRC) TSFTOETSF TOE TOE TOE FPT_TRC TOE TSF 1 FPT_TRC.1 TSF TSFTSF : FPT_TRC.1 : FPT_TRC.1 FAU_GEN PP/ST : a) : b) : TSF FPT_TRC.1 : TSF FPT_TRC.1.1 TSFTOETSF FPT_TRC.1.2 TSFTOETSF [: TSFSF ] TSF : FPT_ITT.1 TSF 147
15.16 TSF (FPT_TST) TSF TOE TOE ()TOE TSF ( TSF) TSF / TSF FPT_TST TSF 1 FPT_TST.1 TSF TSF TSF : FPT_TST.1 FMT: a) TSF ; b) : FPT_TST.1 FAU_GEN PP/ST : a) : TSF FPT_TST.1 : TSF 148
FPT_TST.1.1 TSF[: [: TSF ] TSF] [: [: ]] FPT_TST.1.2 TSF [: [ TSF ] TSF ] FPT_TST.1.3 TSFTSF : FPT_AMT.1 149
16 FRU: / TOE FRU_FLT 1 2 FRU_PRS 1 2 FRU_RSA 1 2 17-150
16.1 (FRU_FLT) TOE FRU_FLT 1 2 FRU_FLT.1 TOE FRU_FLT.2 TOE : FRU_FLT.1 FRU_FLT.2 : FRU_FLT.1 FAU_GEN PP/ST : a) : TSF b) : TOE : FRU_FLT.2 FAU_GEN PP/ST : a) : TSF FRU_FLT.1 : FRU_FLT.1.1 TSF [: ] [: TOE(capabilities)] : FPT_FLS.1 151
FRU_FLT.2 : FRU_FLT.1 FRU_FLT.2.1 TSF [: ] TOE(capabilities) : FPT_FLS.1 152
16.2 (FRU_PRS) TSC TSC TSF FRU_PRS 1 2 FRU_PRS.1 TSC FRU_PRS.2 TSC : FRU_PRS.1 FRU_PRS.2 FMT: a) TSF : FRU_PRS.1 FRU_PRS.2 FAU_GEN PP/ST : a) : b) : FRU_PRS.1 : FRU_PRS.1.1 TSFTSF FRU_PRS.1.2 TSF[: ] : 153
FRU_PRS.2 : FRU_PRS.1 FRU_PRS.2.1 TSFTSF FRU_PRS.2.2 TSF : 154
16.3 (FRU_RSA) TSF FRU_RSA 1 2 FRU_RSA.1 FRU_RSA.2 : FRU_RSA.1 FMT: a) / / : FRU_RSA.2 FMT: a) / / : FRU_RSA.1 FRU_RSA.2 FAU_GEN PP/ST : a) : b) : TSF FRU_RSA.1 155
: FRU_RSA.1.1 TSF[: ] [: ] [ : ] : FRU_RSA.2 : FRU_RSA.1 FRU_RSA.2.1 TSF[: ] [: ] [: ] FRU_RSA.2.2 TSF[: ] [: ] [: ] : 156
17 FTA: TOE TOE FTA_LSA 1 FTA_MCS 1 2 1 FTA_SSL 2 3 FTA_TAB TOE 1 FTA_TAH TOE 1 FTA_TSE TOE 1 18 - TOE 157
17.1 (FTA_LSA) FTA_LSA 1 FTA_LSA.1 TOE : FTA_LSA.1 FMT: a) : FTA_LSA.1 FAU_GEN PP/ST : a) : ; b) : ; c) : FTA_LSA.1 : FTA_LSA.1.1 TSF[: ] [: ] : 158
17.2 (FTA_MCS) FTA_MCS 1 2 FTA_MCS.1 TSF FTA_MCS.2 FTA_MCS.1 : FTA_MCS.1 FMT: a) : FTA_MCS.2 FMT: a) : FTA_MCS.1 FTA_MCS.2 FAU_GEN PP/ST : a) : b) : FTA_MCS.1 : FTA_MCS.1.1 TSF FTA_MCS.1.2 TSF [: ] 159
: FIA_UID.1 FTA_MCS.2 : FTA_MCS.1 FTA_MCS.2.1 TSF[: ] FTA_MCS.2.2 TSF [: ] : FIA_UID.1 160
17.3 (FTA_SSL) TSF TSF 1 FTA_SSL 2 3 FTA_SSL.1 TSF FTA_SSL.2 FTA_SSL.3 TSF TSF : FTA_SSL.1 FMT: a) ; b) ; c) : FTA_SSL.2 FMT: a) : FTA_SSL.3 FMT: a) ; b) 161
: FTA_SSL.1 FTA_SSL.2 FAU_GEN PP/ST a) : b) : c) : : FTA_SSL.3 FAU_GEN PP/ST : a) : FTA_SSL.1 : TSF FTA_SSL.1.1 TSF[: ] : a) ; b) / FTA_SSL.1.2 TSF : [: ] : FIA_UAU.1 FTA_SSL.2 : FTA_SSL.2.1 TSF : a) ; b) / FTA_SSL.2.2 TSF : [: ] 162
: FIA_UAU.1 FTA_SSL.3 : TSF FTA_SSL.3.1 TSF[: ] : 163
17.4 TOE (FTA_TAB) TOE FTA_TAB TOE 1 FTA_TAB.1 TOE TOE : FTA_TAB.1 FMT: a) : FTA_TAB.1 FTA_TAB.1 : TOE FTA_TAB.1.1 TSFTOE : 164
17.5 TOE(FTA_TAH) TSF FTA_TAH TOE 1 FTA_TAH.1 TOE TOE : FTA_TAH.1 : FTA_TAH.1 FTA_TAH.1 : TOE FTA_TAH.1.1 TSF [: ] FTA_TAH.1.2 TSF [: ] FTA_TAH.1.3 TSF : 165
17.6 TOE(FTA_TSE) TOE FTA_TSE TOE 1 FTA_TSE.1 TOE TOE : FTA_TSE.1 FMT: a) : FTA_TSE.1 FAU_GEN PP/ST : a) : b) : c) : ( : ) FTA_TSE.1 : TOE FTA_TSE.1.1 TSF[: ] : 166
18 FTP: / TSFTSFIT : - TSFTSF ( ) - / TSF( ) - TSFTSF () TSF / TSF / FTP_ITC TSF 1 FTP_TRP 1 19 - / 167
18.1 TSF(FTP_ITC) TSFIT TOE IT TSF FTP_ITC TSF 1 FTP_ITC.1 TSFTSFIT : FTP_ITC.1 FMT: a) : FTP_ITC.1 FAU_GEN PP/ST : a) : b) : c) : d) : FTP_ITC.1 : TSF FTP_ITC.1.1 TSFIT FTP_ITC.1.2 TSF[: TSFIT] 168
FTP_ITC.1.3 TSF[: ] : 169
18.2 (FTP_TRP) TSF TSF TSF FTP_TRP 1 FTP_TRP.1 PP/STTSF / TSF : FTP_TRP.1 FMT: a) : FTP_TRP.1 FAU_GEN PP/ST : a) : b) : c) : d) : FTP_TRP.1 : FTP_TRP.1.1 TSF [: ] FTP_TRP.1.2 TSF[: TSF] 170
FTP_TRP.1.3 TSF[: [: ]] : 171
A () 2 2 A.1 CC A.1.1 20 20-172
A.1.1.1 CC2 A.1.1.2 A.1.2 21 21 - A.1.2.1 CC2 A.1.2.2 PP ST TOE 173
A.1.2.3 TOE TOE A.1.3 22 22 - A.1.3.1 CC2 A.1.3.2 - - 174
A.1.2 / ( ) A.1.3.3 175
A.2 (x) ( -) ( o) FDP_ETC.1FDP_ACC.1FDP_IFC.1 FDP_ACC.1 FDP_IFC.1 1 - FAU: 176
2 - FCO: 3 - FCS: 177
4 - FDP: 178
5 - FIA: 6 - FMT: 179
7 - FPR: 180
8 - FPT:TSF 181
9 - FRU: 10 - FTA:TOE 182
B () CM 2 183
C (FAU) () CCPP/ST TSP TOE ( ) ( ) PP/ST / ( ) C.1 ( ) TOE - - 184
23 FAU_ARP 1 FAU_GEN 1 2 FAU_SAA 1 2 3 4 1 FAU_SAR 2 3 FAU_SEL 1 FAU_STG 1 2 3 4 23-185
C.2 (FAU_ARP) TSF ()TSF / FAU_SAA FAU_ARP.1 PP/ST : FAU_ARP.1.1 PP/ST : 186
C.3 (FAU_GEN) TSF PP/STPP/ST PP/ST ( ) PP/ST PP/ST FAU_GEN PP/ST : a) : ; b) : ; c) : ; d) : ( ) FAU_GEN FAU_GEN a) b) c) PP/ST () 187
PP/ST PP/ST PP/ST () PP/ST PP ST PP/ST a) TSC ; b) ; c) ; d) ; e) TSF ; f) ; g) ; h) /( TSF); i) /( ) FAU_GEN.1 TSP FAU_GEN.1 PP/ST FAU_GEN.2 188
FPT_STM TOE : FAU_GEN.1.1b PP/ST PP/ST : FAU_GEN.1.1 PP/ST (API)b) FAU_GEN.1.2 PP/ST PP/ST FAU_GEN.2 FAU_GEN.1 / ( ) 189
C.4 (FAU_SAA) TSF FAU_ARP FAU_SAA.1 - TSP - : FAU_SAA.1.2 PP/STTSP FAU_SAA.1.2 PP/ST TSF ( ) TSF FAU_SAA.2 / ; /TSF ( ( ) ) / 190
( ) () ( ) TSF a) : ; b) ID: ID ; c) : ; d) : PP/ST TSP PP/ST TSF / FAU_SAA.2TSF PP/ST 191
( ) 4 () TSF PP/ST FAU_ARP : FAU_SAA.2.1 PP/ST PP/ST FAU_SAA.2.3 PP/ST TSF FAU_SAA.3 TSF () (signature events) PP/ST PP/STTSF PP/ST 192
( / ) FAU_SAA.3 TSF TSF : FAU_SAA.3.1 PP/STTSP TSP FAU_SAA.3.2 PP/ST TOE PP/ST FAU_SAA.4 TSF () PP/ST 193
PP/ST TSF PP/ST TSF PP/ST ( / ) PP/ST FAU_SAA.4 TSF TSF : FAU_SAA.4.1 PP/ST () FAU_SAA.4.1 PP/STTSP TSP FAU_SAA.4.2 PP/ST TOE 194
PP/ST 195
C.5 (FAU_SAR) ; - (TOE ); - TOE; - ; - TSP () (/ ) FAU_SAR.1 IT / ( ) : FAU_SAR.1.1 PP/ST PP/ST( FMT_SMR.1 ) FAU_SAR.1.1 PP/ST 196
FAU_SAR.2 FAU_SAR.1 FAU_SAR.3 ( ) () : FAU_SAR.3.1PP/ST/TSF : FAU_SAR.3.1PP/ST / 197
C.6 (FAU_SEL) FAU_GEN FAU_SEL.1 TOE FMT_MTD.1 TSF : FAU_SEL.1.1 PP/ST : FAU_SEL.1.1 PP/ST 198
C.7 (FAU_STG) / FAU_STG.1 TSC PP/ST TSF () : FAU_STG.1.2 PP/ST TSF FAU_STG.2 PP/ST TSC PP/ST : FAU_STG.2.2 PP/ST TSF 199
FAU_STG.2.3 PP/ST TSF : FAU_STG.2.3 PP/ST TSF 100,000 100,000 FAU_STG.3 : FAU_STG.3.1 PP/ST PP/ST FAU_STG.3.1 PP/ST FAU_STG.4 TOE: TOE ( ) TSF TOE 200
: FAU_STG.4.1 PP/ST TSF TSF : FAU_STG.4.1 PP/ST 201
D (FCO) () TOE FCO_NRO 1 2 FCO_NRR 1 2 24-24 (proof of receipt)(proof of origin) (proof) TSF 202
D.1 (FCO_NRO) / ( ) PP/ST FDP_UIT.1 PP/ST (FCO_NRO.1 ) 2 ( )3 PP/ST 24 PP/ST PP/ST () PP/ST ( ) FCO_NRO.1 : FCO_NRO.1.1 PP/ST 203
: FCO_NRO.1.1 PP/ST / : FCO_NRO.1.1 PP/ST FCO_NRO.1.2 PP/ST; FCO_NRO.1.2 PP/ST : FCO_NRO.1.3 PP/ST / : FCO_NRO.1.3 PP/ST FCO_NRO.1.3 PP/ST 24 FCO_NRO.2 FCO_NRO.2.1 PP/ST * FCO_NRO.2.2 PP/ST; FCO_NRO.2.2 PP/ST : FCO_NRO.2.3 PP/ST / 204
: FCO_NRO.2.3 PP/ST FCO_NRO.2.3 PP/ST 24 205
D.2 (FCO_NRR) / ( ) PP/ST FDP_UIT.1 PP/ST (FCO_NRR.1 ) 2/ ()3 PP/ST 24 PP/ST PP/ST () PP/ST ( ) 206
FCO_NRR.1 : FCO_NRR.1.1 PP/ST : FCO_NRR.1.1 PP/ST / : FCO_NRR.1.1 PP/ST FCO_NRR.1.2 PP/ST; FCO_NRR.1.2 PP/ST : FCO_NRO.1.3 PP/ST / : FCO_NRO.1.3 PP/ST FCO_NRO.1.3 PP/ST 24 FCO_NRR.2 : FCO_NRR.2.1 PP/ST 207
FCO_NRR.2.2 PP/ST; FCO_NRR.2.2 PP/ST : FCO_NRO.2.3 PP/ST / : FCO_NRO.2.3 PP/ST FCO_NRO.2.3 PP/ST 24 208
E (FCS) () TSF (): TOE / FCS: FCS_CKM FCS_COP FCS_CKM FCS_COP TOEPP/STFCS_CKM.1 TOEPP/STFCS_CKM.2 TOEPP/STFCS_CKM.3 TOEPP/STFCS_CKM.4 TOE ( )PP/STFCS_COP.1 FCOFDP_DAU FDP_SDI FDP_UCT FDP_UIT FIA_SOS FIA_UAU FCS TOE 209
25 1 FCS_CKM 2 3 4 FCS_COP 1 25-210
E.1 (FCS_CKM) () ( ) TOE (TOE ) : FAU_GEN PP/ST : a) b) ( ) FIA_SOS.2 TSF FCS_CKM.1 FIA_SOS.2 TSF FCS_CKM.1 ( ) 211
: FCS_CKM.1.1 PP/ST FCS_CKM.1.1 PP/ST FCS_CKM.1.1 PP/ST FCS_CKM.2 : FCS_CKM.2.1 PP/ST FCS_CKM.2.1 PP/ST FCS_CKM.3 : FCS_CKM.3.1 PP/ST 212
( ) FCS_CKM.3.1 PP/ST FCS_CKM.3.1 PP/ST FCS_CKM.4 : FCS_CKM.4.1 PP/ST FCS_CKM.4.1 PP/ST 213
E.2 (FCS_COP) ( ) ( ) TOE FCS_COP a) b) / c) / FAU_GEN PP/ST : a) / / ( ) / / b) ( ) (1 ) c) FCS_COP.1 ( ) : FCS_COP.1.1 PP/ST 214
// ( ) // TSF FCS_COP.1.1 PP/ST DES RAS IDEA FCS_COP.1.1 PP/ST FCS_COP.1.1 PP/ST( ) 215
F (FDP) () TOETOE FDP FIA FPT TSF FIAFPT : Mandatory Access Control(MAC) : Discretionary Access Control(DAC) ; FDP TOEPP/ST / PP/ST ( ) IT () ( 216
)FDP FDP (FDP_IFF.1) (FDP_ACC) TOE (SFP) FDP_ACC FDP_IFC TOE SFP SFP FDP PP/ST FDPSFP (SF) TOESFPPP/ST SFP PP/ST SFPSFP SFP PP/ST FDP_ACCFDP_IFC TOE FDP_ACC FDP_IFC * SFP SFP SFP SFPFDP_ACF FDP_IFF () (* : ) PP/ST 217
a) FDP_ACC FDP_IFC b) ( ) ( A B ) c) FDP_ACCFDP_IFC FDP_ACFFDP_IFF d) FMT e) FMT f) FDP_ROL g) FDP_RIP h) FDP_ITCFDP_ETC i) FDP_ITTTOE j) FDP_SDI k) FDP_UCTFDP_UITTSF 218
26 FDP_ACC 1 2 FDP_ACF 1 FDP_DAU 1 2 FDP_ETC TSF 1 2 FDP_IFC 1 2 1 2 FDP_IFF 3 4 5 6 FDP_ITC TSF 1 2 FDP_ITT TOE 1 3 2 4 26-219
FDP_RIP 1 2 FDP_ROL 1 2 FDP_SDI 1 2 FDP_UCT TSF 1 FDP_UIT TSF 1 2 3 26 - () 220
F.1 (FDP_ACC) () () () Discretionary Access Control(DAC)SFP() SFP SFPFDP_ACF FDP_RIP FDP_ACC SFPSFP SFP 3 SFP SFP FDP_ACC FMT : FMT FDP_ACC SFP SFP PP/ST SFP SFP PP/ST TOE PP/ST TSFSFPACC TOESFP TOE TOE SFPFDP_ACC.1 FDP_ACC.1 221
FDP_ACC.1 TOE PP ( ) - : FDP_ACC.1.1 PP/ST TSF SFP PFDP_ACC.1.1 P/ST SFP FDP_ACC.2 (SFP ) SFP PP/ST SFP : FDP_ACC.2.1 PP/ST TSF SFP FDP_ACC.2.1 PP/ST SFP SFP 222
F.2 (FDP_ACF) FDP_ACC PP/ST PP/ST DAC SF - (ACL) - - - FDP_ACF.1 ( : (ACL)) PP/ST PP/ST 223
TSF CPU TOE ( ) : FDP_ACF.1.1 PP/ST TSF SFP SFP FDP_ACC FDP_ACF.1.1 PP/ST / 1 ACL PP/ST FMT_SMR FDP_ACF.1.2 PP/ST SFP ( ) (ACL) FDP_ACF.1.3 PP/ST 224
FDP_ACF.1.1 FDP_ACF.1.1 FDP_ACF.1.3 SFP PP/ST FDP_ACF.1.4 PP/ST FDP_ACF.1.1 FDP_ACF.1.1 FDP_ACF.1.4 SFP PP/ST 225
F.3 (FDP_DAU) (FCO_NRO ) FDP_DAU.1 ( ) : FDP_DAU.1.1 PP/ST TSF FDP_DAU.1.2 PP/ST FDP_DAU.2 ( ; trusted third party) : FDP_DAU.2.1 PP/ST TSF 226
FDP_DAU.2.2 PP/ST 227
F.4 TSF (FDP_ETC) TOE FPT_TDC TSF TSF FDP_ETC FDP_ITC TOE a) ; b) SFP(/) SFP FDP_ETC.1 : FDP_ETC.1.1 PP/ST SFP( )/SFP( ) SFP 228
FDP_ETC.2 ( ) FTP_ITC TSF IT FPT_TDC TSF TSF FTP_TRP : FDP_ETC.2.1 PP/ST SFP( )SFP( ) SFP FDP_ETC.2.4 PP/ST FDP_ETC.2.1 SFP/ SFP TSF 229
F.5 (FDP_IFC) SFPSFP : - Bell and La Padula [BL] - Biba[Biba] - (Non-Interference) [GOGU1 GOGU2] TOE SFP MAC TOESFP / SFPFDP_IFF FDP_RIPFDP_IFC SFPSFP SFP: / IT IT 2(FDP_IFC.2 ) SFP SFPSFP / SFP 230
SFP SFP SFP SFP SFP SFP ( ) ST : IP TCP/IP PP : PP/ST TOE FDP_IFC.1 TOE : FDP_IFC.1.1 PP/ST TSF SFP FDP_IFC.1.1 PP/ST SFP / PP/ST 231
/ FDP_IFC.2 SFP/ PP/STSFP : FDP_IFC.2.1 PP/ST TSF SFP FDP_IFC.2.1 PP/ST SFP / SFP PP/ST / 232
F.6 (FDP_IFF) FDP_IFC SFP SFP() SFP PP/ST FDP_IFF.1FDP_IFF.2 SFP SFP PP/ST FDP_IFF.1 TSP SFPBell and LaPadula [BL] ( ) 233
: FDP_IFF.1.1 PP/ST TSF SFP SFP FDP_IFC FDP_IFF.1.1 PP/ST (sensitivity) (clearance) FDP_IFF.1.2 PP/ST TSF FDP_IFF.1.3 PP/ST TSFSFP PP/ST FDP_IFF.1.4 PP/ST TSF SFPPP/ST FDP_IFF.1.5 PP/ST FDP_IFF.1.5 SFP PP/ST FDP_IFF.1.6 PP/ST FDP_IFF.1.6 234
SFP PP/ST FDP_IFF.2 TSP SFP(lattice) TSP SFP Bell and LaPadula [BL] FDP_IFF.2.5 FDP_IFF.2.1 SFP SFP SFP SFP PP/STSFP FDP_IFF.2.5 : FDP_IFF.2.1 PP/ST TSF SFP SFP FDP_IFC FDP_IFF.2.1 PP/ST (sensitivity) (clearance) FDP_IFF.2.2 PP/ST TSF 235
FDP_IFF.2.3 PP/ST TSFSFP PP/ST FDP_IFF.2.4 PP/ST TSF SFPPP/ST FDP_IFF.2.5 PP/ST FDP_IFF.2.5 SFP PP/ST FDP_IFF.2.6 PP/ST FDP_IFF.2.6 SFP PP/ST FDP_IFF.3 SFP PP/ST : FDP_IFF.3.1 PP/ST TSF 236
SFP SFP FDP_IFC FDP_IFF.3.1 PP/ST FDP_IFF.3.1 PP/ST FDP_IFF.4 SFP ( ) : FDP_IFF.4.1 PP/ST TSF SFP SFP FDP_IFC FDP_IFF.4.1 PP/ST FDP_IFF.4.1 PP/ST FDP_IFF.4.2 PP/ST FDP_IFF.5 SFP TOEPP/ST TOE 237
: FDP_IFF.5.1 PP/ST SFP SFP FDP_IFC FDP_IFF.6 TSF FAU_GEN : FDP_IFF.6.1 PP/ST TSF SFP SFP FDP_IFC FDP_IFF.6.1 PP/ST FDP_IFF.6.1 PP/STTSF 238
F.7 TSF (FDP_ITC) TSC TOE FPT_TDC TSF TSF FDP_ITC FDP_ETCTOE : a) ( ) ; b) ; c) : ( ) () ( ) ( ) SFP 239
FDP_ITCFDP_ETC ( ) : a) ; b) IT TSF SFP(/)SFP FDP_ITC.1 ( ) TSF PP/ST : FDP_ITC.1.1 PP/STTSC SFP( )/ SFP( ) SFP FDP_ITC.1.3 PP/ST FDP_ITC.1.1 SFP/ SFP TSF 240
FDP_ITC.2 FPT_TDC PP/ST : FDP_ITC.2.1 PP/STTSC SFP( )/ SFP( ) SFP FDP_ITC.2.5 PP/ST FDP_ITC.2.1SFP /SFPTSF 241
F.8 TOE (FDP_ITT) TOE FDP_UCT FDP_UITTSF FDP_ETC FDP_ITCTSF/ TOE PP/ST TOE SFP(/) SFP FDP_ITT.1 : FDP_ITT.1.1 PP/ST SFP( )/SFP( ) : FDP_ITT.1.1 PP/ST TSF FDP_ITT.2 242
: FDP_ITT.2.1 PP/ST SFP( )/SFP( ) : FDP_ITT.2.1 PP/ST TSF : FDP_ITT.2.2 PP/ST TOE FDP_ITT.3 FDP_ITT.1FDP_ITT.2 TSF() FDP_ITT.1FDP_ITT.2 (FDP_ITT.3) PP/ST PP/ST : PP/ST TSF : 243
: FDP_ITT.3.1 PP/ST SFP( )/ SFP( ) FDP_ITT.3.1 PP/ST FDP_ITT.3.2 PP/STTSF TSF FDP_ITT.3.1 SFPTSF FDP_ITT.4 FDP_ITT.2TSF () PP/ST PP/ST PP/ST : PP/ST () PP/ST TSF : : FDP_ITT.4.1 PP/ST SFP( )/ SFP( ) FDP_ITT.4.1 PP/ST 244
FDP_ITT.4.1 PP/ST FDP_ITT.2 FDP_ITT.4.2 PP/STTSF TSF FDP_ITT.3.1 SFPTSF 245
F.9 (FDP_RIP) TOE ( ) TSF () () FDP_RIP FDP_RIP ; A B AA BFDP_RIP FDP_RIP TOE FDP_RIP TSF PP/ST TSF( ) FDP_RIP FDP_RIP FDP_ROL FDP_RIPFDP_ROL FDP_ROL 246
FDP_RIP SFPSFP SFP( )SFP( ) PP/ST FDP_RIP.1 TOE TSF : FDP_RIP.1.1 PP/ST : FDP_RIP.1.1 PP/ST FDP_RIP.2 TOE TSF : FDP_RIP.2.1 PP/ST 247
F.10 (FDP_ROL) FDP_RIP FDP_RIP FDP_ROL FDP_RIP FDP_ROL FDP_RIPFDP_RIP FDP_ROLFDP_ROL TOE FDP_ROL.1 : FDP_ROL.1.1 PP/ST SFP( )/SFP( ) SFP FDP_ROL.1.1 PP/ST 248
FDP_ROL.1.1 PP/ST / FDP_ROL.1.2 PP/ST 2 FDP_ROL.2 TSF ; : FDP_ROL.2.1 PP/ST SFP( )/SFP( ) SFP FDP_ROL.2.1 PP/ST FDP_ROL.2.2 PP/ST 2 249
F.11 (FDP_SDI) TSC TSC ()FDP_IFF FDP_ACF TOE FDP_ITT TOE FDP_SDI.1 PP/ST : FDP_SDI.1.1 PP/ST TSF FDP_SDI.1.1 PP/ST FDP_SDI.2 PP/ST 250
: FDP_SDI.1.1 PP/ST TSF FDP_SDI.1.1 PP/ST FDP_SDI.2.2 PP/ST 251
F.12 TSF (FDP_UCT) TOEIT TSF FPT_ITC TSF FDP_UCT.1 TSF : FDP_UCT.1.1 PP/ST SFP( )/SFP( ) : FDP_UCT.1.1 PP/ST 252
F.13 TSF(FDP_UIT) TSFIT ; FPT_ITI TSF FDP_UCT FDP_UIT FDP_UCT FDP_UITFDP_UCT FDP_ITC FDP_UIT.1 TSF TSF : FDP_UIT.1.1 PP/ST SFP( )SFP( ) : FDP_UIT.1.1 PP/ST TSF FDP_UIT.1.1 PP/ST FDP_UIT.1.2 PP/ST 253
FDP_UIT.2 IT IT TSC TSF ITTSF IT TSF : FDP_UIT.2.1 PP/ST SFP( )SFP( ) FDP_UIT.2.1 PP/STIT TSF FDP_UIT.3 IT TSF : FDP_UIT.3.1 PP/ST SFP( )SFP( ) FDP_UIT.3.1 PP/STTSF 254
G (FIA) () TOE TSFTSF ( ) FIA_UID FIA_UAU FIA_AFL FIA_ATDTSP FIA_USB FIA_SOS 27 255
FIA_AFL 1 FIA_ATD 1 FIA_SOS 1 2 1 2 3 FIA_UAU 4 5 6 7 FIA_UID 1 2 FIA_USB 1 27-256
G.1 (FIA_AFL) TSF () ( ) FIA_AFL.1 PP/ST TOE PP/STTSF PP/ST TOE PP/ST TSF : / ( ) 257
FIA_AFL.1.1 PP/ST : FIA_AFL.1.1 PP/ST FIA_AFL.1.1 PP/ST TOE FIA_AFL.1.1 PP/ST : 10 FIA_AFL.1.2 PP/ST 5 (2 ) () 258
G.2 (FIA_ATD) TSP TSP FIA_ATD.1 ( ) ( ) : FIA_ATD.1.1 PP/ST { } 259
G.3 (FIA_SOS) TOE FIA_SOS.1 TOE FIA_SOS.2 TOE FCS FIA_SOS.1 : FIA_SOS.1.1 PP/ST / FIA_SOS.2 TSF TSF 260
( ) : FIA_SOS.2.1 PP/ST / FIA_SOS.2.2 PP/ST TSF TSF 261
G.4 (FIA_UAU) TSF FIA_UAU.1 TSF TSFPP/ST TSF TSF TSF FIA_UID.1FIA_UID.2 : FIA_UAU.1.1 PP/ST TSF TSF FIA_UAU.2 FIA_UAU.2 TSF 262
FIA_UAU.3 / TSF ( ) TSFTSF : FIA_UAU.3.1 PP/ST TSF FIA_UAU.3.2 PP/ST TSF FIA_UAU.4 / PP/ST( ) : FIA_UAU.4.1 PP/ST 263
FIA_UAU.5 TOE FIA FMT FIA_UAU.5.2 : FIA_UAU.5.1 PP/ST () S/ FIA_UAU.5.2 PP/ST : ; PP/ST : ; PP/ST FIA_UAU.6 TSF ( TSF) 264
TSF : FIA_UAU.6.1 PP/ST TSF PP/ST : 11; 101 FIA_UAU.7 () : FIA_UAU.7.1 PP/ST 265
G.5 (FIA_UID) TSF FIA_UID.1 PP/ST FIA_UID.1 FIA_UID.1 TSF FIA_UAU.1 : FIA_UID.1.1 PP/ST TSF TSF FIA_UID.2 FIA_UID.2 TSF 266
G.6 (FIA_USB) TOE () FIA_USB.1 () : FIA_USB.1.1 PP/ST FIA_USB.1.2 PP/ST FIA_USB.1.3 PP/ST 267
H (FMT) () TSF: TSF TSF TOE TSF TOE FMT_REV.1 FMT_SAE.1 FPT_TRC 28 268
FMT_MOF TSF 1 FMT_MSA 2 1 3 FMT_MTD TSF 2 1 3 FMT_REV 1 FMT_SAE 1 FMT_SMF.1 1 FMT_SMR 1 2 3 28-269
H.1 TSF (FMT_MOF) TSFTOE a) TOE ( ) ( ) ( ) b) c) TOE TOE( ) d) TOE / PP ST TOE PP/ST TSF / FMT_MOF.1 TSF / 270
: FMT_MOF.1.1 PP/ST / : FMT_MOF.1.1 PP/ST FMT_MOF.1.1 PP/ST TSF FMT_SMR.1 271
H.2 (FMT_MSA) TSF / () ( ) / FMT_MSA.1 FMT_MSA.2 TOE TSP FMT_MSA.2 ADV_SPM.1 FMT_MSA.1 FMT_MSA.1 FMT_SMR.1 () : FMT_MSA.1.1 PP/ST SFPSFP 272
: FMT_MSA.1.1 PP/ST PP/ST : FMT_MSA.1.1PP/ST FMT_MSA.1.1 PP/ST PP/ST FMT_MSA.1.1 PP/ST FMT_SMR.1 FMT_MSA.2 TOE TOE ( ADV_SPM.1 TOE ) FMT_MSA.3 TSF 273
: FMT_MSA.3.1 PP/ST SFPSFP : FMT_MSA.3.1 PP/ST : FMT_MSA.3.1 PP/ST PP/ST : FMT_MSA.3.2 PP/ST FMT_SMR.1 274
H.3 TSF(FMT_MTD) TSF TSF FMT_MTD.1 TSF TSF FMT_SMR.1 () : FMT_MTD.1.1 PP/STTSF PP/ST TSF TSF PP/ST TSFTSF : FMT_MTD.1.1 PP/ST FMT_MTD.1.1 PP/ST TSF PP/ST FMT_MTD.1.1 PP/ST TSF FMT_SMR.1 275
FMT_MTD.2 TSF TSF : FMT_MTD.2.1 PP/ST TSF TSF FMT_MTD.2.1 PP/ST TSF FMT_SMR.1 FMT_MTD.2.2 PP/ST TSF TSF FMT_MTD.3 TSF TSF TOE TOE ( ADV_SPM.1 TOE ) FMT_MSA.3 ADV_SPM.1 276
H.4 (FMT_REV) TOE FMT_REV.1 : a) ; b) ; c) x : FMT_REV.1.1 PP/ST TSF : FMT_REV.1.1 PP/ST TSF : FMT_REV.1.1 PP/ST TSF FMT_SMR.1 FMT_REV.1.2 PP/ST 277
H.5 (FMT_SAE) ( ANSI X509 ) FMT_SAE.1 : FMT_SAE.1.1 PP/ST FMT_SAE.1.1 PP/ST TSF FMT_SMR.1 FMT_SAE.1.2 PP/ST TOE PP/ST 278
H.6 FMT_SMF TOE TSF FMT_SMF.1 PP/ST PP/ST FMT_SMF.1.1 PP/ST TSF TSF 279
H.7 (FMT_SMR) TSF (UNIX ) ( ) FMT_MOF FMT_MSA FMT_MTD ( () ) FMT_SMR.1 TSF : FMT_SMR.1.1 PP/ST : 280
FMT_SMR.2 TSF : FMT_SMR.2.1 PP/ST : FMT_SMR.2.3 PP/ST : FMT_SMR.3 : FMT_SMR.3.1 PP/ST : 281
I (FPR) () PP/ST 29 FPR_ANO 1 2 FPR_PSE 1 2 3 FPR_UNL 1 1 2 FPR_UNO 3 4 29 - ( ) FIA FAU ( ) 282
PP/ST FAU 4 : ( ) TSF TSF / PP/ST : TSF / TSF 1 A B 283
I.1 (FPR_ANO) PP/ST ; TSF TSF FPR_ANO.2TSF (determine)pp/st / PP/ST/ : ( ) 284
( ) FPR_ANO.1 : FPR_ANO.1.1 PP/ST TSF / PP/ST TSF / FPR_ANO.1.1 PP/ST ( ) / / FPR_ANO.2 TSF : FPR_ANO.2.1 PP/ST TSF / PP/ST TSF / 285
FPR_ANO.2.1 PP/ST ( ) / / FPR_ANO.2.2 PP/ST( ) FPR_ANO.2.2 PP/ST ( ) ( ) 286
I.2 (FPR_PSE) TSF () FPR_PSE.1 : FPR_PSE.2 FPR_PSE.3 () PP/ST(FPR_PSE.2) () PP/ST FPR_PSE.3 FPR_PSE.2 ; FPR_PSE.3 ( ) 287
TSF TSF TSF FPR_PSE ( ) ( ) FPR_PSE.1 : FPR_PSE.1.1 PP/ST TSF / PP/ST TSF / FPR_PSE.1.1 PP/ST ( ) / 288
/ FPR_PSE.1.2 PP/ST TSF( ) FPR_PSE.1.2 PP/ST TSF : FPR_PSE.1.3 PP/STTSF : FPR_PSE.1.3 PP/ST TSF FPR_PSE.2 TSF FPR_PSE.1 TSF : TSF : FPR_PSE.2.1 PP/ST TSF / PP/ST TSF / 289
FPR_PSE.2.1 PP/ST ( ) / / FPR_PSE.2.2 PP/ST TSF( ) FPR_PSE.2.2 PP/ST TSF : FPR_PSE.2.3 PP/STTSF : FPR_PSE.2.3 PP/ST TSF : FPR_PSE.2.4 PP/ST/ : FPR_PSE.2.4 PP/ST FPR_PSE.2.4 PP/ST FPR_PSE.3 TSF 290
: FPR_PSE.3.1 PP/ST TSF / PP/STTSF / FPR_PSE.3.1 PP/ST ( ) / / FPR_PSE.3.2 PP/ST TSF( ) FPR_PSE.3.2 PP/ST TSF : FPR_PSE.3.3 PP/STTSF : FPR_PSE.3.3 PP/ST TSF FPR_PSE.3.4 PP/ST 291
I.3 (FPR_UNL) PP/ST ( ) ( ) FPR_UNL.1 292
: FPR_UNL.1.1 PP/ST TSF / PP/ST TSF / FPR_UNL.1.1 PP/ST : FPR_UNL.1.1 PP/ST : FPR_UNL.1.1 PP/ST 293
I.4 (FPR_UNO) : a) : ( )TOE TOE TOE TOE FPR_UNO.2 b) : ( ) ( ) c) : FPR_UNO.4 TOETOE TOE FPT_SEP 294
FPR_UNO.1 PP/ST : FPR_UNO.1.1 PP/ST TSF / PP/ST TSF / FPR_UNO.1.1 PP/ST / ( ) FPR_UNO.1.1 PP/ST ftp FPR_UNO.1.1 PP/ST / FPR_UNO.2 TOE TOE TOE 295
TOE TOE TOE TOE TOE ( ) PP/ST : FPR_UNO.2.1 PP/ST TSF / PP/ST TSF / FPR_UNO.2.1 PP/ST / ( ) FPR_UNO.2.1 PP/ST ftp FPR_UNO.2.1 PP/ST / FPR_UNO.2.2 PP/ST IPIP FPR_UNO.2.2 PP/ST 296
TOE TOE TOE TOE TOE 5 TOE FPR_UNO.3 TSF TSF () : FPR_UNO.3.1 PP/ST ( ) FPR_UNO.3.1 PP/ST FPR_UNO.3.1 PP/ST FPR_UNO.4 297
: FPR_UNO.4.1 PP/ST TSF FPR_UNO.4.1 PP/ST / 298
J TSF (FPT) () TSF(TSP ) TSF(TSP ) FDP() FDP FPT TSF FPT TOE SFP 30 299
TSF FPT_AMT 1 FPT_FLS 2 FPT_ITA TSF 1 FPT_ITC TSF 1 FPT_ITI TSF 1 2 FPT_ITT TOE TSF 1 2 3 FPT_PHP TSF FPT_RCV 1 2 3 1 2 3 4 30 - TSF 300
TSF FPT_RPL 1 FPT_RVM 1 FPT_SEP 1 2 3 FPT_SSP 1 2 FPT_STM 1 FPT_TDC TSF TSF 1 FPT_TRC TOE TSF 1 FPT_TST TSF 1 30 - TSF() TSF a) TSF TSF b) TSF TSP c) TSF TSP FPT a) FPT_PHP(TSF ) TSF TOE b) FPT_AMT( ) FPT_TST(TSF ) TSFTSF 301
c) FPT_SEP() FPT_RVM() TSF TSF ADV_INT(TSF) TOE d) FPT_RCV( ) FPT_FLS() FPT_TRC(TOE TSF) TSF e) FPT_ITA( TSF ) FPT_ITC( TSF ) FPT_ITI( TSF )TSFITTSF f) FPT_ITT(TOE TSF ) TOE TSF g) FPT_RPL() / h) FPT_SSP( ) TSFTSF i) FPT_STM( ) j) FPT_TDC(TSF TSF) TSFIT TSF 302
J.1 (FPT_AMT) TSF TSF/ / TOE FPT_RCV TSF TSF a) ( ) b) ( ) TSF FPT_AMT.1 TSF 303
PP/ST : FPT_AMT.1.1 PP/ST TSF TOE TOE TOE TOE FPT_AMT.1.1 PP/ST 304
J.2 (FPT_FLS) TSFTOE TSP FPT_FLS.1 TSF TSF TSP TSP FPT_FLS.1ADV_SPM.1 PP/ST TSF TSF TSF TSF : FPT_FLS.1.1 PP/ST TSF TSF TSP 305
J.3 TSF (FPT_ITA) TSFITTSF TSF TSF TSF TSFIT TSF IT TSF TSF TSF FPT_ITA.1 TSF : FPT_ITA.1.1 PP/STTSF FPT_ITA.1.1 PP/ST TSF FPT_ITA.1.1 PP/ST : TOE IT 306
J.4 TSF (FPT_ITC) TSF ITTSF TSF TSF TSF TSFIT TSF IT TSF FPT_ITC.1 TSF TSF 307
J.5 TSF (FPT_ITI) TSF ITTSF TSF TSF TSF TSFIT IT IT IT TSF FPT_ITI.1 TSF IT TOE TSF : FPT_ITI.1.1 PP/ST FPT_ITI.1.2 PP/STTSF : TSF TSF 308
FPT_ITI.2 TSF TSF (1000 ) ( ) : FPT_ITI.1.1 PP/ST FPT_ITI.1.2 PP/STTSF : TSF TSF FPT_ITI.2.3 PP/ST TSF 309
J.6 TOE TSF (FPT_ITT) TSFTOE TSF ( ) TOE TSF FPT_ITT.1 TSF : FPT_ITT.1.1 PP/ST ( ) FPT_ITT.2 TSF SFPTSF : FPT_ITT.2.1 PP/ST ( ) FPT_ITT.3 TSF 310
: FPT_ITT.3.1 PP/ST TSF PP/ST : : FPT_ITT.3.1 PP/ST TSF FPT_ITT.3.2 PP/ST 311
J.7 TSF (FPT_PHP) TSFTSF TSF TSF TSF TSF TSF TSF TOE : TSF () ( (LED) )PP/ST PP/ST FPT_PHP.1 FPT_PHP.1TOE TSF 312
TSF FMT_MOF.1 IT () FPT_PHP.2 TOE FPT_PHP.2TSF : FPT_PHP.2.3 PP/ST TSF/ FPT_PHP.2.3 PP/ST PP/ST (FMT_MOF.1 ) FPT_PHP.3 TSF TSFTSF TSF TSF() : FPT_PHP.3.1 PP/ST TSF TSF/ 313
TSF TSF ; FPT_PHP.3.1 PP/ST TSF TSF/ 314
J.8 (FPT_RCV) TOE TSF TSF TSF a) ( TSF ) b) TSF ( / ) c) ( ) ( ) FPT_RCV FPT_RCV FPT_TST a) TSF TSF b) TOE 315
TSF TSF c) a) b)tsf TOE TSF d) / FMTFMT TOE TSPTOE FPT_TST(TSF ) FPT_FLS() FPT_RCV TOE TOE TSF TSF TSP FPT_RCV ADV_SPM.1 TSF TSF FPT_TST.1 316
FPT_RCV.1 TOE TOE FPT_RCV.1.1 PP/ST TOE / FPT_RCV.2 FPT_RCV.2 FPT_RCV.1 TOE 317
FPT_RCV.2.1 TSF : FPT_RCV.2.1 PP/ST TOE / FPT_RCV.2.2 PP/ST FPT_RCV.3 FPT_RCV.3TSCTSF FPT_RCV.2FPT_RCV.2 TSF FPT_RCV.3 TSCTSF TOE : 318
FPT_RCV.3.1 PP/ST TOE / FPT_RCV.3.2 PP/ST FPT_RCV.3.3 PP/ST TSF FPT_RCV.4 TSFTSF SF : FPT_RCV.4.1 PP/ST SF SF 319
J.9 (FPT_RPL) FPT_RPL.1 : FPT_RPL.1.1 PP/ST FPT_RPL.1.2 PP/STTSF : 320
J.10 (FPT_RVM) TSC SFP SFP SFP TSFSFP TSF FPT_SEP()ADV_INT(TSF) * TSF SFP (*: "than" "then") TSPTSF 3 : a) ; FPT_SEP b) ; FPT_RVM c) () ADV_INT TSFTSC TSP ( ) TSP TSP SFP () TSF SFP TSF SFP SFP ( 321
)SFP SFPSFP FPT_RVM.1 TSP FPT_SEP.2(SFP) FPT_SEP.3( ) ADV_INT.3( ) FDP 322
J.11 (FPT_SEP) TSF (TSF)TSF TSF TSF : a) TSF () b) c) d) TSF TSF FPT_SEP.2(SFP) FPT_SEP.3( ) FPT_RVM.1(TSP ) ADV_INT.3( ) FDP FPT_SEP.1 TSF TSF TSF TSF / TSF 323
FPT_SEP.2 SFP TSFSFPSFP (RM) ( ) TSF SFP SFP SFP (SFP ) SFP FPT_SEP.2.1TSF TSF FPT_SEP.2.3 TSF : FPT_SEP.2.3 PP/ST TSP/SFP FPT_SEP.3 TSFSFP /SFPTSF (RM) ( ) TSF SFP SFP SFP 324
(SFP ) SFP 325
J.12 (FPT_SSP) FPT_SSPTSF FPT_SSPTOE () ; ; PP/ST ( ) FPT_SSP.1 TSFTSF TOE TOE FPT_SSP.2 TSF TSFTSF TSF TSFTSF TSF TSF 326
J.13 (FPT_STM) TOE PP/ST FPT_STM.1 327
J.14 TSF TSF(FPT_TDC) TOEIT TSF ( SFP) TOE TSF IT TSF TOE TSFIT TSF TSF FDP_ETCFDP_ITC TSF/ TSF FPT_ITI TSF TSF FPT_TDC.1 TSF TSF TSF TSF TSFTSF IT ( TOE ) TOEITTSF : FPT_TDC.1.1 PP/ST TSFIT TSF TSF FPT_TDC.1.2 PP/STTSF 328
J.15 TOE TSF(FPT_TRC) TSFTOE TOE TOETOE ( ) ; PP/ST ; FPT_TDC.1 TSF TSF : FPT_TRC.1.2 PP/ST TSF SF 329
J.16 TSF (FPT_TST) TSF TOE TOE TOE () TSF (TSF)TSF /TSF TSF TOE TSF TSFTSF TSF FPT_AMT FPT_TST.1 TSF TSF TSF : FPT_TST.1.1 PP/ST TSF TSF 330
; PP/ST FPT_TST.1.1 PP/ST TSF TSF FPT_TST.1.2 PP/ST TSF : FPT_TST.1.1 PP/ST FPT_TST.1.1 PP/ST TSF TSF FPT_TST.1.2 PP/ST TSF 331
K (FRU) () / TOE 31 FRU_FLT 1 2 FRU_PRS 1 2 FRU_RSA 1 2 31-332
K.1 (FRU_FLT) TOE PP/STTOE TOETSP FPT_FLS.1 : TSF TOE ; TOE( ) ( )() FRU_FLT.1 TOE CPU : FRU_FLT.1.1 PP/ST TOE TOE FRU_FLT.1.1 PP/ST TOE 333
TOE FRU_FLT.2 TOE CPU : FRU_FLT.2.1 PP/ST TOE TOE 334
K.2 (FRU_PRS) TSC TSC TSF FRU_PRS.1 / : FRU_PRS.1.2 PP/ST TSF ( ) 335
FRU_PRS.2 TSC TSC/ 336
K.3 (FRU_RSA) TSCTSF : - / - TSF/ ( ) ( ) ( CPU) FRU_RSA.1 TOE TOE 337
: FRU_RSA.1.1 PP/ST ( ) TSC TSC : FRU_RSA.1.1 PP/ST FRU_RSA.1.1 PP/ST ( ) FRU_RSA.2 TOE TOE : FRU_RSA.2.1 PP/ST ( ) TSC TSC : FRU_RSA.2.1 PP/ST FRU_RSA.2.1 PP/ST ( ) : 338
FRU_RSA.2.2 PP/ST ( ) TSC TSC : FRU_RSA.2.2 PP/ST FRU_RSA.2.2 PP/ST ( ) 339
L TOE(FTA) () TOE TOE / ( ) 32TOE TOE FTA_LSA 1 FTA_MCS 1 2 1 FTA_SSL 2 3 FTA_TAB TOE 1 FTA_TAH TOE 1 FTA_TSE TOE 1 32 - TOE 340
L.1 (FTA_LSA) : ; ; / ( ) PP/ST TSF : a) ( vtam) b) c) FTA_LSA.1 : FTA_LSA.1.1 PP/ST FTA_LSA.1.1 PP/ST 341
342
L.2 (FTA_MCS) () FTA_MCS.1 TOE : FTA_MCS.1.2 PP/ST FTA_MCS.2 FTA_MCS.1 : FTA_MCS.2.1 PP/ST 1 5 FTA_MCS.2.2 PP/ST 343
L.3 (FTA_SSL) TSF( ) TOE () TSF( ) ( ) PP/ST TOE PP/ST FTP_TRP.1 FTP_TRP.1 FTA_SSL.1 TSF FTA_SSL.1 TSFTSF PP/ST ( )( ) : FTA_SSL.1.1 PP/ST PP/ST FMT FTA_SSL.1.2 PP/ST : 344
FTA_SSL.2 FTA_SSL.2 / : FTA_SSL.2.2 PP/ST : FTA_SSL.3 TSF FTA_SSL.3 TSF TSF PP/ST/ : FTA_SSL.3.1 PP/ST PP/ST FMT 345
L.4 TOE (FTA_TAB) TOETOE FTA_TAB.1 TOE TOE PP/ST 346
L.5 TOE(FTA_TAH) TOE TSF TOE TOE FTA_TAH.1 TOE : FTA_TAH.1.1 PP/ST : (ftp) / (50) FTA_TAH.1.2 PP/ST : (ftp) / (50) 347
L.6 TOE(FTA_TSE) ( ) ( )TOE TOE TOE PP/ST : a) TOE b) TOE - ; - ; - ; - TOE a) TOE 348
FTA_TSE.1 TOE : FTA_TSE.1.1 PP/ST ()( ) (X ) 349
M /(FTP) () TSF TSF TSF IT CC2TOETOE ( TOETSFTSF / ) 33 / / FTP_ITC TSF 1 FTP_TRP 1 33 - / 350
M.1 TSF(FTP_ITC) TSFIT TSF FTP_ITC.1 TSF TSFIT : FTP_ITC.1.2 PP/ST TSFIT : FTP_ITC.1.3 PP/ST / TSF 351
M.2 (FTP_TRP) TSF / TSFTSF FTP_TRP.1 TSF : FTP_TRP.1.1 PP/ST / FTP_TRP.1.2 PP/ST TSF / FTP_TRP.1.3 PP/ST / : FTP_TRP.1.3PP/ST 352