ГОСТ Р ИСО/МЭК 18045—2013
Если ниодна цельбезопасности для среды функционирования не прослежена к определенному пред
положению, то результатданного шага оценивания отрицательный (выносится отрицательный вердикт).
Оценщик делает заключение, демонстрирует ли логическое обоснование для предположения от
носительно среды функционирования ОО то. что цели безопасности достаточны: если все цели безо
пасности для среды функционирования, прослеженные к данному предположению, достигнуты, то сре да
функционирования обеспечивает выполнение предположения.
Оценщик также делает заключение, действительноли каждая цель безопасности для среды функ
ционирования. прослеживаемая к некоторому предположениюотносительно среды функционирования
ОО, является необходимой и при достижении действительно вносит вклад в обеспечение выполнения
средой функционирования этого предположения.
Следует отметить, что прослеживание целей безопасности для среды функционирования к пред
положениям в «Обосновании целей безопасности» может быть частью логического обоснования, но
само по себе оно не является логическим обоснованием. Даже в том случае, когда цель безопас ности
для среды функционировании представляет собой просто перефразированное предположение, то все
равно требуется логическое обоснование, хотя в этом случае оно может быть минимальным и иметь
вид: «Цель безопасности X непосредственно поддерживает выполнение Предположения Y».
8.7 Определение расширенных компонентов (APE_ECD)
8.7.1 Подвид деятельности по оценке (APE_ECD.1)
8.7.1.1 Цели
Цель этого подвида деятельности состоит в том. чтобы сделать заключение о том, определены ли
расширенные компоненты ясно и однозначно и необходимы ли они. то есть не могут ли они быть ясно
выражены с использованием существующих компонентов ИСО/МЭК 15408-2 или ИСО/МЭК 15408-3.
8.7.1.2 Исходные данные
Свидетельством оценки для этого подвида деятельности является ПЗ.
8.7.1.3 Действие APE_ECD.1.1E
ИСО/МЭК 15408-3APE_ECD.1.1С: В изложении «Требований безопасности» должны быть иден
тифицированы все расширенные требования безопасности.
8.7.1.3.1 Шаг оценивания APE_ECD.1-1
Оценщик должен проворить, что все требования безопасности в изложении «Требований без
опасности», которые не идентифицированы как расширенные требования, присутствуют в ИСО/МЭК
15408-2 или в ИСО/МЭК 15408-3.
ИСО/МЭК 15408-3 APE_ECD.1,2С: В «Определении расширенных компонентов» должен опреде
ляться расширенный компонент для каждого расширенного требования безопасности.
8.7.1.3.2 Шаг оценивания APE_ECD.1-2
Оценщик должен проверить, что «Определение расширенных компонентов» определяет расши
ренный компонент для каждого расширенного требования безопасности.
Если ПЗ не содержит расширенные требования безопасности, то этот шаг оценивания не приме
ним и считается удовлетворенным.
Один расширенный компонент может быть использован для определения многократно повторяю
щегося расширенного требования безопасности, не обязательно повторять это определение для каж
дой итерации данного требования.
ИСО/МЭК 15408-3APE_ECD.1 .ЗС: В «Определении расширенных компонентов» должно указывать
ся. каккаждый расширенный компонент связан с существующими компонентами, семействами и клас
сами ИСО/МЭК 15408.
8.7.1.3.3 Шаг оценивания APE_ECD.1-3
Оценщик должен исследовать «Определение расширенных компонентов», чтобы сделать заклю
чение о том. что оно описывает, как каждый расширенный компонент вписывается в существующие в
стандарте ИСО/МЭК 15408 компоненты, семейства и классы.
Если ПЗ не содержит расширенные требования безопасности, то этот шаг оценивания не приме
ним и считается удовлетворенным.
Оценщик делает заключение о том, что каждый расширенный компонент является:
a) компонентом семейства ИСО/МЭК 15408-2 или ИСО/МЭК 15408-3. или
b
) компонентом нового семейства, определенного в ПЗ.
Если расширенный компонент представляет собой компонент существующего семейства
ИСО/МЭК 15408-2 или ИСО/МЭК 15408-3. оценщик делает заключение о том. что «Определение рас-
21