◇BP.06.05提供保證論據(jù)

開發(fā)出一個完整的被證明與安全目標(biāo)一致安全保證目標(biāo)，并使其提供給顧客。保證論據(jù)是一系列陳述性保證目標(biāo)，而這些陳述性目標(biāo)是從多層抽象中獲得的保證論據(jù)的組合所支持的。為了滿足安全目標(biāo)，必須對提交證據(jù)中的缺陷和安全保證目標(biāo)中的缺陷進(jìn)行審核。

高層次的安全保證論據(jù)可以是滿足相關(guān)標(biāo)準(zhǔn)的保證目標(biāo)。保證論據(jù)的其它可能部分說明了對系統(tǒng)資產(chǎn)已進(jìn)行了怎樣的威脅。每個保證目標(biāo)都得到相關(guān)的足夠證據(jù)的支持，以滿足適當(dāng)?shù)目梢宰C明的標(biāo)準(zhǔn)。本論據(jù)可被客戶、系統(tǒng)安全認(rèn)證者、簽名授權(quán)者和用戶所使用。

工作產(chǎn)品示例：具有支持證據(jù)的保證論據(jù)——由各種保證論據(jù)支持的一系列結(jié)構(gòu)化的保證目標(biāo)。