Замечание по применению

Ранжирование компонентов

Цели

Архитектура безопасности (ADV_ARC)

Цель данного семейства состоит в предоставлении разработчиком описания архитектуры безопасности ФБО. Оно позволяет в результате проведения анализа представленной в нем информации в совокупности с другими свидетельствами, представленными для ФБО, подтвердить, что ФБО имеет требуемые свойства. Описание архитектуры безопасности поддерживает неявное требование того, что анализ ОО может быть проведен с помощью исследования ФБО; без надежной архитектуры нельзя провести исследования всех функциональных возможностей ОО.

Семейство содержит только один компонент.

Свойства замозащиты, разделения доменов и невозможности обхода ФБО отличаются от функциональных возможностей по безопасности, изложенных в ФТБ 2-й части ОК, поскольку самозащита и невозможность обхода ФБО почти совершенно не имеют непосредственного интерфейса с ФБО. Скорее они являются свойствами ФБО, которые реализуются в рамках проекта ОО и ФБО и осуществляются с помощью правильной реализации проекта.

Используемый в этом семействе подход состоит в том, что разработчик должен спроектировать и представить ФБО, которые демонстрируют упомянутые выше свойства, и предоставить свидетельства (в виде документации), которые объясняют эти свойства ФБО. Такое разъяснение предоставляется на том же уровне детализации, что и описание элементов ОО, обеспечивающих выполнение ФБО, в документации проекта ОО. Оценщик несет ответственность за анализ свидетельств совместно с другими свидетельствами для ОО и ФБО, определяющим заключение о достижении требуемых свойств.

В спецификации функциональных возможностей по безопасности, реализующих ФТБ (в Функциональной спецификации (ADV_FSP) и Проекте ОО (ADV_TDS)) не обязательно описывать механизмы, используемые для реализации самозащиты и невозможности обхода ФБО (например, механизмов управления памятью). Поэтому, необходимые материалы для обеспечения доверие к тому, что эти требования выполняются, лучше включить в презентацию отдельно от декомпозиции проекта ФБО, как они представлены в семействах «Функциональная спецификация» (ADV_FSP) и «Проект ОО» (ADV_TDS). Это не значит, что в описании архитектуры безопасности, требуемым этим компонентом, нельзя использовать материалы по декомпозиции проекта или ссылаться на них; однако вероятно, что большая часть подробностей, представленных в документации по декомпозиции, не существенны для предоставляемого доказательства в документе с описанием архитектуры безопасности. Описание архитектурной правильности можно представлять в качестве анализа уязвимостей, проводимого разработчиком, в том смысле, что он предоставляет логическое обоснование того, почему ФБО являются правильными и способствуют выполнению всех своих ФТБ. Там, где правильность обеспечивается с помощью специальных механизмов безопасности, последние должны тестироваться в рамках требований семейства «Глубина тестирования» (ATE_DPT); а где правильность обеспечивается исключительно с помощью архитектуры, должен тестироваться режим безопасности в рамках требований класса AVA: «Оценка уязвимости».

Это семейство включает требования к описанию архитектуры безопасности, включающему описание принципов самозащиты, разделения доменов и невозможности обхода ФБО, включая описание того, как эти принципы поддерживаются частями ОО, используемыми при инициализации ФБО.

Дополнительная информация по свойствам архитектуры безопасности относительно самозащиты, разделения доменов и невозможности обхода ФБО приведена в Приложении А.1, ADV_ARC: Дополнительные материалы по архитектуре безопасности.

Дата добавления: 2014-01-15