ГОСТ Р ИСО/МЭК 15408-3 — 2008
Проект верхнего уровня должен содержать логическое обоснование того, что механизмы ФБО
достаточны для реализации функций безопасности, идентифицированных в проекте ворхнего
уровня.
14.2.7.3 Элементы действий оценщика
14.2.7.3.1 ADV_HLD.4.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.2.7.3.2 ADV_HLD.4.2E
Оценщикдолжен сделать независимое заключение о том. что проект верхнего уровня — точное и
полноеотображение функциональных требований безопасности ОО.
14.2.8 ADV_HLD.5 Формальный проект верхнего уровня
Зависимости: ADV_FSP.4 Формальнаяфункциональная спецификация
ADV_RCR.3 Формальная демонстрация соответствия
14.2.8.1 Элементы действийразработчика
14.2.8.1.1 ADV_HLD.5.1D
Разработчик должен представить проект верхнего уровня ФБО.
14.2.8.2 Элементы содержания и представления свидетельств
14.2.8.2.1 ADVJHLD.5.1C
Представление проекта верхнего уровнядолжнобыть формальным.
14.2.8.2.2 ADV_HLD.5.2C
Проект верхнегоуровня должен бытьвнутренне непротиворечивым.
14.2.8.2.3 ADV_HLD.5.3C
Проект верхнегоуровня должен содержать описаниеструктуры ФБО в терминах подсистем.
14.2.8.2.4 ADV_HLD.5.4C
Проект верхнегоуровня должен содержать описание функциональныхвозможностей безопасности,
предоставленных каждой подсистемой ФБО.
14.2.8.2.5 ADV_HLD.5.5C
Проект верхнего уровня должен идентифицироватьлюбые базовыеаппаратные, программно-аппа
ратные и/или программныесредства, требуемые ФБО. с представлением функций, обеспечиваемых под
держивающими механизмами защиты, реализованными вэтих аппаратных, программно-аппаратных иУили
программных средствах.
14.2.8.2.6 ADVJHLD.5.6C
Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО.
14.2.8.2.7 ADV_HLD.5.7C
Проект верхнего уровня долженидентифицировать, какие из интерфейсов подсистем ФБО являются
видимыми извне.
14.2.8.2.8 ADVJHLD.5.8C
Проект верхнего уровня должен содержатьописание назначения и методов использования всех ин
терфейсов подсистем ФБО. обеспечивая полнуюдетализацию всех результатов, нештатных ситуаций и
сообщений обошибках.
14.2.8.2.9 ADV_HLD.5.9C
Проект верхнего уровня должен содержатьописание разделения ОО на подсистемы, осуществляю
щие ПБО. и прочив.
14.2.8.2.10 ADVJHLD.5.10C
Проект верхнего уровня должен содержатьлогическоеобоснование того, что идентифицированный
способ выполнения разделения, в том числе любых механизмов защиты, достаточен для обеспечения
четкого и эффективного отделения функций, осуществляющих ПБО. от функций, не участвующих в осу
ществлении ПБО.
14.2.8.2.11 ADVJHLD.5.11C
Проект верхнего уровня долженсодержать логическое обоснование того, что механизмы ФБОдоста
точны для реализации функций безопасности, идентифицированных в проекте верхнегоуровня.
14.2.8.3 Элементы действий оценщика
14.2.8.3.1 ADV_HLD.5.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.2.8.3.2 ADV HLD.5.2E
62