Содержание

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

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

get {sid : <Sid>, key : <Key>}

Возвращает значение ключа key из базового экземпляра таблицы, ассоциированной с ресурсом sid.

Возвращает значение типа Value.

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

Ключ key не содержится в таблице, ассоциированной с ресурсом sid.
Ресурс sid не ассоциирован с таблицей из пула таблиц используемого объекта модели безопасности StaticMap.
Значение sid вне допустимого диапазона.

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

Пример:

/* Процесс класса Server получит решение "разрешено" от
 * модуля безопасности Kaspersky Security Module, вызывая метод интерфейса
 * безопасности Get, если значение ключа k1 в базовом
 * экземпляре таблицы, ассоциированной с этим процессом,
 * отлично от нуля. Иначе процесс класса Server получит
 * решение "запрещено" от модуля безопасности, вызывая
 * метод интерфейса безопасности Get. */
security src=Server, method=Get {
    assert(m.get {sid : src_sid, key : "k1"} != 0)
}

В начало