KasperskyOS Community Edition 1.2
Русский
Разработка политик безопасности > Описание политики безопасности решения на базе KasperskyOS > Модели безопасности KasperskyOS > Модель безопасности Flow > Выражение query модели безопасности Flow
Выражение query модели безопасности Flow
query {sid : <Sid>}

Предназначено для использования в качестве выражения, проверяющего выполнение условий в конструкции choice (о конструкции choice см. "Привязка методов моделей безопасности к событиям безопасности"). Проверяет состояние конечного автомата, ассоциированного с ресурсом sid. В зависимости от результатов этой проверки выполняются различные варианты обработки события безопасности.

Выполняется некорректно в следующих случаях:

  • Ресурс sid не ассоциирован с конечным автоматом используемого объекта модели безопасности Flow.
  • Значение sid вне допустимого диапазона.

Когда выражение выполняется некорректно, модуль безопасности Kaspersky Security Module возвращает решение "запрещено".

Пример:

/* Любому клиенту в решении разрешено обращаться к * серверу класса ResourceDriver, если конечный автомат, * ассоциированный с этим сервером, находится в состоянии * started или stopped. Иначе любому клиенту в решении * запрещено обращаться к серверу класса ResourceDriver. */ request dst=ResourceDriver { choice (service_flow.query {sid : dst_sid}) { "started" : grant () "stopped" : grant () _ : deny () } }
Идентификатор статьи: ssp_descr_security_models_flow_query, Последнее изменение: 21 мая 2024 г.
В начало