ГОСТ Р ИСО/МЭК 15408-2-2002
Рисунок 10.2 —Декомпозиции класса «Зашита ФБО» (продолжение)
10.1 Тестирование базовой абстрактной машины (FPTAMT)
Характеристика семейства
Семейство FPT_AMT определяет требования к выполнению тестирования ФБО, демонстрирую
щего предположения безопасности относительно базовой абстрактной машины, лежащей в основе
построения ФБО. «Абстрактная» машина может быть как платформой аппаратных/программно-аппа-
ратных средств, так и некоторым известным и прошедшим оценку сочетанием аппаратных/программ-
иых средств, действующим как виртуальная машина.
Ранжироватте компонентов
F P
T Таспфоашм»бвжяойабст-
ректнойиаинпя
HD
FPT AMT. 1«Тестирование абстрактной машины* предоставляет возможность проверки базовой
абстрактной машины.
Управление: FIT АМТ. 1
Для функций управления из класса FMT могут рассматриваться следующие действия.
а) Управление условиями, при которых происходит тестирование абстрактной машины, напри
мер при первоначальном запуске, с постоянным интервалом, при заданных условиях.
б) Управление временнйм интервалом (если такое управление предусмотрено).
Аудит: FIT АМТ.I
Если в ПЗ/ЗБ включено семейство FAU_GEN «Генерация данных аудита безопасности», то
следует предусмотреть возможность (в зависимости от выбранного уровня) аудита следующих дей-
ствий/событий/параметров.
а) Базовый: выполнение тестирования базовой машины и результаты тестирования.
Л-1-1Ш
61