KasperskyOS Community Edition 1.2
Русский
Разработка политик безопасности > Описание политики безопасности решения на базе KasperskyOS > Модели безопасности KasperskyOS > Модель безопасности Flow > Правило enter модели безопасности Flow
Правило enter модели безопасности Flow
enter {sid : <Sid>, state : <State>}

Переводит конечный автомат, ассоциированный с ресурсом sid, в состояние state.

Возвращает результат "разрешено", если перевело конечный автомат, ассоциированный с ресурсом sid, в состояние state.

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

  • Переход в состояние state из текущего состояния не допускается конфигурацией конечного автомата, ассоциированного с ресурсом sid.
  • Ресурс sid не ассоциирован с конечным автоматом используемого объекта модели безопасности Flow.
  • Значение sid вне допустимого диапазона.

Пример:

/* Любому клиенту в решении будет разрешено обращаться * к серверу класса Server, если конечный автомат, * ассоциированный с этим сервером, будет переведен в * состояние started при инициации обращения. Иначе * любому клиенту в решении будет запрещено обращаться * к серверу класса Server. */ request dst=Server { service_flow.enter {sid : dst_sid, state : "started"} }
Идентификатор статьи: ssp_descr_security_models_flow_enter, Последнее изменение: 21 мая 2024 г.
В начало