ГОСТ Р ИСО/МЭК 15408-3—2002
|<ый и формальный проекты рассматривают как иерархичные по сути. Так. элементы требований
ADV_HLD.1.!C и ADVHLD.2.1C могут быть удовлетворены использованием полуформального или
формального проекта верхнего уровня, а элементы требований ADV_HLD.3.1C и ADV_HLD.4.1.C —
использованием формального проекта верхнего уровня.
ADV_HLD.l Описательный проект верхнего уровня
Зависимости
ADV_FSP. I Неформальная функциональная спецификация
ADV_RCR.l Неформальная демонстрация соответствия
Элементы действий разработчика
ADV_HLD. 1.1D Разработчикдолжен представить проект верхнего уровня ФБО.
Элементы содержания и представления свидетельств
ADVHLD.1.1C Представление проекта верхнего уровнядолжно быть неформальным.
ADV_HLD.I.2C Проект верхнего уровня должен быть внутренне непротиворечивым.
ADV_HLD.1.3C Проект верхнего уровня должен содержать описание структуры ФБО в терминах
подсистем.
ADV_HLD. 1.4С Проект верхнегоуровнядолжен содержать описание функциональных возможнос
тей безопасности, предоставленныхкаждой нодсис
1
’смой ФБО.
ADV_HLD. 1.5С Проект верхнего уровнядолжен идентифицировать все базовые аппаратные, про
граммно-аппаратные н/нлн программные средства, требуемыедля реализации ФБО,
с представлением функций, обеспечиваемых поддержкой механизмов зашиты, ре
ализуемых этими средствами.
ADV_HLD.I.6C Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем
ФБО.
ADV_HLD.1.7C Проект верхнего уровня должен идентифицировать, какие из интерфейсов под
систем ФБО являются видимыми извне.
Элементы действий оценщика
ADV_HLD.I.1E Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV_HLD.1.2E Оценщик должен сделать независимое заключение, что проект верхнего уровня
— точное и полное отображение функциональных требований безопасности ОО.
ADV_HLD.2 Детализация вопросов безопасности в проекте верхнего уровня
Зависимости
ADVFSP.I Неформальная функциональная спецификация
ADV RCR. 1Неформальная демонстрация соответствия
Элементы действий разработчика
ADV_HLD.2.1D Разработчик должен представить проект верхнего уровня ФБО.
Элементы содержания и представления свидетельств
ADVHLD.2.IC Представление проекта верхнего уровнядолжно быть неформальным.
ADV_HLD.2.2C Проект верхнего уровня должен быть внутренне непротиворечивым.
ADV HLD.2.3C Проект верхнего уровня должен содержатьописание структуры ФБО в терминах
подсистем.
ADV_HLD.2.4C Проект верхнего уровня должен содержатьописание функциональных возмож
ностей безопасности, предоставленных каждой подсистемой ФБО.
ADV_HLD.2.5C Проект верхнегоуровня должен идентифицировать псе базовые аппаратные.
программно-аппаратные и/илм программныесредства, требуемые для реализа
ции ФБО, с представлением функций, обеспечиваемых поддержкой механизмов
защиты, реализуемых этими средствами.
ADV_HLD.2.6C Проект верхнего уровня должен идентифицировать все интерфейсы для подсис
тем ФБО.
ADV HLD.2.7C Проект верхнего уровня должен идентифицировать, какие из интерфейсов под
систем ФБО являются видимыми извне.
ADV_HLD.2.8С Проект верхнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов подсистем ФБО. обеспечивая, где это необходимо,
детализацию результатов, иенпатных ситуаций и сообщений об ошибках.
53