ГОСТ Р ИСО/МЭК15408-2— 2008
14.10.5.1 FPT
_
RVM.1.1
ФБО должны обеспечивать, чтобы функции, осуществляющие ПВО, вызывались и успешно
выполнялись, прежде чем разрешается выполнение любой другой функции в пределах ОДФ.
14.11 Разделение домена (FPT
_
SEP)
14.11.1 Характеристика семейства
Компоненты семейства FPT
_
SEP обеспечивают, чтобы, по меньшей мере, один домен безопасности
был доступен только для собственного выполнения ФБО, и этим ФБО были бы защищены от внешнего
вмешательства и искажения (например, модификации кода или структурданных ФБО) со стороны недове
ренных субъектов. Выполнение требований этого семейства устанавливает такую самозащиту ФБО, что
иедоверенный субъект не сможет модифицировать или повредить ФБО.
Это семейство содержит следующие требования:
a) ресурсы домена безопасности ФБО («защищенного домена») и ресурсы субъектов и активных
сущностей, внешних по отношению к этомудомену, должны разделяться так. чтобы сущности, внешние по
отношению к защищенномудомену, не могли получить или модифицироватьданные или код ФБО в преде
лах защищенного домена:
b
)обмен междудоменами должен управляться так, чтобы произвольный вход взащищенный домен
или произвольный выход из него были невозможны;
c) параметры пользователя или прикладной программы, переданные в защищенный домен по адре
су. должны проверяться относительно адресного пространства защищенного домена, а переданные по
значению — относительно значений, ожидаемых этим доменом.
d) защищенные домены субъектов должны быть разделены, за исключением случаев, когда совмест
ное использование одного домена управляется ФБО.
14.11.2 Ранжирование компонентов
Рисунок 67 — Ранжирование компонентов семейства FPT
_
SEP
FPT
_
SEP.1 «Отделение домена ФБО» обеспечивает отдельный защищенный домендля ФБО и раз
деление между субъектами в ОДФ.
FPT
_
SEP.2 «Отделение домена ПФБ» содержит требования дальнейшего разбиения защищенного
домена ФБО с выделением отдельного(ых)домена(ов)для идентифицированной совокупности ПФБ. кото
рые действуют как мониторы обращений для них. и домена для остальной части ФБО. а также доменов для
частей ОО, не связанных с ФБО.
FPT
_
SEP.3 «Полный монитор обращений» содержит требования, чтобы имелся отдельный(ые)до-
мен(ы) для осуществления ПБО. домен для остальной части ФБО. а также домены для частей ОО. не
связанных с ФБО.
14.11.3 Управление: FPT
_
SEP.1, FPT
_
SEP.2, FPT
_
SEP.3
Действия по управлению не предусмотрены.
14.11.4 Аудит: FPT
_
SEP.1, FPT
_
SEP.2, FPT
_
SEP.3
Нет событий, для которых следует предусмотреть возможность аудита.
14.11.5 FPT
_
SEP.1 Отделение домена ФБО
Иерархический для: нет подчиненных компонентов.
Зависимости: нет зависимостей.
14.11.5.1 FPT
_
SEP.1.1
ФБО должны поддерживать домен безопасности для собственного выполнения, защищаю
щий их от вмешательства и искажения недоверенными субъектами.
14.11.5.2 FPT
_
SEP1.2
ФБО должны осуществлять разделение между доменами безопасности субъектов в ОДФ.
14.11.6 FPT
_
SEP.2 Отделение домена ПФБ
Иерархический для: FPT
_
SEP.1 Отделение домена ФБО
Зависимости: нет зависимостей.
14.11.6.1 FPT
_
SEP.2.1
Неизолированная часть ФБО должна поддерживать домен безопасности для собственного вы
полнения. защищающий их от вмешательства и искажения недоверенными субъектами.
71