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

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

ASE_TSS.1.1C

Элементы содержания и представления свидетельств

Разработчик должен представить краткую спецификацию ОО.

ASE_TSS.1.1D

Элементы действий разработчика

ASE_TSS.1 Краткая спецификация ОО

Ранжирование компонентов

Цели

Краткая спецификация ОО

ASE_REQ.2.1E

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

ASE_REQ.2.9C

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

ASE_REQ.2.8C

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

ASE_REQ.2.7C

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

ASE_REQ.2.6C

ASE_REQ.2.5C

ASE_REQ.2.4C

ASE_REQ.2.3C

ASE_REQ.2.2C

Должны быть определены все субъекты, объекты, операции, атрибуты безопасности, внешние сущности и другие объекты, которые используются в ФТБ и ТДБ.

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

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

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

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

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

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

Оценка краткой спецификации ОО необходима, чтобы сделать заключение о том, в достаточной ли мере в ней описано, как ОО:

· удовлетворяет ФТБ;

· защищает себя от вмешательства, логического искажения и обхода,

а также согласуется ли краткая спецификация ОО с другими словесными описаниями ОО.

Компоненты в данном семействе ранжируются по тому, требуется ли в краткой спецификации указать только, как ОО выполняет ФТБ, или в ней необходимо указать также, как ОО защищает себя от логического искажения и обхода. Это дополнительное описание может использоваться в особых случаях, когда имеется специальная проблема относительно архитектуры безопасности ОО.

Зависимости: ASE_INT.1 Введение в ЗБ

ASE_REQ.1 Изложенные требования безопасности

ADV_FSP.1 Базовая функциональная спецификация

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