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

invoke {source : <Sid>, target : <Sid>}

Проверяет допустимость информационных потоков от субъекта source к субъекту target.

Возвращает результат "разрешено", если уровень целостности субъекта target не превышает уровень целостности субъекта source.

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

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