ГОСТ Р ИСО/МЭК 15408-3-2013
11.4.6.3
Элементы действийразработчика
11.4.6.3.1
ADVJNT.3.1D
Разработчик должен выполнить проектирование и реализацию всех ФБО таким
образом, чтобы их внутренняя структурабыла полностью определена.
11.4.6.3.2ADVJNT.3.2D
Разработчик долженпредставить описаниеи логическоеобоснование
внутренней структуры.
11.4.6.4
Элементы содержания и представления свидетельств
11.4.6.4.1
ADVJNT.3.1C
В логическом обосновании должно приводиться описание характеристик, на
основании которых оценивается «полнота определения» и «сложность» внутренней
структуры.
11.4.6.4.2ADVJNT.3.2C
ВописаниивнутреннейструктурыФБОдолжнобыть
продемонстрировано,чтовнутренняяструктуравсехФБОполностью
определена и не является избыточно сложной.
11.4.6.5
Элементы действийоценщика
11.4.6.5.1
ADVJNT.3.1E
Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
11.4.6.5.2ADVJNT.3.2E
Оценщик должен провести анализ внутренней структуры всех ФБО.
11.5Моделирование политики безопасности (ADV_SPM)
11.5.1 Цели
Цель этого семейства состоит в том, чтобы приобрести дополнительное
доверие посредством разработки формальной модели политики безопасности ФБО
и установления соответствия между функциональной спецификацией и этой
моделью политики безопасности. Ожидается, что модель политики безопасности,
сохраняя внутреннюю непротиворечивость, формально устанавливает принципы
108