14.16 TSF自檢(FPT_TST)
子類行為
本子類定義了一些關于TSF自檢的要求,這些檢測與期待的正確操作有關,如執行功能的接口和TOE關鍵部分的抽樣算術運算。這些檢測可在啟動時進行,或周期性地進行,或應授權用戶的請求進行,或滿足其他條件時進行。TOE根據自檢結果所采取的行動在其它子類中定義。
本子類要求也用于檢測由多種失敗造成的TSF可執行碼(如TSF軟件)和TSF數據腐敗,這些失敗并不需要TOE停止工作(這將由別的子類處理)。因為這些失敗不可避免,故必須執行這些檢查。這些失敗可能是由不可預見的失敗方式或硬件、固件、軟件設計的某些忽略所造成,或由于邏輯的或物理保護的不適當導致TSF惡意腐敗所造成。
.
組件層次
FPT_TST.1 TSF檢測,提供對TSF正確操作的測試能力。這些檢測可在啟動時進行,或周期性地進行,或當授權用戶要求時,或滿足別的條件時進行。同時也提供對TSF數據及可執行碼的完整性的驗證能力。
管理:FPT_TST.1
在FMT的管理功能中,可考慮下面的活動:
a) 管理TSF自檢產生條件,如初始化啟動期間、固定間隔或特定條件;
b) 適當地管理時間間隔。
審計:FPT_TST.1
如果PP/ST中包含FAU_GEN 安全核查數據產生如下行動應是可審計的:
a) 基本級:執行TSF自檢及檢測結果。
.
FPT_TST.1 TSF檢測
從屬于:無其他組件。
FPT_TST.1.1 TSF應運行一套自檢[選擇:初始化啟動期間,正常工作期間周期性地,授權用戶要求,滿足[賦值:產生自檢的條件]]以表明TSF操作的正確性。
FPT_TST.1.2 TSF為授權用戶提供對TSF數據完整性的驗證能力。
FPT_TST.1.3 TSF為授權用戶提供對存儲的TSF可執行代碼完整性的驗證能力。
依賴關系:FPT_AMT.1 抽象機測試
推薦文章: