Компоненты требований доверия

Цели

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

Поэтому ОУД6 применим для разработки безопасных ОО с целью применения в условиях высокого риска, где ценность защищаемых активов оправдывает дополнительные затраты.

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

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

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

Этот ОУД представляет значимое увеличение доверия по сравнению с ОУД5, требуя проведения более всестороннего анализа, структурированное представление реализации, более стройную структуру (например, с разбиением на уровни), более всесторонний независимый анализ уязвимостей, а также улучшенное управление конфигурацией и улучшенный контроль среды разработки.

Классы требований доверия	Компоненты требований доверия
ADV: Разработка	ADV_ARC.1 Описание архитектуры безопасности
ADV_FSP.5 Полная полуформальная функциональная спецификация с дополнительной информацией об ошибках
ADV_IMP.2 Полное отображение представления реализации ФБО
ADV_INT.3 Минимальная сложность внутреннего устройства
ADV_SPM.1 Формальная модель политики безопасности ОО
ADV_TDS.5 Полный полуформальный модульный проект
AGD: Руководства	AGD_OPE.1 Эксплуатационное руководство пользователя
AGD_PRE.1 Подготовительные процедуры
ALC: Поддержка жизненного цикла	ALC_CMC.5 Расширенная поддержка
ALC_CMS.5 Охват УК инструментальных средств разработки
ALC_DEL.1 Процедуры поставки
ALC_DVS.2 Достаточность мер безопасности
ALC_LCD.1 Определенная разработчиком модель жизненного цикла
ALC_TAT.3 Соответствие стандартам реализации всех частей ОО
ASE: Оценка ЗБ	ASE_CCL.1 Утверждения о соответствии
ASE_ECD.1 Определение расширенных компонентов
ASE_INT.1 Введение в ЗБ
ASE_OBJ.2 Цели безопасности
ASE_REQ.2 Полученные требования безопасности
ASE_SPD.1 Определение проблемы безопасности
ASE_TSS.1 Краткая спецификация ОО
ATE: Тестирование	ATE_COV.3 Строгий анализ покрытия
ATE_DPT.3 Тестирование: модульный проект
ATE_FUN.2 Упорядоченное функциональное тестирование
ATE_IND.2 Выборочное независимое тестирование
AVA: Оценка уязвимости	AVA_VAN.5 Расширенный методичный анализ уязвимостей

Таблица 7 – ОУД6

4.9 Оценочный уровень доверия 7 (ОУД7) – предусматривающий формальную проверку проекта и формальное тестирование

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