A.1.1 Свойства архитектуры безопасности

ACO_VUL.3.5E

ACO_VUL.3.4E

ACO_VUL.3.3E

ACO_VUL.3.2E

ACO_VUL.3.1E

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

ACO_VUL.3.1C

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

ACO_VUL.3.1D

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

ACO_VUL.3 Расширенный базовый анализ уязвимостей композиции

Зависимости: ACO_DEV.3 "Детальное свидетельство проекта"

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

Составной ОО должен быть пригоден для тестирования.

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

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

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

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

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

Приложение A

(справочное)
Разработка (ADV)

Данное приложение содержит вспомогательный материал для дальнейшего объяснения и предоставления дополнительных примеров по теме семейств класса ADV: " Разработка".

A.1 ADV_ARC: Дополнительный материал по архитектурам безопасности

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

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

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

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

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

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

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

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

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