Компоненты доверия
Цели
ОУД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