ГОСТ Р ИСО/МЭК 15408-3 — 2008
Проект верхнегоуровня должен бытьвнутренне непротиворечивым.
14.2.5.2.3 ADV_HLD.2.3C
Проект верхнего уровня должен содержать описаниеструктуры ФБО в терминах подсистем.
14.2.5.2.4 ADV_HLD.2.4C
Проект верхнегоуровня должен содержать описание функциональныхвозможностей безопасности,
предоставленных каждой подсистемой ФБО.
14.2.5.2.5 ADV_HLD.2.5C
Проект верхнего уровня должен идентифицироватьлюбые базовыеаппаратные, программно-аппа
ратные и/или программныесредства, требуемыеФБО. с представлением функций, обеспечиваемых под
держивающими механизмами защиты, реализованными вэтих аппаратных, программно-аппаратных и/или
программных средствах.
14.2.5.2.6 ADVJHLD.2.6C
Проект верхнего уровнядолжен идентифицировать все интерфейсы для подсистем ФБО.
14.2.5.2.7 ADV_HLD.2.7C
Проект верхнего уровня долженидентифицировать, какие из интерфейсов подсистем ФБО являются
видимыми извне.
14.2.5.2.8 ADV_HLD.2.8C
Проект верхнего уровня должен содержать описание назначения и методов использования
всех интерфейсов подсистем ФБО, обеспечивая, где это необходимо, детализацию результатов,
нештатных ситуаций и сообщений об ошибках.
14.2.5.2.9 ADV_HLD.2.9C
Проект верхнего уровня должен содержать описание разделения 0 0 на подсистемы, осуще
ствляющие ПБО, и прочие.
14.2.5.3 Элементы действий оценщика
14.2.5.3.1 ADV_HLD.2.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.2.5.3.2 ADV_HLD.2.2E
Оценщик должен сделатьнезависимое заключение, что проект верхнего уровня— точное иполное
отображение функциональных требований безопасности ОО.
14.2.6 ADV_HLD.3 Полуформальный проект верхнего уровня
Зависимости: ADV_FSP.3Полуформальная функциональнаяспецификация
ADV_RCR.2 Полуформальнаядемонстрациясоответствия
14.2.6.1 Элементы действий разработчика
14.2.6.1.1 ADV_HLD.3.1D
Разработчик должен представить проект верхнего уровня ФБО.
14.2.6.2 Элементы содержания и представления свидетельств
14.2.6.2.1 ADV_HLD.3.1C
Представление проекта верхнего уровня должно быть полуформальным.
14.2.6.2.2 ADVJHLD.3.2C
Проект верхнегоуровня должен бытьвнутренне непротиворечивым.
14.2.6.2.3 ADV_HLD.3.3C
Проект верхнегоуровня должен содержать описаниеструктуры ФБО в терминах подсистем.
14.2.6.2.4 ADV_HLD.3.4C
Проект верхнегоуровня должен содержать описание функциональныхвозможностей безопасности,
предоставленных каждой подсистемой ФБО.
14.2.6.2.5 ADV_HLD.3.5C
Проект верхнего уровня должен идентифицировать любые базовые аппаратные, программно-
аппаратные и/или программныесредства, требуемые ФБО. с представлением функций, обеспечиваемых
поддерживающими механизмами защиты, реализованными вэтих аппаратных, программно-аппаратных и/
или программных средствах.
14.2.6.2.6 ADV_HLD.3.6C
Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО.
14.2.6.2.7 ADV_HLD.3.7C
60