ГОСТ Р ИСО/МЭК 15408-3-2013
Визложении«Требованийбезопасности»должныбыть
идентифицированывсевыполненныенад требованиямибезопасности
операции.
10.6.4.2.4ASE_REQ.2.4C
Все операции должны выполняться правильно.
10.6.4.2.5ASE_REQ.2.5C
Каждая зависимость от «Требований безопасности» должна быть либо
удовлетворена, либо должно приводиться обоснование неудовлетворения
зависимости.
10.6.4.2.6ASE_REQ.2.6C
В «Обосновании требований безопасности» должно быть представлено
прослеживание каждого ФТБ к целям безопасности для ОО.
10.6.4.2.7ASE_REQ.2.7C
В«Обоснованиитребованийбезопасности»должнобыть
продемонстрировано,что ФТБобеспечиваютвыполнениевсехцелей
безопасности для ОО.
10.6.4.2.8ASE_REQ.2.8C
В«Обоснованиитребованийбезопасности»должноприводиться
пояснение того, почему выбраны определенные ТДБ.
10.6.4.2.9
ASE_REQ.2.9C
Изложение
«Требованийбезопасности»должнобытьвнутренне
непротиворечивым.
10.6.4.3
Элементы действий оценщика
10.6.4.3.1
ASE_REQ.2.1E
Оценщикдолженподтвердить,чтопредставленнаяинформация
удовлетворяетвсемтребованиямксодержаниюипредставлению
свидетельств.
10.7 Краткая спецификация ОО (ASE_TSS)
10.7.1
Цели
Краткая
спецификацияООпозволяетоценщикамипотенциальным
потребителям получить общее представление о реализации ОО.
68