ГОСТ Р ИСО/МЭК15408-2—2008
FPTJ4PLОбнерухдаеюповторного
иеп0п4090иия
FFT
_
RVM Посредничество
геи обршцетевк
НИ
1
fptjsep
редтатеродне
;-
енз
-
и
1
о
FPT 8ЙР протают оееф«ешцм<
ооошмчй
2
FPTT8T СомотвспфоааммФьО
Рисунок J.1, лист 2
J.1.3 FPT
_
AMT.1 Тестирование абстрактной машины
J.1.3.1 Замечания по применению для пользователя
Компонент FPT
_
AMT.1 поддерживает периодическое тестирование предположений безопасности базовой
абстрактной машины, от которых зависит выполнение ФБО. требуя обеспечения возможности периодического
запуска тестирования функций.
При желании автор ПЗ/ЗБ может уточнить требование, указав, в каком режиме следует проводить тестиро
вание: автономно, при обычном функционировании системы или в режиме аварийной поддержки.
J.1.3.2 Замечания для оценщика
Допускается, чтобы функции периодического тестирования были доступны только в автономном режиме
или режиме аварийной поддержки. Следует иметь средства управления для предоставления доступа в режиме
аварийной поддержки только уполномоченным пользователям.
J.1.3.3 Операции
J.1.3.3.1 Выбор
В FPT
_
AMT.1.1 автору ПЗ/ЗБ следует специфицировать, когда ФБО будут выполнять тестирование абстракт
ной машины: при запуске, периодически во время нормального функционирования, по запросу уполномоченного
пользователя, при других условиях. В последнем случае следует уточнить эти условия. С помощью этой операции
выбора автор ПЗ/ЗБ имеет возможность указать также периодичность выполнения самотестирования. Более
частое тестирование даст пользователю большую уверенность в правильном функционировании ОО. Однако
необходимо выбрать правильное соотношение между предоставлением уверенности и потенциальным умень
шением доступности ОО. поскольку слишком частое тестирование может замедлить нормальное функциониро
вание ОО.
J.1.3.3.2 Назначение
В FPT
_
AMT.1.1 автору ПЗ/ЗБ следует (если другие условия выбраны) специфицировать частоту, с которой
будет проходить самотестирование.
J.2 Безопасность при сбое (FPT
_
FLS)
J.2.1 Замечания для пользователя
Требования семейства FPT
_
FLS обеспечивают, чтобы ОО не нарушал свою политику безопасности при
сбоях ФБО идентифицированных типов.
J.2.2 FPT
_
FLS.1 Сбой с сохранением безопасного состояния
J.2.2.1 Замечания по применению для пользователя
Термин «безопасное состояние» относится к состоянию, при котором данные ФБО непротиворечивы
и ФБО продолжают корректное осуществление ПБО. «Безопасное состояние» определяют в модели ПБО. Если
148