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

Модель Харрисона-Рузо-Ульмана (HRU).

Модель матрицы доступа (Harrison, Ruzo и Ullman 1976) это частный случай реализации модели машины состояний. Состояния безопасности системы представлены в виде таблицы, содержащей по одной строке для каждого субъекта системы и по одной колонке для каждого субъекта и объекта (таблица 3). Каждое пересечение в массиве определяет режим доступа данного субъекта к каждому объекту или другому субъекту системы.

Таблица 3

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

Более часто матрица доступа используется не как самостоятельная модель управления доступом, а в качестве одной из нескольких переменных состояния в более общей модели конечного автомата.

Модель конечного автомата описывает систему как абстрактную математическую машину. В этой модели переменные состояния представляют состояния машины, а функции перехода описывают способ изменения переменных.

Напомним, что модель управления доступом имеет дело только с наиболее существенными переменными состояния, влияющими на безопасность, и потому намного проще, чем полная модель конечного автомата для данной системы. С использованием модели конечного автомата доказывается и то, что в матричной модели вопрос обеспечения безопасности является неразрешимым.

К достоинствам моделей дискретного доступа можно отнести относительно простую реализацию.

К недостаткам относится "статичность модели". Это означает то, что модель не учитывает динамику изменений состояния ВС, не накладывает ограничений на состояния системы. Следствием данного недостатка является ряд проблем (рассмотрены в лекции 10), которые не могут решить матричные модели и в частности:

- проблема контроля распространения прав доступа (позволяет передавать права от одного пользователя другому без всяких ограничений);

- автоматическое определение прав (изъятие и модификация функций перехода);

- проблема троянских коней (не выдерживают атак троянских коней).

Кроме того "статичность модели" и возможность передавать права без ограничений, порождает проблему доказательства безопасности обработки информации в моделях с дискретным доступом. Исследуем следствия данного недостатка подробнее.