Оценка ЗБ требуется для демонстрации того, что ЗБ является правильным и внутренне непротиворечивым, и если ЗБ основано на одном или более ПЗ или пакетах доверия, что ЗБ является корректной реализацией этих ПЗ и пакетов. Эти свойства необходимы для того, чтобы можно было использовать ЗБ в качестве основы при оценке ОО.
Данный раздел следует использовать в совокупности с приложениями А, В и С ИСО/МЭК 15408-1, в которых разъясняются некоторые принципы и понятия, описанные в данном подразделе, а также приводятся многочисленные примеры.
На рисунке 9 показаны семейства этого класса и иерархия компонентов этих семейств.
Рисунок 9 - Декомпозиция класса ASE "Оценка ЗБ"