Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Take (t) - взять.

Пусть S — субъект, обладающий правом t к объекту Х и aÎR некоторое право доступа объекта Х к объекту Y. Тогда возможна команда "S take a for Y from X "(субъекту S взять право для Y из X). В результате выполнения этой команды в множество прав доступа субъекта S к объекту Y до­бавляется право a. Графически это означает, что, если в исходном графе доступов G был подграф

то в новом состоянии G', построенном по этой команде t, будет подграф

2. Grant (g)- предоставить. Пусть субъект S обладает правом g к объекту Х и правом aÎR к объекту Y. Тогда возмож­на команда "S grant a for Y to X" (субъекту S предоставить право a для Y в Х). В результате вы­полнения этой команды граф доступов G преобразу­ется в новый граф G', который отличается от G до­бавленной дугой (X Y). Графически это означает, что если в исходном графе G был подграф

то в новом состоянии G' будет подграф

3. Create - (создать). Пусть S — субъект, bÍR. Команда "S create b for new object X" создает в графе новую вершину Х и определяет b как права доступов S к X.. То есть по сравнению с графом G в новом состоя­нии G' добавляется подграф вида

4. Remove -(убрать, исключить). Пусть S — субъект и Х — объект, bÍR. Команда "S remove b for X" исключает права доступа b из прав субъекта S к объекту X. Графически преоб­разования графа доступа G в новое состояние G' в результате этой команды можно изобразить следую­щим образом:

Далее будем обозначать G| — _сG', если команда с преобразует G в G', а также G | — G', если существует команда с, что G| — _сG'. Будем понимать под безопас­ностью возможность или невозможность произволь­ной фиксированной вершине Р получить доступ aÎR к произвольной фиксированной вершине Х путем пре­образования текущего графа G некоторой последова­тельностью команд в граф G', где указанный доступ разрешен.

Определение. В графе доступов G вершины Р и S называются tg-связными, если существует путь в G, соединяющий Р и S, безотносительно ориентации дуг, но такой, что каждое ребро этого пути имеет метку, включающую t или g.