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

Цели

Функциональная спецификация (ADV_FSP)

Элементы действий оценщика

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

ADV_ARC.1.5C

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

ADV_ARC.1.4C

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

ADV_ARC.1.3C

В описании архитектуры безопасности должно быть представлено описание доменов безопасности, поддерживаемыми ФБО в соответствии с ФТБ.

ADV_ARC.1.2C

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

ADV_ARC.1.1C

Элементы содержания и представления свидетельств

Разработчик должен представить описание архитектуры безопасности ФБО.

ADV_ARC.1.3D

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

ADV_ARC.1.2D

Разработчик должен разработать и реализовать ОО таким образом, чтобы свойства безопасности ФБО нельзя было обойти.

ADV_ARC.1.1D

Элементы действий разработчика

ADV_ARC.1 Описание архитектуры безопасности

Зависимости: ADV_FSP.1 Базовая функциональная спецификация

ADV_TDS.1 Базовый проект

Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.

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

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

· семейству ADV_ARC «Архитектура безопасности», в котором описание ИФБО может использоваться для получения лучшего понимания того, как ФБО защищаются от искажения (т.е. от блокирования самозащиты или разделения доменов) и/или своего обхода;

· классу ATE «Тестирование», в котором описание ИФБО является важными исходными данными как для тестирования разработчиком, так и оценщиком;

· классу AVA «Анализ уязвимостей», в котором описание ИФБО используется для поиска уязвимостей.

Ранжирование компонентов в этом семействе проводится по степени детализации, требуемой от описания ИФБО, и степени формализации (формы представления), требуемой от описания ИФБО.

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