| Зависимости | |||
| ADV_FSP.1 | Неформальная функциональная спецификация | ||
| ADV_RCR.1 | Неформальная демонстрация соответствия | ||
| Элементы действий разработчика | |||
| ADV_HLD.1.1D | Разработчик должен представить проект верхнего уровня ФБО. | ||
| Элементы содержания и представления свидетельств | |||
| ADV_HLD.1.1C | Представление проекта верхнего уровня должно быть неформальным. | ||
| ADV_HLD.1.2C | Проект верхнего уровня должен быть внутренне непротиворечивым. | ||
| ADV_HLD.1.3C | Проект верхнего уровня должен содержать описание структуры ФБО в терминах подсистем. | ||
| ADV_HLD.1.4C | Проект верхнего уровня должен содержать описание функциональных возможностей безопасности, предоставленных каждой подсистемой ФБО. | ||
| ADV_HLD.1.5C | Проект верхнего уровня должен идентифицировать все базовые аппаратные, программно-аппаратные и/или программные средства, требуемые для реализации ФБО, с представлением функций, обеспечиваемых поддержкой механизмов защиты, реализуемых этими средствами. | ||
| ADV_HLD.1.6C | Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО. | ||
| ADV_HLD.1.7C | Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются видимыми извне. | ||
| Элементы действий оценщика | |||
| ADV_HLD.1.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
| ADV_HLD.1.2E | Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО. | ||
ADV_HLD.1 Описательный проект верхнего уровня
2015-10-13
891Поделись с друзьями:
|
|
Сейчас читают про:
8373
8095