Курс лекций Защита Информации/Формальная модель нарушителя: различия между версиями
Содержимое удалено Содержимое добавлено
Lex1026 (обсуждение | вклад) |
Нет описания правки |
||
Строка 110:
Субъекты <math>S</math> и <math>S'</math> называются тождественными в момент времени <math>t</math>, если попарно тождественны все ассоциированные с ними объекты.
== Монитор безопасности потоков (монитор обращений) ==
'''Монитор безопасности потоков (монитор обращений)'''- субъект, активизирующийся при возникновении потока от любого субъекта к любому объекту.
=== Виды мониторов обращений ===
* Индикаторный (устанавливает факт обращения субъекта к объекту)
*
* Содержательный (работает таким образом, что при возникновении потока от ассоциированного объекта <math>O</math> любого субъекта <math>S</math> к объекту <math>O'</math> и обратно, существует ассоцированный с монитором обращений объект <math>O''</math> ) тождественный объекту <math>O</math>.
Сожержательный монитор обращений полностью учавствует в потоке от субъекта к объекту. Информация проходит через его ассоциированые объекты и существуе тождественное отображение объекта на какой-либо ассоциированный объект монитора обращений.
'''Монитор безопасности объектов''' - монитор обращений, который разрешает только те потоки, которые принадлежат множеству потоков легального доступа.
[[Категория:Защита информации]]
|