| Зависимости | ||||
| 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 | Проект верхнего уровня должен идентифицировать все базовые аппаратные, программно-аппаратные и/или программные средства, требуемые для реализации ФБО, с представлением функций, обеспечиваемых поддержкой механизмов защиты, реализуемых этими средствами. | |||
| ADV_HLD.4.6C | Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО. | |||
| ADV_HLD.4.7C | Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются видимыми извне. | |||
| ADV_HLD.4.8C | Проект верхнего уровня должен содержать описание назначения и методов использования всех интерфейсов подсистем ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках. | |||
| ADV_HLD.4.9C | Проект верхнего уровня должен содержать описание разделения ОО на подсистемы, осуществляющие ПБО, и прочие. | |||
| ADV_HLD.4.10C | Проект верхнего уровня должен содержать строгое обоснование, что идентифицированный способ выполнения разделения, в том числе любых механизмов защиты, достаточен для обеспечения четкого и эффективного отделения функций, осуществляющих ПБО, от функций, не участвующих в осуществлении ПБО. | |||
| ADV_HLD.4.11C | Проект верхнего уровня должен содержать строгое обоснование, что механизмы ФБО достаточны для реализации функций безопасности, идентифицированных в проекте верхнего уровня. | |||
| Элементы действий оценщика | ||||
| ADV_HLD.4.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | |||
| ADV_HLD.4.2E | Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО. | |||
ADV_HLD.4 Пояснения в полуформальном проекте верхнего уровня
2015-10-13
844Поделись с друзьями:
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
|
Сейчас читают про:
5842
5611