ГОСТ Р ИСО/МЭК 18045—2013
монстрируемого соответствия. В частности, оценщик исследует «Обоснование утверждений о соответ
ствии», чтобы сделать заключение, что:
a) изложениеугрози ПБОр вЗБ составногоООнепротиворечат изложениям вЗБ ОО-компонентов;
b
) любые предположения, сделанные в ЗБ ОО-компонента. поддерживаются в ЗБ составного ОО.
Таким образом, либо предположение следует также включить в составное ЗБ. либо следует обеспечить
успешное выполнение предположения в составном ЗБ. Успешное выполнение предположения можно
обеспечить с помощью спецификации требований в составном ОО для обеспечения функциональных
возможностей, выполняющих условия, изложенные в предположении.
ИСО/МЭК 15408-3 ASE_CCL.1.9C: В «Обосновании утверждений о соответствии» должно
быть продемонстрировано, что изложение «Целей безопасности» согласуется с изложением «Це
лей безопасности» в тех ПЗ. о соответствии которым утверждается.
9.4.1.3.11 Шаг оценивания ASE_CCL.1-11
Оценщик должен исследовать «Обоснование утверждений о соответствии», чтобы сделать за
ключение о том, что изложение «Целей безопасности» в ПЗ согласуется с изложением «Целей безопас
ности» в тех ПЗ. о соответствии которым утверждается.
Если в ЗБ не утверждается о соответствии ПЗ, то этот шаг оценивания не применим и считается
удовлетворенным.
Если требуется строгое соответствие ПЗ. тогда не требуется «Обоснование утверждений о соот
ветствии». Вместо этого оценщик делает заключение о том. содержит ли:
- ЗБ все цели безопасности для ОО того ПЗ. о соответствии которому утверждается. Следует от
метить. что в оцениваемом ЗБ могут быть дополнительные цели безопасности для ОО;
- ЗБ абсолютно все цели безопасности для среды функционирования (за одним исключением,
которое описано в следующем абзаце). Следует отметить, что в оцениваемом ЗБ не может быть до
полнительных целей безопасности для среды функционирования:
- ЗБ утверждение о том. что некоторые цели безопасности для среды функционирования того ПЗ,
о соответствии которому утверждается, являются целями безопасности для ОО в ЗБ. Это — имеющее
силу исключение из предыдущего абзаца.
Если требуется демонстрируемое соответствие ПЗ. о соответствии которому утверждается, оцен
щик исследует «Обоснование утверждений о соответствии», чтобы сделать заключение о том. что оно
демонстрирует, что изложение «Целей безопасности» в ЗБ эквивалентное или более ограничительное,
чем изложение «Целей безопасности» в ПЗ. о соответствии которому утверждается.
В качестве руководства о том. что считать «эквивалентным или более ограничительным» изложе
нием. см. ИСО/МЭК 15408-1, приложение D «Соответствие ПЗ».
Для составного ОО оценщик рассматривает, соответствуют ли «Цели безопасности» составного
ОО определенным в ЗБ для ОО-компонентов. Заключение делается в виде демонстрируемого соот
ветствия. В частности, оценщик исследует «Обоснование утверждений о соответствии», чтобы сделать
заключение о том, что:
a) изложение «Целей безопасности» в ЗБ зависимого ОО. относящегося к любой ИТв среде функ
ционирования. согласуется с изложением «Целей безопасности» для ОО в ЗБ основного ОО. При этом не
ожидается, что изложение «Целей безопасности» для среды функционирования в ЗБ зависимых ОО
будет перекрывать все аспекты изложения «Целей безопасности» для ОО в ЗБ базового ОО.
b
) изложение «Целей безопасности» в составном ЗБ согласуется с изложением «Целей безопас
ности» в ЗБ ОО-компонентов.
Если требуется демонстрируемое соответствие ПЗ. оценщик исследует «Обоснование утвержде
ний о соответствии», чтобы сделать заключение, что в нём продемонстрировано, что изложение «Це
лей безопасности» в ЗБ. по крайней мере, эквивалентно изложению «Целей безопасности» в ПЗ или
ЗБ ОО-компонентов в случае оценки ЗБ составного ОО.
ИСО/МЭК 15408-3 ASE_CCL.1.10С: В «Обосновании утверждений о соответствии» должно быть
продемонстрировано, что изложение «Требований безопасности» согласуется с изложением «Требо
ваний безопасности» в тех ПЗ. о соответствии которым утверждается.
9.4.1.3.12 Шаг оценивания ASE_CCL.1-12
Оценщик должен исследовать ЗБ. чтобы сделать заключение о том. что оно. в соответствии с из
ложением соответствия в ПЗ. согласуется с требованиями безопасности в тех ПЗ. о соответствии кото
рым утверждается.
Если в ЗБ не утверждается о соответствии профилю защиты, то этот шаг оценивания не приме
ним и считается удовлетворенным.
36