ГОСТ Р ИСО/МЭК15408-2—2008
14.1 Тестирование базовой абстрактной машины (FPT
_
AMT)
14.1.1 Характеристика семейства
Семейство FPT
_
AMT определяет требования к выполнению тестирования ФБО, демонстрирующего
предположения безопасности относительно базовой абстрактной машины, на которую полагаются ФБО.
«Абстрактная» машина может быть как платформой аппаратных/программно-аппаратных средств, так и
некоторым известным и прошедшим оценкусочетанием аппаратных/программных средств, действующим
как виртуальная машина.
14.1.2 Ранжирование компонентов
Рисунок 57 — Ранжирование компонентов семейства FPT AMT
FPT
_
AMT.1 «Тестированиеабстрактной машины» предоставляет возможность проверки базовой абст
рактной машины.
14.1.3 Управление: FPT
_
AMT.1
Для функций управления из класса FMT могут рассматриваться следующие действия:
a) управление условиями, при которых происходит тестирование абстрактной машины, например, при
первоначальном запуске, с постоянным интервалом, при заданных условиях:
b
)управление временным интервалом (при необходимости).
14.1.4 Аудит: FPT
_
AMT.1
Если в ПЗ/ЗБ включено семейство FAU
_
GEN «Генерация данных аудита безопасности», то следует
предусмотреть возможность аудита следующих действий:
а) базовый: выполнение тестирования базовой машины и результаты тестирования.
14.1.5 FPT
_
AMT.1 Тестирование абстрактной машины
Иерархический для: нет подчиненных компонентов.
Зависимости: нет зависимостей.
14.1.5.1 FPT
_
AMT.1.1
ФБО должны выполнять пакет тестовых программ [выбор:
при первоначальном запус
к
е,
периодичес
к
и во время нормального фун
к
ционирования, по запросу уполномоченного пользова
-
теля, [назначение: другие условия]]
для демонстрации правильности выполнения предположе
ний безопасности, обеспечиваемых абстрактной машиной, которая является базовой для ФБО.
14.2 Безопасность при сбое (FPT
_
FLS)
14.2.1 Характеристика семейства
Требования семейства FPT
_
FLS обеспечивают возможность сохранения политики безопасности 0 0
при идентифицированных типах сбоев ФБО.
14.2.2 Ранжирование компонентов
Рисунок 58 — Ранжирование компонентов семейства FPT
_
FLS
Это семейство состоит из одного компонента, FPT
_
FLS.1 «Сбой с сохранением безопасного состоя
ния», содержащего требование, чтобы ФБО сохраняли безопасное состояние при идентифицированных
сбоях.
14.2.3 Управление: FPT
_
FLS.1
Действия по управлению не предусмотрены.
14.2.4 Аудит: FPT
_
FLS.1
Если в ПЗ/ЗБ включено семейство FAU
_
GEN «Генерация данных аудита безопасности», то следует
предусмотреть возможность аудита следующих действий:
а) базовый: сбой ФБО.
14.2.5 FPT
_
FLS.1 Сбой с сохранением безопасного состояния
Иерархический для: нет подчиненных компонентов.
Зависимости: ADV
_
SPM.1 Неформальная модель политики безопасности ОО
62