ГОСТ Р ИСО/МЭК 15408-3 — 2008
14.5.4 ADV_LLD.1 Описательный проект нижнего уровня
Зависимости. ADV_HLD.2Детализация вопросов безопасности в проекте верхнегоуровня
ADV_RCR.1 Неформальная демонстрация соответствия
14.5.4.1 Элементы действий разработчика
14.5.4.1.1 ADV_LLD.1.1D
Разработчик должен представить проект нижнего уровня ФБО.
14.5.4.2 Элементы содержания и представления свидетельств
14.5.4.2.1 ADV_LLD.1.1C
Представление проекта нижнего уровня должно быть неформальным.
14.5.4.2.2 ADV_LLD.1.2C
Проект нижнего уровня должен быть внутренне непротиворечивым.
14.5.4.2.3 ADVJ.LD.1.3C
Проект нижного уровня должен содержать описание ФБО в терминах модулей.
14.5.4.2.4 ADV_LLD.1.4C
Проект нижнего уровня должен содержать описание назначения каждого модуля.
14.5.4.2.5 ADV_LLD.1.5C
Проект нижнего уровня должен определить взаимосвязи между модулями в терминах
предоставляемых функциональных возможностей безопасности и зависимостей от других моду
лей.
14.5.4.2.6 ADV_LLD.1.6C
Проект нижнего уровня должен содержать описание того, как предоставляется каждая из
функций, осуществляющих ПБО.
14.5.4.2.7 ADV_LLD.1.7C
Проект нижнего уровня должен идентифицировать все интерфейсы модулей ФБО.
14.5.4.2.8 ADV_LLD.1.8C
Проект нижнего уровня должен идентифицировать, какие из интерфейсов модулей ФБО
являются видимыми извне.
14.5.4.2.9 ADV_LLD.1.9C
Проект нижнего уровня должен содержать описание назначения и методов использования
всех интерфейсов модулей ФБО, предоставляя, при необходимости, детализацию результатов,
нештатных ситуаций и сообщений об ошибках.
14.5.4.2.10 ADV_LLD.1.10C
Проект нижнего уровня должен содержать описание разделения 00 на модули, осуществляю
щие ПБО, и прочие.
14.5.4.3 Элементы действий оценщика
14.5.4.3.1 ADV_LLD.1.1E
Оценщик должен подтвердить, что представленная информация соответствует всем требо
ваниям к содержанию и представлению свидетельств.
14.5.4.3.2 ADV_LLD.1.2E
Оценщик должен сделать независимое заключение о том, что проект нижного уровня — точ
ное и полное отображение функциональных требований безопасности ОО.
14.5.5 ADV_LLD.2 Полуформальный проект нижнего уровня
Зависимости: ADV_HLD.3 Полуформальный проект верхнегоуровня
ADV_RCR.2 Полуформальнаядемонстрация соответствия
14.5.5.1 Элементы действий разработчика
14.5.5.1.1 ADV_LLD.2.1D
Разработчик должен представитьпроект нижнего уровня ФБО.
14.5.5.2 Элементы содержания и представления свидетельств
14.5.5.2.1 ADV_LLD.2.1C
Представление проекта нижнегоуровнядолжнобыть полуформальным.
14.5.5.2.2 ADV_LLD.2.2C
Проект нижнего уровня должен бытьвнутренне непротиворечивым.
14.5.5.2.3 ADV_LLD.2.3C
Проект нижнегоуровнядолжен содержать описание ФБО в терминах модулей.
14.5.5.2.4 ADV_LLD.2.4C
69