KasperskyOS Community Edition 1.2
Правило read модели безопасности Mic
read {source : <Sid>, target : <Sid>}
Проверяет допустимость чтения данных из ресурса target потребителем ресурсов source.
Возвращает результат "разрешено" в следующих случаях:
- Уровень целостности потребителя ресурсов
sourceне превышает уровень целостности ресурсаtarget. - Уровень целостности потребителя ресурсов
sourceпревышает уровень целостности ресурсаtarget, но минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, не превышает уровень целостности ресурсаtarget. - Уровень целостности потребителя ресурсов
sourceнесравним с уровнем целостности ресурсаtarget, но минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, не превышает уровень целостности ресурсаtarget.
Возвращает результат "запрещено" в следующих случаях:
- Уровень целостности потребителя ресурсов
sourceпревышает уровень целостности ресурсаtarget, и минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, превышает уровень целостности ресурсаtarget. - Уровень целостности потребителя ресурсов
sourceпревышает уровень целостности ресурсаtarget, и минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, несравним с уровнем целостности ресурсаtarget. - Уровень целостности потребителя ресурсов
sourceнесравним с уровнем целостности ресурсаtarget, и минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, превышает уровень целостности ресурсаtarget. - Уровень целостности потребителя ресурсов
sourceнесравним с уровнем целостности ресурсаtarget, и минимальный уровень целостности субъектов и ресурсов, из которых потребитель ресурсовsourceможет принимать данные, несравним с уровнем целостности ресурсаtarget. - Потребителю ресурсов
sourceили ресурсуtargetне назначен уровень целостности. - Значение
sourceилиtargetвне допустимого диапазона.
Пример:
/* Любому клиенту в решении разрешено обращаться к серверу
* класса updater.Realmserv, вызывая метод read службы
* realm.Reader, если модель безопасности Mic допускает
* чтение данных этим клиентом из ресурса, который требуется
* этому клиенту. Иначе любому клиенту в решении запрещено
* обращаться к серверу класса updater.Realmserv, вызывая
* метод read службы realm.Reader. */
request dst=updater.Realmserv,
endpoint=realm.Reader {
match method=read {
mic.read { source : src_sid
, target : message.handle.handle
}
}
}
Идентификатор статьи: ssp_descr_security_models_mic_read, Последнее изменение: 21 мая 2024 г.