【正文】 LC_ LC D 1 2 2 3生命周期支持ALC_ TA T 1 2 3 3ATE_ CO V 1 2 2 2 3 3ATE_ DP T 1 1 2 2 3ATE_ FU N 1 1 1 1 2 2測(cè)試ATE_ IN D 1 2 2 2 2 2 3AVA_ CC A 1 2 2AVA_ MS U 1 2 2 3 3AVA_ SO F 1 1 1 1 1 1脆弱性評(píng)定AVA_ VL A 1 1 2 3 4 4102 itsec EAL1—功能測(cè)試 ? EAL1適用于安全的威脅并不嚴(yán)重的場(chǎng)合 ? TOE的功能與其文檔在形式上是一致的，并且對(duì)已標(biāo)識(shí)的威脅提供了有效的保護(hù)。 ? 利用功能和接口的規(guī)范以及指導(dǎo)性文檔，對(duì)安全功能進(jìn)行分析，進(jìn)行 獨(dú)立性測(cè)試 ? 保證組件： – 版本號(hào) – 安裝、生成和啟動(dòng)程序 – 非形式化功能規(guī)范 – – 管理員指南 – – —— 一致性 103 itsec 安全保證級(jí)別 1(EAL1) 保證類 保證組件配置管理 A C M_ C A P .1 版本號(hào)分發(fā)和操作 A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP . 1 非形式化功能規(guī)范開(kāi)發(fā)A D V _ R C R . 1 非形式化相關(guān)性闡明A G D _ A D 管理員指南指導(dǎo)性文件A G D _ U S R .1 用戶指南測(cè)試 A T E_I N D .1 獨(dú)立性測(cè)試—— 一致性104 itsec EAL2—結(jié)構(gòu)測(cè)試 ? EAL2適用于在缺乏現(xiàn)成可用的完整的開(kāi)發(fā)記錄時(shí)，開(kāi)發(fā)者或使用者需要一種低到中等級(jí)別的獨(dú)立保證的安全性。 ? 增加： – 配置項(xiàng) – 交付程序 – 描述性高層設(shè)計(jì) * – 范圍證據(jù) – 功能測(cè)試 – 獨(dú)立性測(cè)試 —— 抽樣 – TOE安全功能強(qiáng)度評(píng)估 * – * 105 itsec 安全保證級(jí)別 2(EAL2) 保證類 保證組件配置管理 A C M_ C A P .2 配置項(xiàng)A D O _ D E 分發(fā)過(guò)程分發(fā)和操作A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP .1 非形式化功能規(guī)范A D V _H L D .1 描述性高層設(shè)計(jì)開(kāi)發(fā)A D V _R C 非形式化相關(guān)性闡明A G D _ A D M .1 管理員指南指導(dǎo)性文件A G D _ U S 用戶指南A T E_ C O V .1 范圍證據(jù)A T E_F U N .1 功能測(cè)試測(cè)試A T E_I N D .2 獨(dú)立性測(cè)試——抽樣 A V A _ SO F .1 T O E 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A _V L A .1 開(kāi)發(fā)者脆弱性分析106 itsec EAL3—系統(tǒng)地測(cè)試和檢查 ? EAL3適用于開(kāi)發(fā)者或使用者需要一個(gè)中等級(jí)別的安全性，和不需要再次進(jìn)行真正的工程實(shí)踐的情況下，對(duì) TOE及其開(kāi)發(fā)過(guò)程進(jìn)行徹底檢查。 ? 增加組件： – 授權(quán)控制 – TOE 配置管理（ CM） 范圍 – 安全加強(qiáng)的高層設(shè)計(jì) * – 安全措施標(biāo)識(shí) * – 范圍分析 – 測(cè)試：高層設(shè)計(jì) – 指南審查 107 itsec 安全保證級(jí)別 3(EAL3) 保證類 保證組件A C M_ C A P .3 授權(quán)控制配置管理A C M_ SC P .1 T O E C M 范圍A D O _ D EL .1 分發(fā)過(guò)程分發(fā)和操作A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP .1 非形式化功能規(guī)范A D V _H L D .2 安全加強(qiáng)的高層設(shè)計(jì)開(kāi)發(fā)A D V _R C 非形式化相關(guān)性闡明A G D _ A D M .1 管理員指南指導(dǎo)性文件A G D _ U S 用戶指南生命周期支持 A L D _ D V 安全措施說(shuō)明A T E_ C O V . 2 1 范圍分析A T E _ D P T . 1 測(cè)試 : 高層設(shè)計(jì)A T E_F U N .1 功能測(cè)試測(cè)試A T E_I N D . 2 獨(dú)立性測(cè)試——抽樣A V A _ MS U .1 指南檢查A V A _ SO F .1 T O E 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A _ V L A .1 開(kāi)發(fā)者脆弱性分析108 itsec EAL4—系統(tǒng)地設(shè)計(jì)、測(cè)試和復(fù)查 ? EAL4適用于：開(kāi)發(fā)者或使用者對(duì)傳統(tǒng)的商品化的TOE需要一個(gè)中等到高等級(jí)別的安全性，并準(zhǔn)備負(fù)擔(dān)額外的安全專用工程費(fèi)用。 ? 增加組件： ? 部分配置管理（ CM） 自動(dòng)化 ? 產(chǎn)生支持和接受程序 ? 跟蹤配置管理（ CM） 范圍問(wèn)題 ? 修改檢測(cè) ? 完全定義的外部接口 * ? TSF實(shí)現(xiàn)的子集 * ? 描述性低層設(shè)計(jì) * ? 開(kāi)發(fā)者定義的生命周期模型 ? 明確定義的開(kāi)發(fā)工具 ? 分析確認(rèn) ? 獨(dú)立脆弱性分析 *(穿透性測(cè)試） 109 itsec 安全保證級(jí)別 4(EAL4) 保證類 保證組件A C M_ A U T .1 部分 CM 自動(dòng)化A C M_ C A P .4 產(chǎn)生支持和接受過(guò)程配置管理A C M_ SC P .2 跟蹤 CM 范圍問(wèn)題A D O _ D E 修改檢測(cè)分發(fā)和操作A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP . 2 完全定義的外部接口A D V _ H L D .2 安全加強(qiáng)的高層設(shè)計(jì)A D V _I M P .1 TS F 實(shí)現(xiàn)的子集A D V _L L D .1 低層設(shè)計(jì)的描述A D V _R C 非形式化相關(guān)性闡明開(kāi)發(fā)A D V _S 非形式化 T O E 安全策略模型A G D _ A D M .1 管理員指南指導(dǎo)性文件A G D _ U S 用戶指南A L C _D V 安全措施說(shuō)明A L C _L C D .1 開(kāi)發(fā)者定義的生命周期模型生命周期支持A L C _T A T .1 定義明確的開(kāi)發(fā)工具A T E_C O V .2 范圍分析A T E_ D PT .1 測(cè)試：高層設(shè)計(jì)A T E_F U N .1 功能測(cè)試測(cè)試A T E_I N D . 2 獨(dú)立性測(cè)試——抽樣 A V A _ MS U .2 分析確認(rèn) A V A _ SO F .1 T O E 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A _V L A .2 獨(dú)立脆弱性分析110 itsec EAL5—半形式化設(shè)計(jì)和測(cè)試 – TOE安全策略的形式化模型，功能規(guī)范和高層設(shè)計(jì)的半形式化表示，及它們之間對(duì)應(yīng)性的半形式化論證。還需模塊化的 TOE設(shè)計(jì)。 – 這種分析也包括對(duì)開(kāi)發(fā)者的隱蔽信道分析的確認(rèn) – 增加組件： ? 開(kāi)發(fā)工具配置管理（ CM） 范圍 ? 半形式化功能規(guī)范 * ? 半形式化高層設(shè)計(jì) * ? TSF實(shí)現(xiàn) ? 模塊化 * ? * ? TOE安全策略模型 ? 標(biāo)準(zhǔn)化生命周期模型 * ? 遵從實(shí)現(xiàn)標(biāo)準(zhǔn) ? 測(cè)試：低層設(shè)計(jì) * ? 隱蔽信道分析 * ? 中級(jí)抵抗力 111 itsec 安全保證級(jí)別 5(EAL5) 保證類 保證組件A C M _ A U T .1 部分 CM 自動(dòng)化A C M _ CA P .4 生成支持和接受過(guò)程配置管理A C M_ SC P .3 C M 范圍開(kāi)發(fā)工具A D O _ D EL .2 修改檢測(cè)分發(fā)和操作A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP . 3 半形式化功能規(guī)范A D V _ H L D .3 半形式化高層設(shè)計(jì)A D V _I M P .2 TS F 實(shí)現(xiàn)A D V _I N T .1 模塊化A D V _L L D .1 低層設(shè)計(jì)的描述A D V _ R C R . 2 半形式化相關(guān)性闡明開(kāi)發(fā)A D V _S 形式化 T O E 安全策略模型A G D _ A D M .1 管理員指南指導(dǎo)性文件A G D _ U S 用戶指南A L C _D V 安全措施標(biāo)識(shí)A L C _L C D .2 標(biāo)準(zhǔn)化生命周期模型生命周期支持A L C _T A T .2 遵照實(shí)現(xiàn)的標(biāo)準(zhǔn)A T E_C O V .2 范圍分析A T E_ D P T . 2 測(cè)試：低層設(shè)計(jì)A T E_F U N .1 功能測(cè)試測(cè)試A T E_I N D . 2 獨(dú)立性測(cè)試——抽樣 A V A _ C C A .1 隱蔽通道分析 A V A _M S U .2 分析確認(rèn) A V A _ SO F .1 T O E 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A _V L A .3 中等抵抗力112 itsec EAL6—半形式化驗(yàn)證的設(shè)計(jì)和測(cè)試 ? 低層設(shè)計(jì) 的半形式化表示 ? 結(jié)構(gòu)化的開(kāi)發(fā)流程 ? 增加組件： – 完全配置管理（ CM） 自動(dòng)化 – 高級(jí)支持 – 半形式化高層解釋 – TSF的結(jié)構(gòu)化實(shí)現(xiàn) – 復(fù)雜性降低 – – 安全措施的充分性 – 遵從實(shí)現(xiàn)標(biāo)準(zhǔn) ——所有部分 – 范圍的嚴(yán)格分析 – 順序的功能測(cè)試 – – 對(duì)非安全狀態(tài)的分析和測(cè)試 – 高級(jí)抵抗力 113 itsec 安全保證級(jí)別 6(EAL6) 保證類 保證組件A C M_ A U T .2 完全 CM 自動(dòng)化A C M_ C A P .5 高級(jí)支持配置管理A C M _S C P .3 C M 范圍開(kāi)發(fā)工具A D O _ D EL .2 修改檢測(cè)分發(fā)和操作A D O _I G 安裝、生成和啟動(dòng)過(guò)程A D V _F SP . 3 半形式化功能規(guī)范A D V _H L D .4 半形式化高層解釋A D V _I M P .3 TS F 的結(jié)構(gòu)化實(shí)現(xiàn)A D V _I N T .2 復(fù)雜度降低A D V _L L D .2 低層設(shè)計(jì)的半形式化描述A D V _R C 半形式化相關(guān)性闡明開(kāi)發(fā)A D V _S PM .3 形式化 T O E 安全策略模型A G D _ A D M .1 管理員指南指導(dǎo)性文件A G D _ U S 用戶指南A L C _D V 安全措施的充分性A L C_L CD .2 標(biāo)準(zhǔn)化生命周期模型生命周期支持A L C _T A T .3 遵照實(shí)現(xiàn)的標(biāo)準(zhǔn)——所有部分A T E_ C O V .3 范圍的嚴(yán)格分析A T E_ D PT .2 測(cè)試：低層設(shè)計(jì)A T E_F U N .2 順序的功能測(cè)試測(cè)試A T E_I N D . 2 獨(dú)立性測(cè)試——抽樣 A V A _ C C A .2 系統(tǒng)性隱蔽通道分析 A V A _ MS U .3 對(duì)非安全狀態(tài)的分析和測(cè)試 A V A _ SO F .1 T O E 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A _V L A .4 強(qiáng)抵抗力114 itsec EAL7—形式化驗(yàn)證的設(shè)計(jì)和測(cè)試 ? EAL7的實(shí)際應(yīng)用目前只局限于一些 TOE， 這些TOE非常關(guān)注能經(jīng)受廣泛地形式化分析的安全功能功能規(guī)范和高層設(shè)計(jì)的形式化表示 ? 增加組件： – 修改預(yù)防 – 形式化功能規(guī)范 – 形式化高層設(shè)計(jì) – 復(fù)雜性最小化 – 形式化對(duì)應(yīng)性論證 – 可測(cè)量的生命周期模型 – 測(cè)試：實(shí)現(xiàn)表示 – 獨(dú)立性測(cè)試 ——全部 115 itsec 安全保證級(jí)別 7(EAL7) 保證類 保證組件ACM_A UT .2 完全 CM 自動(dòng)化ACM_CAP .5 高級(jí)支持配置管理ACM_SC P .3 CM 范圍開(kāi)發(fā)工具AD 修改防止分發(fā)和操作AD O_ I 安裝、生成和啟動(dòng)過(guò)程AD V_ F S P .4 形式化功能規(guī)范AD V_ HL D. 5 形式化高層設(shè)計(jì)AD V_ I MP .3 TSF 的結(jié)構(gòu)化實(shí)現(xiàn)AD V_ INT .3 最小復(fù)雜度AD V_ LL D. 2 低層設(shè)計(jì)的半形式化描述AD V_ RC R. 3 形式化相關(guān)性闡明開(kāi)發(fā)AD V_ S P 形式化 T OE 安全策略模型AG D_ AD 管理員指南指導(dǎo)性文件AG D_ 用戶指南A L C_DV S .2 安全措施的充分性ALC _LCD .3 可測(cè)量的標(biāo)準(zhǔn)化生命周期模型生命周期支持A L C_T A T .3 遵照實(shí)現(xiàn)的標(biāo)準(zhǔn)——所有部分A TE _COV .3 范圍的嚴(yán)格分析A TE _D P T .3 測(cè)試：實(shí)現(xiàn)表示A TE _F UN .2 順序的功能測(cè)試測(cè)試A TE _IN D. 2 獨(dú)立測(cè)試——完全 A V A_ CC A. 2 系統(tǒng)性隱蔽通道分析 A V A_ 對(duì)非安全狀態(tài)的分析和測(cè)試 A V A_ S OF .1 T OE 安全功能強(qiáng)度評(píng)估脆弱性評(píng)定A V A_ V L A. 4 強(qiáng)抵抗力116 itsec 評(píng)估保證級(jí)（EAL） 評(píng)估保證級(jí)（ E A L ）的保證組件 保證類 保證子類 E A L 1 E A L 2 E