Курс лекций Защита Информации/Формальная модель нарушителя: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
|||
Строка 95:
<blockquote>Априорно отделяются желательные траектории от нежелательных (допустимые от недопустимых).</blockquote>
{{../Определение|Объект <math>O</math> называется {{../Термин|источником}} для субъекта <math>S'</math> , если существует субъект <math>S</math> в результате воздействия которого не объект <math>O</math> в системе возникает субъект <math>S'</math>.}}
Create (<math>S</math> , <math>O</math> )<math> \rightarrow \ </math><math>S'</math>.
Строка 109:
С любым субъектом связан (ассоциирован) некоторый объект (объекты), отображающие его состояние.
{{../Определение|Объект <math>O</math> в момент времени <math>t</math> {{../Термин|ассоциирован}} с субъектом <math>S</math>, если состояние объекта <math>O</math> повлияло на состояние субъекта в следующий момент времени <math>t+1</math>.}}
Subject <math>(S)</math>: <math>O_t</math> <math> \rightarrow \ </math> <math>O'_(t+1)</math>
| |||