ГОСТ Р ИСО/МЭК 15408-3 — 2008
Проокт верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются
видимыми извне.
14.2.6.2.8 ADV_HLD.3.8C
Проект верхнего уровня должен содержатьописание назначения и методов использования всех ин
терфейсов подсистем ФБО. обеспечивая полную детализацию всех результатов, нештатных ситуаций и
сообщений обошибках.
14.2.6.2.9 ADV_HLD.3.9C
Проект верхнего уровня должен содержатьописание разделения ОО на подсистемы, осуществляю
щие ПБО. и прочие.
14.2.6.3 Элементы действийоценщика
14.2.6.3.1 ADV_HLD.3.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.2.6.3.2 ADV_HLD.3.2E
Оценщикдолжен сделать независимое заключение о том. что проект верхнего уровня — точное и
полноеотображение функциональных требований безопасности ОО.
14.2.7 ADV_HLD.4 Пояснения в полуформальном проекте верхнего уровня
Зависимости: ADV_FSP.3 Полуформальная функциональная спецификация
ADV_RCR.2 Полуформальнаядемонстрациясоответствия
14.2.7.1 Элементы действий разработчика
14.2.7.1.1 ADV_HLD.4.1D
Разработчик должен представить проект верхнего уровня ФБО.
14.2.7.2 Элементы содержания и представления свидетельств
14.2.7.2.1 ADV_HLD.4.1C
Представление проекта верхнегоуровнядолжно быть полуформальным.
14.2.7.2.2 ADV_HLD.4.2C
Проект верхнегоуровня должен бытьвнутренне непротиворечивым.
14.2.7.2.3 ADV_HLD.4.3C
Проект верхнегоуровня должен содержатьописаниеструктуры ФБО в терминах подсистем.
14.2.7.2.4 ADV_HLD.4.4C
Проект верхнегоуровня должен содержать описание функциональныхвозможностей безопасности,
предоставленных каждой подсистемой ФБО.
14.2.7.2.5 ADVJHLD.4.5C
Проект верхнего уровня должен идентифицироватьлюбые базовые аппаратные, программно-аппа
ратные и/или программныесредства, требуемыеФБО. с представлением функций, обеспечиваемых под
держивающими механизмами защиты, реализованными вэтихаппаратных, программно-аппаратных и/или
программных средствах.
14.2.7.2.6 ADV_HLD.4.6C
Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО.
14.2.7.2.7 ADV_HLD.4.7C
Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются
видимыми извне.
14.2.7.2.8 ADV_HLD.4.8C
Проект верхнего уровня должен содержать описание назначения и методов использования всех ин
терфейсов подсистем ФБО. обеспечивая полнуюдетализацию всех результатов, нештатных ситуаций и
сообщений обошибках.
14.2.7.2.9 ADV_HLD.4.9C
Проект верхнего уровня должен содержатьописание разделения ОО наподсистемы, осуществляю
щие ПБО. и прочие.
14.2.7.2.10 ADVJHLD.4.10C
Проект верхнего уровня должен содержать логическое обоснование того, что идентифициро
ванный способ выполнения разделения, в том числе любых механизмов защиты,достаточен для
обеспечения четкого и эффективного отделения функций, осуществляющих ПБО, от функций, не
участвующих в осуществлении ПБО.
14.2.7.2.11 ADVJHLD.4.11C
61