ГОСТ Р ИСО/МЭК 15408-3 — 2008
Представление реализации должно включать в себя описание взаимосвязей между всеми частями
реализации.
14.3.6.3.4 ADVJMP.3.4C
Представление реализации должно быть структурировано в малые и понятные разделы.
14.3.6.4 Элементы действий оценщика
14.3.6.4.1 ADVJMP.3.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всемтребованиям к
содержанию ипредставлению свидетельств.
14.3.6.4.2ADVJMP.3.2E
Оценщик должен сделать независимое заключение о том. что представление реализации — точное и
полноеотображение функциональных требований безопасности 00.
14.4Внутренняя структура ФБО (ADVJNT)
14.4.1 Цели
Данное семейство связанос внутренней структуройФБО. Установлены требования для модульнос
ти. разбиения на уровни (с тем. чтобы разделитьуровни абстракции и минимизировать циклические зависи
мости), минимизации каксложности механизмов осуществления политик, так ифункциональных возмож
ностей ФБО. не участвующих в осуществлении ПБО. для получения ФБО. которые являются достаточно
простымидля анализа.
Модульноепроектирование уменьшает взаимозависимостьмеждуэлементами ФБО и. таким обра
зом. уменьшает риск того, что изменение или ошибка в одном модуле повлияет на весь ОО. Таким обра
зом. модульное проектирование предоставляет основу для определения области взаимодействия сдруги
ми элементами ФБО. обеспечивает повышение доверия к отсутствию непредвиденных последствий, а
также предоставляет основу для проектирования иоценки комплектов тестов.
Использование разбиения на уровни ипростой конструкции для функциональных возможностей, осу
ществляющих ПБО. уменьшает сложностьФБО. Это. всвою очередь, способствует лучшему пониманию
ФБО. предоставляя большеедоверие, чтофункциональныетребования безопасности ОО точно и полнос
тьюотражены в реализации.
Минимизация тех функциональных возможностей в ФБО. которые не участвуют в осуществлении
ПБО. уменьшает возможность появлениядефектов в ФБО. Всочетаниис модульностью иразбиением на
уровни, минимизация позволяет оценщику сосредоточиться только на тех функциональных
возможностях, которыедействительно необходимыдля осуществления ПБО.
Минимизация сложности проектасодействует повышению доверия ктому, чтокод понятен: чем меньше
сложность кода ФБО. тем больше вероятность, чтопроект ФБО постижим. Минимизация сложности проек
таявляется ключевой характеристикой механизма проверки правомочности обращений.
14.4.2 Ранжирование компонентов
Компоненты вэтом семействе ранжированы наосноветребуемых структурированности иминимиза
ции.
14.4.3 Замечания по применению
Выражение «части ФБО» использованодля представления частей ФБО различной степенидетали
зации, основанной надоступных представлениях ФБО. Функциональная спецификациядопускает иденти
фикацию в терминах интерфейсов, проект верхнего уровня — в терминах подсистем, проект нижнего
уровня — в терминах модулей ипредставление реализации — в терминах блоков реализации.
Элементы ADVJNT.2.5C иADVJNT.3.5C связаны с минимизацией взаимодействий междууровнями
иерархии. Взаимодействие между уровнями допустимо, нопри этом от разработчика требуется показать,
чтоэти взаимодействия необходимы и ихневозможноизбежать.
ADVJNT.2.6C относится кконцепции монитораобращений, требуя минимизации сложности техчастей
ФБО. которые осуществляют политики управления доступом и/илиуправления информационными потока
ми. идентифицированные в ПБО. ADVJNT.3.6C развивает далее концепцию монитора обращений, требуя
минимизации сложности всех ФБО.
Некоторыеэлементы в компонентах этого семействассылаются на описание архитектуры. Описание
архитектуры выполняется на томжеуровне абстракции, чтоипроект нижнегоуровня вотношении модулей
ФБО. Принимая вовнимание, что проект нижнегоуровня описывает модульную конструкциюФБО. назна
чениеописания архитектуры — предоставить при необходимости свидетельство модульности, разбиения
на уровни и минимизации сложности ФБО. Требуется согласованность как проекта нижнегоуровня, так и
представления реализации с описанием архитектуры дляобеспечения доверия к тому,чтоэти представле
ния ФБО обладают требуемой модульностью, разбиением на уровни и минимизацией сложности.
65