Выражение initialized модели безопасности StaticMap

initialized {sid: <Sid>}

Выражение проверяет, ассоциирован ли ресурс sid с конкретной таблицей из пула таблиц используемого объекта StaticMap. Оно возвращает true, если ресурс sid ассоциирован с таблицей (инициализирован), иначе – false.

Требования к использованию:

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

Пример:

execute {

// Выражение вернет false, если dst_sid не ассоциирован с таблицей, иначе – true.

choice(counters.initialized {sid: dst_sid}) {

// Выполнить ассоциацию ресурса sid с таблицей

false : counters.init {sid: dst_sid}

// Иначе вернуть решение "запрещено"

_ : deny ()

}

}

См. также:

Типы данных в языке PSL

Правило init модели безопасности StaticMap