ГОСТ Р ИСО/МЭК15408-2—2008
14.11.6.2 FPT.SEP.2.2
ФБО должны осуществлять разделение междудоменами безопасности субъектов в ОДФ.
14.11.6.3 FPT
_
SEP.2.3
ФБО должны поддерживать часть ФБО, связанных с [назначение:
списо
к
ПФБ управления
доступом и/или управления информационными пото
к
ами
], в домоне безопасности для их соб
ственного выполнения, защищающем их от вмешательства и искажения остальной частью ФБО и
субъектами, недоверенными относительно этих ПФБ.
14.11.7 FPT
_
SEP.3 Полный монитор обращений
Иерархический для. FPT
_
SEP.2 Отделение домена ПФБ
Зависимости: отсутствуют.
14.11.7.1 FPT
_
SEP.3.1
Неизолированная часть ФБО должна поддерживатьдомен безопасности для собственного выполне
ния. защищающий их от вмешательства и искажения недоверенными субъектами.
14.11.7.2 FPT
_
SEP.3.2
ФБО должны осуществлять разделение между доменами безопасности субъектов в ОДФ.
14.11.7.3 FPT
_
SEP.3.3
ФБО должны поддерживать часть ФБО. которая осуществляет ПФБ управления доступом
и/или управления информационными потоками, в домене безопасности для се собственного выпол
нения. защищающем их от вмешательства и искажения остальной частью ФБО и субъектами,
недоверен ными относительно ПБО.
14.12 Протокол синхронизации состояний (FPT
_
SSP)
14.12.1 Характеристика семейства
Распределенные системы могут иметь большую сложность, чем нераспределенные, из-за многооб
разия состояний частей системы, а также задержек связи. В большинстве случаев синхронизация состоя
ния между распределенными функциями включает всебя помимо обычных действий применение протоко ла
обмена. Если в среде распределенных систем существуют угрозы безопасности, потребуются более
сложные защищенные протоколы.
Семейство FPT
_
SSP «Протокол синхронизации состояний» устанавливает требование использова
ния надежных протоколов некоторыми критичными по безопасности функциями из числа ФБО. Данное
семейство обеспечивает, чтобы две распределенные части ОО (например главные ЭВМ) синхронизирова
ли свои состояния после действий, связанных с безопасностью.
14.12.2 Ранжирование компонентов
Рисунок 68 — Ранжирование компонентов семейства FPT
_
SSP
FPT
_
SSP.1 «Одностороннее надежное подтверждение» содержит требование подтверждения одним
лишь получателем данных.
FPT
_
SSP.2 «Взаимное надежное подтверждение» содержит требование взаимного подтверждения
обменаданными.
14.12.3 Управление: FPT
_
SSP.1, FPT
_
SSP.2
Действия по управлению не предусмотрены.
14.12.4 Аудит: FPT
_
SSP.1, FPT
_
SSP.2
Если в ПЗ/ЗБ включено семейство FAU
_
GEN «Генерация данных аудита безопасности», то следует
предусмотреть возможность аудита следующих действий:
а) минимальный: неполучение ожидаемого подтверждения.
14.12.5 FPT
_
SSP.1 Одностороннее надежное подтверждение
Иерархический для: нет подчиненных компонентов.
Зависимости: FPTJTT.1 Базовая защита внутренней передачи данных ФБО
14.12.5.1 FPT
_
SSP.1.1
ФБО должны подтверждать после запроса другой части ФБО получение немодифициро-
ванных данных ФБО при передаче.
72