Курс лекций Защита Информации/Модель Харрисона-Рузза-Ульмана: различия между версиями
Lex1026 (обсуждение | вклад) |
Lex1026 (обсуждение | вклад) |
||
Строка 8: | Строка 8: | ||
== Пространство состояний системы == |
== Пространство состояний системы == |
||
Эволюция системы в модели представляет собой траектории в пространстве состояний. Пространство состояний системы образуется в декартовом произведении множеств, составляющих ее субъектов, объектов и прав доступа. Текущее состояние <math>Q</math>-множества в этом пространстве определяется тройкой, состоящей из множества <math>S</math>, <math>O</math> и матрицы прав доступа <math> |
Эволюция системы в модели представляет собой траектории в пространстве состояний. Пространство состояний системы образуется в декартовом произведении множеств, составляющих ее субъектов, объектов и прав доступа. Текущее состояние <math>Q</math>-множества в этом пространстве определяется тройкой, состоящей из множества <math>S</math>, <math>O</math> и матрицы прав доступа <math>A</math>, описывающая текущие права доступа <math>S</math> к <math>O</math>. Строки матрицы составляют <math>S</math>, а столбцы-объекты. |
Версия от 05:34, 11 июня 2013
Модель Харрисона-Руззо-Ульмана является классом дискретизационной модели, реализует произвольное управление доступом субъектов к объектам и контроль за распределение прав доступа в рамках этой модели.
Субъектно-объектный взгляд
Система обработки предоставляется в виде совокупности активных сущностей субъектов , формирующих множество субъектов , которые осуществляют доступ к пользователям пассивных сущностей объектов , формирующих множество объектов , содержащих защищаемую информацию, и конечного множества прав доступа , характеризующий полномочия на выполнение соответствующих действий до того, что бы включить в область действия модели отношения между субъектами. Принято считать, что все субъекты одновременно являются и объектами.
Пространство состояний системы
Эволюция системы в модели представляет собой траектории в пространстве состояний. Пространство состояний системы образуется в декартовом произведении множеств, составляющих ее субъектов, объектов и прав доступа. Текущее состояние -множества в этом пространстве определяется тройкой, состоящей из множества , и матрицы прав доступа , описывающая текущие права доступа к . Строки матрицы составляют , а столбцы-объекты.