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

 

<blockquote>Априорно отделяются желательные траектории от нежелательных (допустимые от недопустимых).</blockquote>

{{../Определение|Объект <math>O</math> называется {{../Термин|источником}} для субъекта <math>S'</math> , если существует субъект <math>S</math> в результате воздействия которого не объект <math>O</math> в системе возникает субъект <math>S'</math>.}}

 

 

С любым субъектом связан (ассоциирован) некоторый объект (объекты), отображающие его состояние.

{{../Определение|Объект <math>O</math> в момент времени <math>t</math> {{../Термин|ассоциирован}} с субъектом <math>S</math>, если состояние объекта <math>O</math> повлияло на состояние субъекта в следующий момент времени <math>t+1</math>.}}