ГОСТ I»ИСО/М ЭК 15408-2-2002
н> FPT STM «Метки времени» предоставляет надежные метки времени.
п) FPT_TDC «Согласованность данных ФБО между ФБО* предназначенодля согласования данных между
ФЬО и удаленным доверенным продуктом ИТ.
Декомпозиция класса FPT на составляющие его компоненты приведена на рисунках Л.1. Л.2.
Защита фЕО
п
рактнойМЙШШ
РРТ_ДШ"Т*стнрова>*«« О
ои
Яабст
1
FPTJL8 П—опхносгъцх Обо»
1
FPTJTAДоступпаствжвпортиру»
кШХДЁШХФБО
-
Т|
FPTJTCКонфидвщиальнэсть
л*а-
перпфуааьогд н ш ФБО
1
FFT_m
Цвпвсшосп»«вспорпфушюг
дЬмыжФбО
1
1
-
2
FPTJTT П«радивданных ФБО■пр*-
диве 00
43
г Ш З
—FPT_p№ ФюмчмиямикстаФ60
гЩ -Е Н З
»—FFT_RCVНадежноеасССг«нсвги не
L 4
Рисунок Л.1 —Декомпозиция класса «Защита ФЬО*
Л.1 Тестирование базовой абстрактной машины (FPT AMT)
Семейство FPT_AMT определяет требования к выполнению тестирования ФБО. демонстрирующего
предположения безопасности относительно базовой абстрактной машины, лежащей в основе построения
ФБО. «Абстрактная* машина может быть как платформой апиаратных/программно-апиаратных средств, так и
некоторым известным и прошедшим оценку сочетанием аппаратных/программных средств, действующим
как виртуальная машина. В качестве примеров такого тестирования можно указать проверку аппаратной заши
ты. посылку типовых пакетов по сети для проверки получении, всрификанию режима функционирования
виртуального машинного интерфейса и т. д. Эти тесты могут выполняться при некотором поддерживаемом
состоянии, при запуске, по запросу или постоянно. Действия, предпринимаемые с использованием ОО по
результатам тестирования, определены в FPT_RCV.
140