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

Цели

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

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

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

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

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

Классы требований доверия	Компоненты требований доверия
ADV: Разработка	ADV_ARC.1 Описание архитектуры безопасности
ADV_FSP.6 Полная полуформальная функциональная спецификация с дополнительной формальной спецификацией
ADV_IMP.2 Полное отображение представления реализации ФБО
ADV_INT.3 Минимальная сложность внутреннего устройства
ADV_SPM.1 Формальная модель политики безопасности ОО
ADV_TDS.6 Полный полуформальный модульный проект с представлением формального высоко-уровневого проекта
AGD: Руководства	AGD_OPE.1 Эксплуатационное руководство пользователя
AGD_PRE.1 Подготовительные процедуры
ALC: Поддержка жизненного цикла	ALC_CMC.5 Расширенная поддержка
ALC_CMS.5 Охват УК инструментальных средств разработки
ALC_DEL.1 Процедуры поставки
ALC_DVS.2 Достаточность мер безопасности
ALC_LCD.2 Измеряемая модель жизненного цикла
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.4 Тестирование: представление реализации
ATE_FUN.2 Упорядоченное функциональное тестирование
ATE_IND.3 Полное независимое тестирование
AVA: Оценка уязвимости	AVA_VAN.5 Расширенный методичный анализ уязвимостей

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

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