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

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

Проверяет допустимость записи данных в ресурс target потребителем ресурсов source.

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

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

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