Курс лекций Защита Информации/Модель Харрисона-Рузза-Ульмана: различия между версиями
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 50:
<math>M'[x_s,x_o]=M[x_s, x_o]</math> если <math>(x_s, x_o) \ne (s, o)</math>
<math>M'[s,o]=M[s,o] \setminus \{r\}</math>
* <math>create~ object</math>
<math>create~ object~ o~ (o \in O)</math>
<math>o'=o \cup \{o\}</math>
<math>s'=s</math>
<math>M'[x_s,x_o]=M[x_s, x_o]</math> для <math>(x_s, x_o) \in s \times o</math>
<math>M'[x_s,o]=\empty</math> для <math>x_s \in S'</math>
* <math>create~ subject</math>
<math>create~ subject~ s~ (s \in S)</math>
<math>o'=o \cup \{o\}</math>
<math>s'=s \cup \{s\}</math>
<math>M'[x_s,x_o]=M[x_s, x_o]</math> для <math>(x_s, x_o) \in s \times o</math>
<math>M'[x_s,s]=\empty</math> для <math>x_s \in S'</math>
<math>M'[s,x_o]=\empty</math> для <math>x_o \in O'</math>
* <math>destroy~ subject</math>
<math>destroy~ subject~ s~ (s \in S)</math>
<math>o'=o \setminus \{o\}</math>
<math>s'=s \setminus \{s\}</math>
<math>M'[x_s,x_o]=M[x_s, x_o]</math> для <math>(x_s, x_o) \in s' \times o'</math>
* <math>destroy subject</math>
* <math>destroy~ object</math>
<math>destroy~ object~ o~ (o \in O \setminus S)</math>
<math>o'=o \setminus \{o\}</math>
<math>s'=s</math>
<math>M'[x_s,x_o]=M[x_s, x_o]</math> для <math>(x_s, x_o) \in s' \times o'</math>
| |||