APE_REQ.2.1E

Элементы действий оценщика

APE_REQ.2.9C

В обосновании требований безопасности необходимо объяснить, почему выбраны определенные ТДБ.

APE_REQ.2.8C

В обосновании требований безопасности необходимо показать, что ФТБ обеспечивают достижение всех целей безопасности для ОО.

APE_REQ.2.7C

Обоснование целей безопасности должно обратно прослеживать каждое ФТБ к целям безопасности для ОО.

APE_REQ.2.6C

APE_REQ.2.5C

APE_REQ.2.4C

APE_REQ.2.3C

В изложении требований безопасности должны быть определены все операции, выполненные над требованиями безопасности.

Все операции над требованиями безопасности должны быть выполнены правильно.

Каждая зависимость требований безопасности должна быть либо удовлетворена, либо в обосновании требований безопасности необходимо обосновать, почему она не удовлетворена.

Изложение требований безопасности должно быть внутренне непротиворечивым.

Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.

7 Класс ASE: Оценка ЗБ

При оценке ЗБ требуется показать, что ЗБ является правильным и внутренне непротиворечивым и, если ЗБ основывается на одном или нескольких ПЗ или пакетах требований доверия то показать, что ЗБ является правильным воплощением этих ПЗ и пакетов требований доверия. Эти свойства необходимы, чтобы ЗБ был пригоден для использования в качестве основы при оценке ОО.

Этот подраздел следует использовать вместе с Приложениями A, B и C части 1 ОК-1, поскольку эти приложения уточняют понятия настоящего подраздела и содержат много примеров.

На рисунке 9 показаны семейства требований доверия этого класса и иерархия компонентов внутри семейств требований доверия.

Рисунок 9 – ASE: Декомпозиция класса «Оценка ЗБ»

Дата добавления: 2014-01-15