ГОСТ Р ИСО/МЭК 15408-3-2002
ADV_HLD.2.9C Проект верхнего уровня должен содержать описание разделения ОО на подсисте
мы, осуществляющие ИБО, н прочие.
Элементы действий оценщика
ADV_HLD.2.1E Оценщикдолжен подтвердить, что представленная информация удоштетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV_HLD.2.2E Оценщикдолжен сделать независимое заключение, что проект верхнего уровня
—точное и полное отображение функциональных требований безопасности ОО.
ADV_HLD.3 Полуформальный проект верхнего уровня
Зависимости
ADV_FSP.3 Полуформальная функциональная спецификация
ADV_RCR.2 Полуформальная демонстрация соответствия
Элементыдействий разработчика
ADV_HLD.3.1D Разработчик должен представить проект верхнего уровня ФБО.
Элементы содержания и представления свидетельств
ADV_HLD.3.1C Представление проекта верхнего уровня должно быть полуформальным.
ADV_HLD.3.2C Проект верхнего уровня должен быть внутренне непротиворечивым.
ADV_HLD.3.3C Проект верхнего уровня должен содержать описание структуры ФБО в терминах
подсистем.
ADV_HLD.3.4C Проект верхнего уровня должен содержать описание функциональных возмож
ностей безопасности, предоставленных каждой подсистемой ФБО.
ADV_HLD.3.5C Проект верхнего уровня должен идентифицировать все базовые аппаратные,
программно-аппаратные и/или программные средства, требуемые для реализа
ции ФБО. с представлением функций, обеспечиваемых поддержкой механиз
мов. реализуемых этими средствами.
ADV_HLD.3.6C Проект верхнего уровня должен идентифицировагь все интерфейсы для подсис
тем ФБО.
ADV_HLD.3.7C Проект верхнего уровня должен идентифицировать, какие из интерфейсов под
систем ФБО являются видимыми извне.
ADV_HLD.3.8C Проект верхнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов подсистем ФБО. обеспечивая полную детализа
цию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_HLD.3.9C Проект верхнего уровня должен содержать описание разделения ОО на подсис
темы, осуществляющие ПБО. и прочие.
Элементы действий оценщика
ADV_HLD.3.1E Оценщикдолжен подтвердить, что представленная информация удовлетворяет
всемтребованиям к содержанию и представлению свидетельств.
ADV_HLD.3.2E Оценщикдолжен сделать независимое заключение, что проект верхнего уровня
— точное и полное отображение функциональных требований безопасности (Ю.
ADV_HLD.4 Пояснения в полуформальном проекте верхнего уровня
Зависимости
ADV FSP.3 Полуформальная функциональная спецификация
ADV_ RCR.2 Полуформальная демонстрация соответствия
Элементы действий разработчика
ADV_HLD.4.1D Разработчикдолжен представить проект верхнего уровня ФБО.
Элемешы содержания и представления свидетельств
ADV_HLD.4.1C Представление проекта верхнего уровня должно быть полуформальным.
ADV_HLD.4.2C Проект верхнего уровнядолжен был. внутренне непротиворечивым.
ADV_HLD.4.3C Проект верхнего уровня должен содержать описание структуры ФБО в терминах
подсистем.
ADV_HLD.4.4C Проект верхнего уровня должен содержать описание функциональных возмож
ностей безопасности, предоставленных каждой подсистемой ФБО.
ADV_HLD.4.5C Проект верхнего уровня должен идентифицировать все базовые аппаратные.
программно-аппаратные и/или программные средства, требуемые для реализа
ции ФБО, с представлением функций, обеспечиваемых поддержкой механиз
мов защиты, реализуемых этими средствами.
54