ГОСТ Р ИСО/МЭК 15408-3 — 2008
14.7.4.3 Элементы действий оценщика
14.7.4.3.1 ADV_SPM.1.1E
Оценщик должен подтвердить, что представленная информация соответствует всем требо
ваниям к содержанию и представлению свидетельств.
14.7.5ADV_SPM.2 Полуформальная модель политики безопасности 00
Зависимости: ADV_FSP.1 Неформальная функциональная спецификация
14.7.5.1 Элементы действий разработчика
14.7.5.1.1 ADV_SPM.2.1D
Разработчик должен представить модель ПБО.
14.7.5.1.2 ADV_SPM.2.2D
Разработчик должен демонстрировать соответствие между функциональной спецификацией и
моделью ПБО.
14.7.5.2 Элементы содержания и представления свидетельств
14.7.5.2.1 ADV_SPM.2.1C
Модель ПБОдолжнабыть полуформальной.
14.7.5.2.2 ADV_SPM.2.2C
Модель ПБО должнасодержать описание правил ихарактеристик всех политик ПБО. которые могут
быть смоделированы.
14.7.5.2.3 ADV_SPM.2.3C
Модель ПБО должна включать в себя обоснование, котороедемонстрирует, что она согласована и
полна относительно всех политик ПБО, которые могут бытьсмоделированы.
14.7.5.2.4 ADV_SPM.2.4C
Демонстрация соответствия между моделью ПБО и функциональной спецификациейдолжна пока
зать. что всефункции безопасности вфункциональной спецификации являются непротиворечивыми ипол
ными относительно модели ПБО.
14.7.5.2.5 ADV_SPM.2.5C
Там, где функциональная спецификация, по меньшей мере, полуформальна, демонстрация
соответствия между моделью ПБО и функциональной спецификацией должна быть полуформаль
ной.
14.7.5.3 Элементы действий оценщика
14.7.5.3.1 ADV_SPM.2.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию и представлению свидетельств.
14.7.6 ADV_SPM.3 Формальная модель политики безопасности 00
Зависимости: ADV_FSP.1 Неформальная функциональная спецификация
14.7.6.1 Элементы действийразработчика
14.7.6.1.1 ADV_SPM.3.1D
Разработчик должен представить модель ПБО.
14.7.6.1.2 ADV_SPM.3.2D
Разработчик должендемонстрировать или доказать, где это требуется, соответствие между функ
циональной спецификацией имодельюПБО.
14.7.6.2 Элементы содержания и представления свидетельств
14.7.6.2.1 ADV_SPM.3.1С
Модель ПБО должна быть формальной.
14.7.6.2.2 ADV_SPM.3.2C
Модель ПБО должна содержать описание правил ихарактеристик всех политик ПБО. которые могут
быть смоделированы.
14.7.6.2.3 ADV_SPM.3.3C
Модель ПБО должна включать в себя обоснование, котороедемонстрирует, что она согласована и
полна относительно всехполитик ПБО. которые могут бытьсмоделированы.
14.7.6.2.4 ADV_SPM.3.4C
Демонстрация соответствия между моделью ПБО и функциональной спецификациейдолжна пока
зать. что всефункции безопасности вфункциональной спецификации являются непротиворечивыми ипол
ными относительно модели ПБО.
14.7.6.2.5 ADV_SPM.3.5C
74