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