ГОСТ Р ИСО/МЭК 15408-3-2013
00 политики безопасности, реализуемые в соответствии с их описаниями в ПЗ/ЗБ.
Компонент ADV_SPM.1.1D предназначен для идентификации таких формально
модулируемых политик.
11.5.4 ADV SPM.1 Формальная модель политики безопасности 00
Зависимости: ADV_FSP.4 Полная функциональная спецификация
11.5.4.1
Элементы действий разработчика
11.5.4.1.1
ADV_SPM.1.1D
РазработчикдолженпредставитьформальнуюмодельПБОдля
[назначение:
список формально моделируемых политик].
11.5.4.1.2ADV_SPM.1.2D
Для каждой политики, охваченной формальной моделью ПБО, в модели
должны быть отражены значимые фрагменты изложения ФТБ, которые
составляют данную политику.
11.5.4.1.3ADV_SPM.1.3D
Разработчикдолженпредставитьформальноедоказательство
соответствия между какой-либо формальной функциональной спецификацией
и моделью ПБО.
11.5.4.1.4ADV_SPM.1.4D
Разработчикдолженпродемонстрироватьсоответствиемежду
функциональной спецификацией и моделью ПБО.
11.5.4.2
Элементы содержания и представления свидетельств
11.5.4.2.1
ADV_SPM.1.1C
МодельПБОдолжнабытьизложенавформальномстиле,с
предоставлениемвспомогательногопояснительноготекстасогласно
требованиям, и в ней должны быть идентифицированы моделируемые
политики ФБО.
11.5.4.2.2ADV_SPM.1.2C
Для всех моделируемых политик в модели ПБО должно быть определено
понятие «безопасность» для данного 00и должно быть представлено
111