ГОСТ Р ИСО/МЭК 15408-3-2002
Та блица 6.5 —Оценочный уровеньдоверия 4
Класс Ловерии
Компоненты доверии
Управление конфигурацией
Поставка и эксплуатация
Разработка
Руководства
Поддержка жизненного
цикла
Тестирование
Опенка уязвимостей
ACM_AUT.1 Частичная автоматизация УК
АСМ_САР.4 Поддержка генерации, процедуры приемки
\CM_SCP.2 Охват УК отслеживания проблем
ADO_DEL.2 Обнаружение модификации
AIXMGS.1 Процедуры установки, генерации и запуска
ADV_FSP.2 Полностью определенные внешние интерфейсы
ADV HLD.2Детализация вопросовбезопасности в проекте верхнегоуровня
ADV_IMР.1 Подмножество реализации ФБО
ADV_LLD.l Описательный проект нижнего уровня
ADVRCR.1 Неформальная демонстрация соответствия
ADV_SPM.l Неформальная модель политики безопасности СЮ
AGD_ADM.I Руководство администратора
AGD_LSR.l Руководство пользователя
ALC_DVS.l Идентификация мер безопасности
ALC_LCD.l Модель жизненного цикла, определенная ра{работником
ALC_TAT.l Полностью определенные инструментальные средства разработ
ки
ATE_COV.2 Анализ покрытия
ATE_DPT.I Тестирование: проект верхнего уровня
ATE_FL‘N.I Функциональное тестирование
ATE_IND.2 Выборочное независимое тестирование
AV.A_.V1SU.2 Подтверждение правильности анализа
AVA_SOF.l Оценка стойкости функции безопасности ОО
AVA_VLA.2 Независимый анализ уязвимостей
6.2.5О ц е н о ч н ы йу р о в е н ьд о в е р и я5 (ОУД5), п р е д у с м а т р и в а ю
щ и йп о л у ф о р м а л ь н о е п р о е к т и р о в а н и е и т е с т и р о в а н и е
Цели
ОУД5 позволяет разработчикудостичь максимального доверия путем проектирования безопасно
сти. основанного на строгой коммерческой практике разработки, поддержанного умеренным примене
нием узко специализированных методов проектирования безопасности. Такие ОО будут, вероятно,
проектироваться и разрабатываться с намерением достичь ОУД5. Скорее всего, дополнительные затра
ты, сопутствующие требованиям ОУД5 в части строгости разработки, не будут большими без учета
применения специализированных методов.
Поэтому ОУД5 применим, когда разработчикам или пользователям требуется независимо полу
чаемый высокий уровень доверия для запланированной разработки со строгим подходом к разработке,
не влекущим излишних затрат на применение узко специализированных методов проектирования
безопасности.
Компоненты доверия
ОУД5 (см. таблицу 6.6) обеспечивает доверие посредством анализа функций безопасности с
использованием для понимания режима безопасности функциональной спецификации, потной специ
фикации интерфейсов, руководств, проекта ОО верхнего уровня и нижнего уровня, а также всей
реализации. Доверие дополнительнодостигается применением формальной модели политики безопас
ности СХ) и полуформальною представления функциональной спецификации и проекта верхнего уровня,
а также полуформальной демонстрации соответствия между ними. Кроме этого, требуется модульное
проектирование (Ю.
Анализ поддержан независимым тестированием ФБО. свидетельством разработчика об испыта
ниях. основанных на функциональной спецификации, проекте верхнего уровня и проекте нижнего
уровня, выборочным независимым подтверждением результатовтестирования разработчиком, анали-
П