J.13.1 Замечания для пользователя

J.12.3.3.2 Назначение

J.12.3.3.1 Выбор

J.12.3.3 Операции

J.12.3.2 Замечания для оценщика

Для функций периодического тестирования допускается их доступность только в автономном режиме или в режиме восстановления.

Для ограничения доступа авторизованным пользователям во время восстановления следует ввести механизмы контроля.

В FPT_TEE.1.1 автору ПЗ/ЗБ следует специфицировать, когда ФБО будут проводить тестирование внешних сущностей: при первом запуске, в процессе нормального функционирования, по запросу от авторизованного пользователя или при других условиях. Если тесты часто проводятся, тогда конечные пользователи получат большую степень уверенности в верном функционировании ОО, чем при редком их проведении. Однако следует соблюдать баланс между потребностью в этой уверенности и потенциальным влиянием на доступность ОО, так как зачастую проверки замедляют нормальное функционирование ОО.

В FPT_TEE.1.1 автору ПЗ/ЗБ следует специфицировать свойства внешних сущностей, подлежащие проверке при тестировании. К таким свойствам может относиться свойства конфигурации или доступности или сервер директорий, поддерживающий часть контролей доступа в ФБО,

Также в FPT_TEE.1.1 автору ПЗ/ЗБ следует специфицировать, если выбраны другие условия, частоту проведения тестирований. Пример иного условия и частоты проведения тестирований – проведение тестов каждый раз при запросе пользователям сеанса работы с ОО, например, тестирование сервера директорий перед его взаимодействием с ФБО в процессе аутентификации пользователя.

Также в FPT_TEE.1.2 автору ПЗ/ЗБ следует специфицировать, какие действия должны предпринимать ФБО в случае отрицательного результата тестирования. Для примера всё того же сервера, такие действия могут включать подключение к альтернативному доступному серверу или резервному серверу.

J.13 Согласованность данных ФБО при дублировании в пределах ОО (FPT_TRC)

Требования семейства FPT_TRC необходимы, чтобы обеспечить согласованность данных ФБО, когда они дублируются в пределах ОО. Такие данные могут стать несогласованными при нарушении работоспособности внутреннего канала между частями ОО. Если ОО внутренне структурирован как сеть, то это может произойти из-за отключения отдельных частей сети при разрыве сетевых соединений.

Метод обеспечения согласованности в данном семействе не указывается. Согласованность может достигаться с помощью некоторой формы обработки транзакций (где соответствующие транзакции "возвращаются назад" к месту отправления через повторное соединение) или путем обновления дублируемых данных через протокол синхронизации. Если для ПЗ/ЗБ необходим конкретный протокол, то он может быть специфицирован с использованием операции уточнения.

Может оказаться, что синхронизировать некоторые состояния невозможно или затраты на такую синхронизацию слишком высоки. Примером подобной ситуации служит отмена каналов связи и ключей шифрования. Могут также возникать неопределенные состояния. Если желателен конкретный режим функционирования, его следует специфицировать с использованием операции уточнения.

J.13.2 FPT_TRC.1 Согласованность дублируемых данных ФБО

Дата добавления: 2014-01-15