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

Создает конечный автомат и ассоциирует его с ресурсом sid. Созданный конечный автомат имеет конфигурацию, заданную в параметрах используемого объекта модели безопасности Flow.

Возвращает результат "разрешено", если создало ассоциацию конечного автомата с ресурсом sid.

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

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

Пример:

/* Запуск процесса класса Server будет разрешен, * если при инициации запуска будет создана * ассоциация этого процесса с конечным автоматом. * Иначе запуск процесса класса Server будет запрещен. */ execute dst=Server { service_flow.init {sid : dst_sid} }
Идентификатор статьи: ssp_descr_security_models_flow_init, Последнее изменение: 21 мая 2024 г.
В начало