33629

Мандатная модель

Доклад

Информатика, кибернетика и программирование

Модели механизмов обеспечения целостности данных Модель Биба Рассматриваемая модель основана на принципах которые сохраняют целостность данных путем предотвращения поступления данных с низким уровнем целостности к объектам с высоким уровнем целостности. Уровень целостности согласно. субъектам запрещено чтение данных из объекта с более низким уровнем целостности; нет записи наверх т. субъектам запрещено запись данных в объект с более высоким уровнем целостности.

Русский

2013-09-06

31 KB

9 чел.

48. Мандатная модель

Рассматриваемая модель характеризует взаимоотношения субъектов и объектов на основе приоритетов.

Субъектам системы соответствуют приоритеты, объектам соответствуют степени критичности. Субъект может запрашивать услугу от ВС, запрашивая доступ к объектам ВС. Если запрос зарегистрирован, но не удовлетворен в течении заданного промежутка времени, то считается, что субъект получил отказ в обслуживании.

Мандатная модель описывается набором правил, которые определяют условия, при которых отказ в обслуживании был бы недопустим.

Первое правило – «никаких отказов вверх», т.е. никаким объектам с более низким приоритетом не позволено отказывать в обслуживании субъектам с более высоким приоритетами. При этом, некоторым субъектам с более высоким приоритетом должна предоставляться возможность (при их желании) отказывать в обслуживании объектам с более низким приоритетом.

Второе правило - ни один субъект не может отказать запросам, сделанным субъектом с более высоким приоритетом через объекты из некоторого конкретно определенного множества. Это множество, как правило, содержит наиболее критические объекты, для которых услуги всегда должны предоставляться своевременно.

Эта модель предоставляет возможность своевременного обслуживания на основе понятия приоритета. Однако, для систем, в которых нельзя определить несколько приоритетов, использование этих правил не имеет смысла.

Рассматриваемая модель может использоваться для анализа тех ситуаций, когда угроза нарушения доступности зависит от распределения пространства и времени для некоторого процесса.

10.4. Модели механизмов обеспечения целостности данных

Модель Биба

Рассматриваемая модель основана на принципах, которые сохраняют целостность данных, путем предотвращения поступления данных с низким уровнем целостности к объектам с высоким уровнем целостности.

Уровень целостности, согласно. модели Биба, состоит из двух элементов: классификация (К) и 'множество категорий (М). Субъекты и объекты классифицируются по следующим группам: определяющий (С), очень важный (VI) и важный (I), для которых справедливо С > VI > I.

Элементы множества категорий - зависят от рассматриваемой среды и относятся к прикладной области, где данные должны использоваться.

Основные правила модели:

- «нет чтения снизу» - т.е. субъектам запрещено чтение данных из объекта с более низким уровнем целостности;

- «нет записи наверх» - т.е. субъектам запрещено запись данных в объект с более высоким уровнем целостности.

Обозначим уровень целостности субъекта S как С1 = (K1, M1), a уровень целостности объекта о как С2 = (К2, М2), тогда основные правила модели можно записать как

s субъекты, о  объекты: разрешить      (2.5)

(s, о, чтение) если С2 преобладает над С1;

s субъекты, о объекты: разрешить                               (2.6)

(s, о, запись) если С1 преобладает над С2.

C1 преобладает над С2 только в том случае, если К1 > К2 и Ml подмножество М2.

Если для данных двух уровней С1 и С2 ни одно отношение СУ > С2, С2 > С1 не выполняется, то они считаются несравнимыми.

Рассматриваемая модель основана на простой иерархии. Она может использоваться, когда поступление данных наверх может привести к недопустимому нарушению целостности находящихся там данных.


 

А также другие работы, которые могут Вас заинтересовать

19514. Идеальное интегрирующие звено 1.27 MB
  Идеальное интегрирующие звено. Уравнение такого звена: Выходной сигнал интегрирующего звена равного интегралу по времени выходного сигнала умноженное на постоянный коэффициент. Пример интегрирующего звеньев является различные счетчики суммирующие...
19515. Параллельное соединение звеньев 1.83 MB
  Параллельное соединение звеньев При параллельном соединении звеньев входа сигналы всех звеньев одинаков и равны входу системы. Общий вид равен сумме выходных сигналов всех звеньев. эквивалентная периодическая функция Таким образом передаточная...
19516. Идеальное дифференцирующее звено 2.23 MB
  Идеальное дифференцирующее звено. 1. Идеальное дифференцирующие звено То есть координата пропорциональна скорости изменения входной. Параметр который называется постоянной дифференцирования измеряется в секундах Отсюда найдем передаточную функцию и поле со...
19517. Правило преобразования структурных схем 8.16 MB
  Правило преобразования структурных схем. Предположим есть объект В исходном схеме имеется 1 входной сигнал х и 2вых сигнала и . Необходимо перенести узел через звено. Простой перенос приведет к схеме показанный рис б. очевидно что эта схема не соответствует исходно
19518. Понятие устойчивости 2.43 MB
  Понятие устойчивости. Устойчивость это свойство системы возвращается в исходный установившийся режим после выхода из него в результате какоголибо внешнего воздействия. Различают три типа систем. 1 устойчивый эта система в которой будущей выведен из состояни...
19519. Критерий устойчивости Раусса–Гурвица 91.5 KB
  Критерий устойчивости РауссаГурвица. Пусть система описывается дифференциальным уравнением Nго порядка нумерация коэффициентов здесь проводится в обратном порядке по сравнению со стандартным дифференциальным уравнением Составим из коэффициентов этого уравнени...
19520. Критерий Михайлова 2.27 MB
  Критерий Михайлова Как и в случае алгоритм критерия критерий Михайлова применяется тогда когда известно дифференциальное уравнение . Для анализа устойчивости системы предлагается использовать характеристический комплекс б который определяется из характеристическо...
19521. Амплитудно фазовый критерий Найквиста 3.26 MB
  Амплитудно фазовый критерий Найквиста. АФ критерий Найквиста позволяет оценить устойчивость системы с отрицательной обратной связью то есть замкнутый по найденной экспериментальной или из передаточной функции АФХ разомкнутой системы. Рассмотрим замкнутый контур....
19522. Показатели качества переходных процессов 1.78 MB
  Показатели качества переходных процессов. Процессам управления представляют следующие основные требования по точности установившихся режимов по устойчивости и по качеству переходных процессов. Устойчивость САУ то есть затухание протекающих в ней процессов явля