ГОСТ Р ИСО/МЭК 15408-3—2002
ADV_HLD.4.6C Проект верхнего уровня должен идентифицировать все интерфейсы для подсис
тем ФБО.
ADV_HLD.4.7C Проект верхнего уровня должен идентифицировать, какие из интерфейсов под
систем ФБО являются видимыми извне.
ADV_HLD.4.8C Проект верхнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов подсистем ФБО. обеспечивая полную детализа
цию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_HLD.4.9C Проект верхнего уровня должен содержать описание разделения ОО на подсис
темы, осуществляющие ИБО, и прочие.
ADV_HLD.4.10C Проект верхнего уровня должен содержать строгое обоснование, что идентифи
цированный способ выполнения разделения, в том числе любых механизмов за
щиты, достаточен для обеспечения четкого и эффективного отделения функций,
осуществляющих ИБО, от функций, не участвующих в осуществлении ИБО.
ADV_HLD.4.11C Проект верхнего уровня должен содержать строгое обоснование, что механизмы
ФБО достаточныдля реализации функций безопасное!и, идентифицированных в
проекте верхнегоуровня.
Элементы действий оценщика
ADV_HLD.4.1E Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV_HLD.4.2E Оценщикдолжен сделать независимое заключение, что проект верхнего уровня
— точное и полноеотображение функциональныхтребований безопасности (X).
ADV_HLD,5 Формальный проект верхнего уровня
Зависимости
ADV_FSP.4 Формальная функциональная спецификация
ADV RCR.3 Формальная демонстрация соответствия
Элемеггтыдействий разработчика
ADV_HLD.5.1D Разработчикдолжен представитьпроект верхнего уровня ФБО.
Элементы содержания и представления свидетельств
ADV_HLD.5.1C Представление проекта верхнего уровня должно быть формальным.
ADV_HLD.5.2C Проект верхнего уровня должен быть внутренне непротиворечивым.
ADV_HLD.5.3C Проект верхнего уровнядолжен содержать описание структуры ФБО в терминах
подсистем.
ADV HLD.5.4C Проект верхнего уровня должен содержатьописание функциональных возмож
ностей безопасности, представленных каждой подсистемой ФБО.
ADV_HLD.5.5C Проект верхнего уровня должен идентифицировать все ба зовые аппаратные,
программно-аппаратные и/или программные средства, требуемые для реализа
ции ФБО. с представлением функций, обеспечиваемых поддержкой механиз
мов зашиты, реализуемых этими средствами.
ADV_HLD.5.6C Проект верхнего уровня должен идентифицировать все интерфейсы для подсис
тем ФБО.
ADV_HLD.5.7C Проект верхнего уровня должен идентифицировать, какие из интерфейсов под
систем ФБО являются видимыми извне.
ADV_HLD.5.8C Проект верхнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов подсистем ФБО. обеспечивая полную деталмза-
цию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_HLD.5.9C Проектверхнего уровня должен содержать описание разделения ОО па подсисте
мы, осуществляющие ПБО. и прочие.
ADV_HLD.5.10C Проект верхнего уровня должен содержать строгое обоснование, что идентифи
цированный способ выполнения разделения, в том числе любых механизмов
защиты, достаточен для обеспечения четкого и эффективного отделения функ
ций, осуществляющих ПБО, от функций, не участвующих восуществлении
ПБО.
ADV_HLD.5.11C Проект верхнего уровня должен содержать строгое обоснование, что механизмы
ФБО достаточны для реализации функций безопасности, идентифицированных
в проекте верхнего уровня.
55