1) PA11驗證和證實安全

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

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

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