KasperskyOS Community Edition 1.2
Выражение contains модели безопасности HashSet
contains {sid : <Sid>, entry : <Entry>}
Проверяет, содержится ли значение entry в таблице, ассоциированной с ресурсом sid.
Возвращает значение типа Boolean. Если значение entry содержится в таблице, ассоциированной с ресурсом sid, возвращает true. Иначе возвращает false.
Выполняется некорректно в следующих случаях:
- Ресурс
sidне ассоциирован с таблицей из пула таблиц используемого объекта модели безопасности HashSet. - Значение
sidвне допустимого диапазона.
Когда выражение выполняется некорректно, модуль безопасности Kaspersky Security Module возвращает решение "запрещено".
Пример:
/* Процесс класса Server получит решение "разрешено" от
* модуля безопасности Kaspersky Security Module, вызывая метод интерфейса
* безопасности Check, если значение 42 содержится в таблице,
* ассоциированной с этим процессом. Иначе процесс класса
* Server получит решение "запрещено" от модуля безопасности,
* вызывая метод интерфейса безопасности Check. */
security src=Server, method=Check {
assert(s.contains {sid : src_sid, entry : 42})
}
В начало