...
Операция записи разрешена, если
cLсуб = cLоб, Cсуб = Cоб и iLсуб >= iLоб,
то есть:
уровни уровни конфиденциальности и категории доступа субъекта и объекта совпадают,
и уровень целостности субъекта не ниже уровня целостности объекта
(теоретически - значение iLсуб принадлежит верхнему множеству iLоб);- Операции чтения и исполнения разрешены, если
cLсуб >= cLоб и Cсуб >= Cоб,
то есть:
уровень уровень конфиденциальности субъекта не ниже уровня конфиденциальности объекта,
единичные категории доступа объекта входят в единичные категории доступа субъекта,
и разрешение не зависит от значений уровней целостности iLсуб и iLоб
(теоретически - значения сLсуб и Cсуб принадлежат верхним множествам cLоб и Cоб соответственно) .
...