Курс лекций Защита Информации/Модель Харрисона-Рузза-Ульмана: различия между версиями

<math>M'[x_s,x_o]=M[x_s, x_o]</math> для <math>(x_s, x_o) \in s' \times o'</math>

 

<center><math>Q_{n+1}=C(Q_n)</math></center>

Каждое состояние определяется отношением доступа, которое существует между сущностями системы в виде множеств субектов, объектов и матрицы прав. Поскольку для обеспечения безопасности необходимо наложить запрет на некоторые отношения доступа для заданного начального состояния системы, должна существовать возможность определить множество состояний, в которых она сможет из него попасть. Это позволит задавать такие начальные условия, при которых система никогда не сможет попасть в нежелательное состояние с точки зрения безопасности. Следовательно, для построения системы с предсказуемым поведением, необходимых для заания начальных условий получить ответ на вопрос: сможет ли некоторый субъект <math>S</math> когда-либо приобрести права доступа <math>R</math> для некоторого объекта <math>O</math>. Исходя из изложенного критерия безопасности в модели Харрисона-Руззо-Ульмана для заданной системы начальное состояние