1) PA11驗(yàn)證和證實(shí)安全

通過(guò)觀察、論證、分析和測(cè)試來(lái)驗(yàn)證和證實(shí)解決方案滿足安全需求；驗(yàn)證證據(jù)正確性， 證實(shí)證據(jù)有效性。解決方案要依照安全需求、體系結(jié)構(gòu)和設(shè)計(jì)得到確認(rèn)，還要依照用戶的運(yùn)行安全需求被證實(shí)。

本過(guò)程區(qū)域是系統(tǒng)驗(yàn)證和證實(shí)的重要部分，可在所有的抽象層上進(jìn)行。解決方案包括從運(yùn)行概念到體系結(jié)構(gòu)到實(shí)現(xiàn)的所有方面，并跨越包括環(huán)境和過(guò)程的整個(gè)信息系統(tǒng)。

為了獲得有價(jià)值的目標(biāo)結(jié)果，驗(yàn)證和證實(shí)工作組應(yīng)不同于工程組，不過(guò)，這個(gè)組可以和工程組并行工作。驗(yàn)證和證實(shí)的結(jié)果可在解決方案的生命期內(nèi)的任何時(shí)間反饋給整個(gè)工程組。驗(yàn)證和證實(shí)有時(shí)也與正確性和有效性的概念關(guān)聯(lián)。