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

upgrade { source : <Sid>

, target : <Sid>

, container : <Sid | ()>

, driver : <Sid>

, level : <Level | ...>

}

Повышает назначенный ранее уровень целостности ресурса target до значения level в следующей ситуации:

Процесс source инициирует повышение уровня целостности ресурса target.
Ресурсом target управляет субъект driver, который является поставщиком ресурсов или ядром KasperskyOS.
Ресурс container является контейнером для ресурса target (например, директория является контейнером для файлов и/или других директорий).

Если поле container имеет значение (), ресурс target рассматривается как корневой, то есть не имеющий контейнера.

Чтобы задать уровень целостности level, используются значения типа Level. Определение типа Level см. в "Правило create модели безопасности Mic".

Правило возвращает результат "разрешено", если повысило назначенный ранее уровень целостности ресурса target до значения level.

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

Значение level не превышает уровень целостности ресурса target.
Значение level превышает уровень целостности процесса source, субъекта driver или ресурса container.
Уровень целостности ресурса target превышает уровень целостности процесса source.
Процессу source, субъекту driver или ресурсу container не назначен уровень целостности.
Значение source, target, container или driver вне допустимого диапазона.