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

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

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

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

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

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