Выражение get модели безопасности StaticMap
get {sid : <Sid>, key : <Key>}
Возвращает значение ключа key из базового экземпляра таблицы, ассоциированной с ресурсом, который имеет идентификатор безопасности sid.
Возвращает значение типа Value.
Выполняется некорректно в следующих случаях:
- Ключ
keyне содержится в таблице. - Ресурс с идентификатором безопасности
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)
}