Решетка уровней безопасности. Применяемая формальная алгебра

Определяется с помощью операторов формальной алгебры. L-базовое множество уровней безопасности. (≤,*, )- операторы

≤ - определяет частичное нестрогое отношение порядка для элементов множества L

Свойства ≤: антиссиметричен, транзитивен, рефлексивен.

Рефлексивен, если для любого a принадлежащего L выполняется a≤a.

- Нет необходимости запрещать потоки информации между объектами одного уровня.

-Необходимо предусмотреть возможность для сущности передовать информацию самой себе.

Ассиметричен: если для любого a1, а2 принад. L выполняется a1≤а2 и а2≤а1, то a1=а2

Если информация может передаваться от а1 к а2 и обратно это значит, что а1 и а2 содержат информацию одного уровня безопасности, следовательно они принадлежат одному классу информации, следовательно можно предотвратить избыточность класса.

Транзетивно: если для любого a, в, с принад. L выполняется a≤в и в≤с, то a≤с.

Другое свойство решетки состоит в том, что для каждой пары а1 и а2 множества L можно указать единственный элемент наименьшей верхней границы и единственный элемент наибольшей нижней границы: Наименьшая верхняя граница «*»

а1*а2=а→а1,а2≤а и любой а’принадлежит L: (а’≤а)→(а’<а1 или а’≤а2)

Наибольшая нижняя граница «»а1 а2=а→а≤а1,а2 и любой а’ принадлежит L: (а’≤а1 и а’≤а2)→а’≤а

Для каждой пары элементов а1 и а2 всегда можно указать единый элемент, ограничивающий её сверху или снизу, таким образом, чтобы между ними и этим элементом не было других элементов.

Функция уровня безопасности F назначает каждому субъекту и объекту некоторый уровень безопасности из L, разбивая множество сущностей системы на классы, в пределах которых их свойство с точки зрения безопасности являются эквивалентным. Тогда оператор ≤ определяет направление потоков информации, то есть: F(а1) ≤F(а2), говорит о том, что информация может передаваться от а1 к а2.

В мандатных моделях функция уровней безопасности вместе с решёткой уровней определяют все допустимые отношения доступа между сущностями системы.

Множество состояний системы V представляется в виде набора упорядоченных пар (F,M), где M-матрица доступа.

Набор прав ограничен функциями read и write.

Модель системы ∑(V₀,R,T) состоит из начального состояния V₀, множества запросов R и функции перехода T. T:(V*R)→V, которые переводим в ходе выполнения запроса из одного состояния в другое.

Дата добавления: 2015-04-23