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