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

Содержимое удалено Содержимое добавлено
Новая страница: «Модель произвольной автоматизированной системы рассматривается в виде конечного множе…»
 
Нет описания правки
Строка 27:
Объект <math>O_i</math> называется источником для субъекта <math>S_m</math>, если существует субъект <math>S_j</math>, в результате воздействия которого на объект <math>O_i</math> в автоматизированной системе возникает субъект <math>S_m</math>.
 
<center><math>create(S_j, O_i) \rightarrow S_m</math></center>
 
Операция <math>create</math> создает отображение декартового произведения множеств субъектов и объектов на множество субъектов. Множество субъектов является подмножеством объектов.