ГОСТ Р ИСО/МЭК 15408-3-2002
Элементы ADV_LLD.4.6C содержиттребование, чтобы проект нижнегоуровня описал, как обес
печивается каждая из функций, осуществляющих ИБО. Смысл этоготребования состоит в том, чтобы
проект нижнего уровня содержал описание того, как планируется реализовать каждый модуль, исходя
изперспективы проекта.
ЭлементыADV_LLD.*.2E этого семейства определяют требование вынесения оценщиком незави
симого заключения, что проект нижнего уровня является точным и полным отображением функцио
нальных требований безопасности 00. Этим обеспечивается прямое соответствие междуфункциональ
ными требованиями безопасности ОО и проектом нижнего уровня вдополнение к попарным соответ
ствиям. требуемых» семейством ADV_RCR. Ожидается, что оценщик использует свидетельство, вклю
ченное
b
ADV RCR, как основание для этого заключения, а требование полноты предполагает соотне
сение с уровнем абстракции проекта нижнего уровня.
ADV_LLD.2.9C содержит требование полного представления интерфейсов модулей. Этим будет
обеспечена необходимая детализация для поддержки как полного тестирования СХ) (с использованием
компонентов из ATE_DPT). так и оценки уязвимостей.
Применительно к уровню форматизации проекта нижнего уровня неформатьный. полуформаль
ный и формальный проекты рассматривают как иерархичные по сути. Гак, элемент ADV_LLD.1.1C
может быть удовлетворен использованием полуформального или формального проекта нижнего уров
ня. а элемент ADV LLD.2.1.C —формального проекта нижнего уровня.
ADV_LLD.1Описательный проект нижнего уровня
Зависимости
ADV_HLD.2Детализация вопросов безопасности в проекте верхнего уровня
ADV_RCR. 1 Неформальная демоне iрация соответствия
Элемеггтыдействий разработчика
ADV_LLD.1.1D Разработчик должен представить проект нижнего уровня ФБО.
Элемеггты содержания и представления свидетельств
ADV_LLD.I.1C Представление проекта нижнего уровня должно быть неформальным.
ADV_LLD.I.2C Проект нижнего уровнядолжен быть внутренне непротиворечивым.
ADV_LLD.1.3C Проект нижнего уровнядолжен содержать описание ФБО в терминах модулей.
ADV_LLD.I.4C Проект нижнего уровня должен содержать описание назначения каждого модуля.
ADV_LLD.1.5C Проект нижнего уровня должен определить взаимосвязи между модулями втерми
нах предоставляемых функциональных возможностей безопасности и зависимос
тей от других модулей.
ADV_LLD. I.6C Проект нижнего уровнядолжен содержать описание, как предоставляется каждая
из функций, осуществляющих ИБО.
ADV_LLD.1.7C Проект нижнегоуровня должен идентифицировать всешггерфсйсы модулей ФБО.
ADVJLLD.1.8C Проект нижнегоуровнядолжен идентифицировать, какие из интерфейсов модулей
ФБО являются видимыми извне.
ADV_LLD.1.9C Проект нижнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов модулей ФБО, предоставляя, при необходимости,
детализацию результатов, нештатных ситуаций и сообщений об ошибках.
ADV_LLD. 1.10С Проект нижнего уровня должен содержать описание разделения ОО на модули,
осуществляющие ИБО, и прочие.
Элементы действий оценщика
ADV_LLD.I.IE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV LLD.1.2E Оценщик должен сделать независимое заключение, что проект нижнегоуровня —
точное и полное отображение функциональных требований безопасности ОО.
ADV_LLD.2 Полуформальный проект нижкего уровня
Зависимости
ADV_HLD.3 Полуформальный проект верхнего уровня
ADV_RCR.2 Полуформальная демонстрация соответствия
Элемеггтыдействий разработчика
ADV_LLD.2.ID Разработчик должен представить проект нижнегоуровня ФБО.
Элемеггты содержания н представления свидетельств
ADV_LLD.2.1C Представление проекта нижнего уровня должно быть полуформальным.
3-1—1431
61