ГОСТ Р ИСО/МЭК 18045—2013
Ь)если пакет является функциональным, то ЗБ содержит все ФТБ. включенные в пакет, но не со
держит дополнительных ФТБ.
Если в утверждении о соответствии пакетам содержится утверждение о соответствии расшире
нию относительно именованного пакета, оценщикделает заключение о том. что:
a) если пакет является пакетом требований доверия, то ЗБ содержит все ТДБ. включенные в па
кет. и по крайней мере одно дополнительное ТДБ или по крайней мере одно ТДБ. которое является
иерархическим к ТДБ в пакете.
b
) если пакет является функциональным, то ЗБ содержит все включенные в пакет ФТБ. и по край
ней мере одно дополнительное ФТБ. или по крайней мере одно ФТБ. которое является иерархическим
к ФТБ в пакете.
ИСО/МЭК 15408-3 ASE_CCL.1.7C: В «Обосновании утверждений о соответствии» должно быть
продемонстрировано, что тип ОО согласуется с типом ОО в тех ПЗ. о соответствии которым ут
верждается.
9.4.1.3.9 Шаг оценивания ASE_CCL.1-9
Оценщик должен исследовать «Обоснование утверждений о соответствии», чтобы сделать за
ключение о том. что тип ОО согласуется со всеми типами ОО в ПЗ.
Если в ЗБ не утверждается о соответствии ПЗ, то этот шаг оценивания не применим и считается
удовлетворенным.
Отношение между типами может быть простым: например в ЗБ межсетевого экрана утверждается
о соответствии некоторому ПЗ межсетевого экрана или более сложным: например в ЗБ смарт-карты
утверждается о соответствии нескольким ПЗ одновременно — ПЗ интегральной схемы. ПЗ для ОС
смарт-карты, и двум ПЗ двух приложений на смарт-карте.
Для составного ОО оценщик выносит заключение о том, демонстрирует ли «Обоснование утверж
дений о соответствии», что типы ОО-компонентов соответствуют типу составного ОО. Это не означает,
что и ОО-компоненты, и составной ОО должны быть одного типа, а означает, что ОО-компоненты воз
можно интегрировать в составной ОО. В ЗБ составного ОО следует ясно определить, какие ФТБ вклю
чены только как результат композиции составных частей и не были исследованы как ФТБ в ходе оценки
базового и зависимого ОО (например по какому-либо ОУД).
ИСО/МЭК 15408-3 ASE_CCL.1.8C: В «Обосновании утверждений о соответствии» должно быть
продемонстрировано, что изложение определения проблемы безопасности согласуется с изложением
определения проблемы безопасности в тех ПЗ. о соответствии которым утверждается.
9.4.1.3.10 Шаг оценивания ASE_CCL.1-10
Оценщик должен исследовать «Обоснование утверждений о соответствии», чтобы сделать за
ключение о том, что оно демонстрирует, что изложение определения проблемы безопасности согласу
ется с изложениями определений проблем безопасности тех ПЗ, о соответствии которым утверждается.
Если в ЗБ не утверждается о соответствии ПЗ, то этот шаг оценивания не применим и считается
удовлетворенным.
Если ПЗ не содержит изложение определения проблемы безопасности, то этот шаг оценивания
не применим и считается удовлетворенным.
Если требуется строгое соответствие ПЗ. соответствие которому утверждается, тогда не требу
ется «Обоснование утверждений о соответствии». Вместо этого оценщик делает заключение о том,
является ли:
a) набор угроз в ЗБ расширенным или идентичным по отношению к перечню угроз в ПЗ, соответ
ствие которому утверждается:
b
) набор ПБОр в ЗБ расширенным или идентичным по отношению к ПБОр в ПЗ, соответствие
которому утверждается;
c) набор предположений в ЗБ идентичным по отношению к предположениям в ПЗ. соответствие
которому утверждается.
Если требуется демонстрируемое соответствие ПЗ, оценщик исследует «Обоснование утвержде
ний о соответствии», чтобы сделать заключение о том. что оно демонстрирует, что изложение опреде
ления проблемы безопасности в ЗБ эквивалентное или более ограничительное, чем изложение
опре деления проблемы безопасности в ПЗ. соответствие которому утверждается.
В качестве руководства о том. что считать «эквивалентным или более ограничительным» изложе
нием. см. ИСО/МЭК 15408-1, приложение D «Соответствие ПЗ».
Для составного ОО оценщик рассматривает, соответствует ли «Определение проблемы безопас
ности» составного ОО приведенному в ЗБ ОО-комлонентов. Заключение об этом делается в виде де-
35