2015-10-13
738
| Зависимости | |||
| 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.5С | Проект верхнего уровня должен идентифицировать все базовые аппаратные, программно-аппаратные и/или программные средства, требуемые для реализации ФБО, с представлением функций, обеспечиваемых поддержкой механизмов защиты, реализуемых этими средствами. | ||
| ADV_HLD.5.6C | Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО. | ||
| ADV_HLD.5.7C | Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются видимыми извне. | ||
| ADV_HLD.5.8C | Проект верхнего уровня должен содержать описание назначения и методов использования всех интерфейсов подсистем ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках. | ||
| ADV_HLD.5.9C | Проект верхнего уровня должен содержать описание разделения ОО на подсистемы, осуществляющие ПБО, и прочие. | ||
| ADV_HLD.5.10C | Проект верхнего уровня должен содержать строгое обоснование, что идентифицированный способ выполнения разделения, в том числе любых механизмов защиты, достаточен для обеспечения четкого и эффективного отделения функций, осуществляющих ПБО, от функций, не участвующих в осуществлении ПБО. | ||
| ADV_HLD.5.11C | Проект верхнего уровня должен содержать строгое обоснование, что механизмы ФБО достаточны для реализации функций безопасности, идентифицированных в проекте верхнего уровня. | ||
| Элементы действий оценщика | |||
| ADV_HLD.5.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
| ADV_HLD.5.2E | Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО. | ||
|
|
|
