7.2 安全保障要求

7.2.1　開發

7.2.1.1　安全架構

開發者應向評估方提供產品安全功能的安全架構描述，安全架構描述應滿足以下要求：
a) 與產品設計文檔中對安全功能實施抽象描述的級別一致；
b) 描述與安全功能要求一致的產品安全功能的安全域；
c) 描述產品安全功能初始化過程為何是安全的；
d) 證實產品安全功能能夠防止被破壞；
e) 證實產品安全功能能夠防止安全特性被旁路。
7.2.1.2　功能規范
開發者應向評估方提供完備的功能規范說明，功能規范說明應滿足以下要求：
a) 完全描述產品的安全功能；
b) 描述所有安全功能接口的目的與使用方法；
c) 標識和描述每個安全功能接口相關的所有參數；
d) 描述安全功能接口相關的安全功能實施行為；
e) 描述由安全功能實施行為處理而引起的直接錯誤消息；
f) 證實安全功能要求到安全功能接口的追溯；
g) 描述安全功能實施過程中，與安全功能接口相關的所有行為；

7.2.1.3　實現表示

開發者應向評估方提供全部安全功能的實現表示，實現表示應滿足以下要求：
a) 提供產品設計描述與實現表示實例之間的映射，并證明其一致性；
b) 按詳細級別定義產品安全功能，詳細程度達到無須進一步設計就能生成安全功能的程度；

7.2.1.4　產品設計

開發者應向評估方提供產品設計文檔，產品設計文檔應滿足以下要求：
a) 根據子系統描述產品結構；
b) 標識和描述產品安全功能的所有子系統；
c) 描述安全功能所有子系統間的相互作用；
d) 提供的映射關系能夠證實設計中描述的所有行為能夠映射到調用它的安全功能接口；
e) 根據模塊描述安全功能；
f) 提供安全功能子系統到模塊間的映射關系；
g) 描述所有安全功能實現模塊，包括其目的及與其它模塊間的相互作用；
h) 描述所有實現模塊的安全功能要求相關接口、其它接口的返回值、與其它模塊間的相互作用及調用的接口；

7.2.2　指導性文檔

7.2.2.1　操作用戶指南

開發者應向評估方提供明確、合理的操作用戶指南，操作用戶指南與為評估而提供的其他所有文檔保持一致，對每一種用戶角色的描述應滿足以下要求：
a) 描述在安全處理環境中被控制的用戶可訪問的功能和特權，包含適當的警示信息；
b) 描述如何以安全的方式使用產品提供的可用接口；
c) 描述可用功能和接口，尤其是受用戶控制的所有安全參數，適當時指明安全值；
d) 明確說明與需要執行的用戶可訪問功能有關的每一種安全相關事件，包括改變安全功能所控制實體的安全特性；
e) 標識產品運行的所有可能狀態（包括操作導致的失敗或者操作性錯誤），以及它們與維持安全運行之間的因果關系和聯系；
f) 充分實現安全目的所必須執行的安全策略；

7.2.2.2　準備程序

開發者應向評估方提供產品及其準備程序，準備程序描述應滿足以下要求：
a) 描述與開發者交付程序相一致的安全接收所交付產品必需的所有步驟；

7.2.3　生命周期支持

7.2.3.1　配置管理能力

開發者的配置管理能力應滿足以下要求：
a) 為產品的不同版本提供唯一的標識；
b) 使用配置管理系統對組成產品的所有配置項進行維護，并唯一標識配置項；
c) 提供配置管理文檔，配置管理文檔描述用于唯一標識配置項的方法；
d) 配置管理系統提供一種自動方式來支持產品的生成，通過該方式確保只能對產品的實現表示進行已授權的改變；
e) 配置管理文檔包括一個配置管理計劃，配置管理計劃描述如何使用配置管理系統開發產品。實施的配置管理與配置管理計劃相一致；

7.2.3.2　配置管理范圍

開發者應向評估方提供產品配置項列表，并說明配置項的開發者。配置項列表應包含以下內容：
a) 產品、安全保障要求的評估證據和產品的組成部分；

7.2.3.3　交付程序

開發者應使用一定的交付程序交付產品，并將交付過程文檔化。在給用戶方交付產品的各版本時，交付文檔應描述為維護安全所必需的所有程序。

7.2.3.4　開發安全

開發者應向評估方提供開發安全文檔。開發安全文檔應描述在產品的開發環境中，為保護產品設計和實現的保密性和完整性所必需的所有物理的、程序的、人員的和其他方面的安全措施。

7.2.3.5　生命周期定義

開發者應建立一個生命周期模型對產品的開發和維護進行必要的控制，并向評估方提供生命周期定義文檔描述用于開發和維護產品的模型。

7.2.3.6　工具和技術

開發者應明確定義用于開發產品的工具，并向評估方提供開發工具文檔無歧義地定義實現中每個語句的含義和所有依賴于實現的選項的含義。

7.2.4　測試

7.2.4.1　覆蓋

開發者應向評估方提供測試覆蓋文檔，測試覆蓋描述應滿足以下要求：
a) 表明測試文檔中所標識的測試與功能規范中所描述的產品的安全功能間的對應性；

7.2.4.2　深度

開發者應向評估方提供測試深度的分析。測試深度分析描述應滿足以下要求：
a) 證實測試文檔中的測試與產品設計中的安全功能子系統和實現模塊之間的一致性；

7.2.4.3　功能測試

開發者應測試產品安全功能，將結果文檔化并向評估方提供測試文檔。測試文檔應包括以下內容：
a) 測試計劃，標識要執行的測試，并描述執行每個測試的方案，這些方案包括對于其它測試結果的任何順序依賴性；
b) 預期的測試結果，表明測試成功后的預期輸出；

7.2.4.4　獨立測試

開發者應向評估方提供一組與其自測安全功能時使用的同等資源，以用于安全功能的抽樣測試。

7.2.4.5　脆弱性評定

開發者應標識潛在脆弱性，并進行安全性測試。基于標識的潛在脆弱性，驗證產品能夠抵抗以下攻擊行為：
a) 具有基本攻擊潛力的攻擊者的攻擊；