АНАЛИЗ БЕЗОПАСНОСТИ ВЗАИМОДЕЙСТВИЯ РОЛЕВОЙ МОДЕЛИ РАЗГРАНИЧЕНИЯ ДОСТУПА И МОДЕЛИ РАСПРЕДЕЛЕННОГО АДМИНИСТРИРОВАНИЯ
В статье предложен формальный подход к анализу безопасности ролевой модели разграничения доступа, описание которой включает в себя модель распределенного администрирования назначения пользователей на роли. Приведено высокоуровневое описание алгоритма проверки безопасности. Показано, что при введении ограничений на правила назначения ролей время работы алгоритма линейно по мощности множества политик разграничения доступа.