ГОСТ Р ИСО/МЭК 15408-2-2013
Зависимости: отсутствуют.
14.8.5.1 FPT_RPL.1.1
ФБО должны обнаруживать повторное использование для следующих сущ
ностей: [назначение: список идентифицированных сущностей].
14.8.5.2 FPT_RPL.1.2
ФБО должны выполнить [назначение: список специальных действий]
при обнаружении повторного использования.
14.9 Протокол синхронизации состояний (FPT_SSP)
14.9.1 Характеристика семейства
Распределенные 00 могут иметь большую сложность, чем нераспределенные,
из-за многообразия состояний частей 00, а также из-за задержек связи. В большин
стве случаев синхронизация состояния между распределенными функциями вклю
чает в .себя, помимо обычных действий, применение протокола обмена. Когда в
среде распределенных систем существуют угрозы безопасности, потребуются более
сложные защищенные протоколы.
Семейство FPT_SSP «Протокол синхронизации состояний» устанавливает тре
бование использования надежных протоколов некоторыми критичными функциями
из числа ФБО. Оно обеспечивает, чтобы две распределенные части 00 (например,
главные ЭВМ) синхронизировали свои состояния после действий, связанных с безо
пасностью.
14.9.2 Ранжирование компонентов
FPT SSP.1 «Одностороннее надежное подтверждение» содержит требование
подтверждения одним лишь получателем данных.
FPT SSP.2 «Взаимное надежное подтверждение» содержит требование взаим
ного подтверждения обмена данными.
14.9.3 Управление: FPT_SSP.1, FPT_SSP.2
Действия по управлению не предусмотрены.
142