Обычная модель[править]

О - множество объектов (файлы, сегменты памяти и т.д.) S - множество субъектов (пользователи, процессы системы) R = {r₁, r₂, r₃, r₄, ..., r_n } U {t,g} - множество прав доступа t [take] - право брать "права доступа" g [grant] - право давать "права доступа" G = (S, O, E) - конечный, помеченный, ориентированный граф без петель. × - объекты, элементы множества О • - субъекты, элементы множества S E ∈ O x O x R - дуги графа. Состояние системы описывается ее графом. Преобразование G в граф G' = правило и обозначается:

[G\ - op G']

Правило "Брать"[править]

Брать = take(r, x, y, s), r ∈ R, Пусть s ∈ S, x,y ∈ O - вершины графа G Тогда граф G: Т.е. субъект S берет у объекта X права r на объект Y.

Правило "Давать"[править]

Давать = grant(r, x, y, s), r ∈ R, Пусть s ∈ S, x,y ∈ O - вершины графа G Тогда граф G: Т.е. субъект S дает объекту X права r на объект Y.

Правило "Создать"[править]

Создать = create(r, x, s), r ∈ R, Пусть s ∈ S, x,y ∈ O - вершины графа G Тогда граф G: Т.е. субъект S берет r-доступный объект Y.

Правило "Удалить"[править]

Удалить = remove(r, x, s), r ∈ R, Пусть s ∈ S, x,y ∈ O - вершины графа G Тогда граф G:

Примеры реализации[править]

1. На рисунке ниже, показано графическое представление структуры каталогов. В этом графе Р1 и Р2 составляют субъекты (возможные пользователи), а также Ds и Fs представляют объекты, каталоги и файлы, соответственно. Право "чтение" было изменено на правило "брать" для всех уровней, за исключением фактически файловых уровней в каталогах. Право "записи" также изменилось правилом "давать". Становится ясно из этого графа: если субъект имеет право чтения(брать) объекта, то он может иметь право чтения любых других объектов, на которые этот первый объект имеет какие-то права. Аналогично, если субъект имеет право записи (давать) объекта, он может предоставить любую из своих прав на этот объект. 2. На рисунке ниже показано, что посредством комбинации из указанных выше четырех правил, новый файл может быть добавлен в каталог структуры Примера 1. И права на чтение/запись, будут назначены согласно правилам использующимся каталогом, в которой этот файл записывается. Следующие четыре шага необходимы для добавления файла и разрешения права: 1. P1 создает R/W для нового объекта F7 2. P1 принять t для D1 от D 3. P1 принять g для D11 с D1 4. P1 дарить RW от F7 до D11 Номера в списке выше, соответствуют обведенным номерам изображенным на графике, как создается дуга графа.

К сожалению, на данный момент эта модель практически не используется в программном обеспечении. Но со временем появляется всё больше научных статей, связанных с исследованием данной модели. Однако, в распределённой операционной системе E1 данная модель успешно реализована. На данный момент, в основном, данная модель используется для анализа уязвимости различных систем. Уже написано достаточно большое количество статей и литературы, где описаны методы анализа уязвимости систем ПО и сетей с помощью модели Take-Grant.

Теорема 1. http://lib2.znate.ru/docs/index-323588.html?page=8

http://www.bibliofond.ru/view.aspx?id=34003

25. Модель распространения прав доступа TAKE-GRANT.

Санкционированное получение прав доступа. Теорема 2.

Теорема 2http://lib2.znate.ru/docs/index-323588.html?page=8

http://www.bibliofond.ru/view.aspx?id=34003

26.Возможность похищения прав доступа.

http://www.bibliofond.ru/view.aspx?id=34003

Возможность похищения прав доступа

Способ передачи прав доступа предполагает идеальное сотрудничество субъектов В случае похищения прав доступа предполагается, что передача прав доступа объекту осуществляется без содействия субъекта, изначально обладавшего передаваемыми правами Пусть х,у О-различные объекты графа доступа Go = (So,O₀,Eo), aR Определим предикат "возможно похищение" (a,x,y,Go), который будет ис­тинным тогда и только тогда, когда (x,y,a)Eo и существуют графы = (), , такие, что

и (x,y,a), при этом, если (s,y,a)Eo, то =0,1, , N выполняется opKgranf(a,s,z,y), К=1, N.

Теорема 2. Пусть Go = (So, Oo, Eo)- произвольный граф доступов Предикат "возможно похищение" (a,x,y,Go) истинен тогда и только тогда, когда выполняются условия 3, 4, 5

Условие 3 (х,у,а) Ео

Условие 4 Существуют объекты , ,s_m, такие, что (s,,y,,)Eo для i=1, ,т и a =

Условие 5 Являются истинными предикаты "возможен доступ" (t,x, s,Go) для i =1, ,m

27. Модель системы безопасности Белла-Лападула.

Основные положения. Теоремы безопасности (А1.А2.А3.BST)

Модель Белла — Лападулы является моделью разграничения доступа к защищаемой информации. Она описывается конечным автоматом с допустимым набором состояний, в которых может находиться информационная система. Все элементы, входящие в состав информационной системы, разделены на две категории — субъекты и объекты. Каждому субъекту присваивается свой уровень доступа, соответствующий степени конфиденциальности. Аналогично, объекту присваивается уровень секретности. Понятие защищённой системы определяется следующим образом: каждое состояние системы должно соответствовать политике безопасности, установленной для данной информационной системы. Переход между состояниями описывается функциями перехода. Система находится в безопасном состоянии в том случае, если у каждого субъекта имеется доступ только к тем объектам, к которым разрешен доступ на основе текущей политики безопасности. Для определения, имеет ли субъект права на получение определенного вида доступа к объекту, уровень секретности субъекта сравнивается с уровнем секретности объекта, и на основе этого сравнения решается вопрос, предоставить или нет запрашиваемый доступ. Наборы уровень доступа/уровень секретности описываются с помощью матрицы доступа. Основными правилами, обеспечивающими разграничение доступа, являются следующие: