способы разграничения доступа

Логико-языковые средства описания моделей логического разграничения доступа dslib.net Библиотека диссертаций Навигация Для нормальной работы сайта необходимо включить JavaScript → → Логико-языковые средства описания моделей логического разграничения доступа Андреев Олег Олегович Диссертация - 15у.е., доставка 10 минут, круглосуточно, без выходных и праздников Автореферат - 6 у.е., доставка 10 минут, круглосуточно, без выходных и праздников Андреев Олег Олегович. Логико-языковые средства описания моделей логического разграничения доступа : диссертация ... кандидата физико-математических наук : 05.13.19 / Андреев Олег Олегович; [Место защиты: Московский государственный университет].- Москва, 2010.- 114 с.: ил. Содержание к диссертации Введение 41 Логическое разграничение доступа 12Терминология 13 Базовые модели 15 Многоуровневая модель 15 Дискреционная модель 17 Ролевая модель разграничения доступа 20 Современные языковые средства представления моделей логического разграничения доступа 23 Выводы 30 2 Язык описания моделей логического разграничения доступа 32Основные положения разработанного языка 33 Синтаксис 39 Примеры использования разработанного языка 47 Описание формальной модели языка 49 Выводы 54 3 Анализ свойств моделей логического разграничения доступа, опи санных на разработанном языке 56Традиционные способы анализа 57 Алгоритм проверки свойства включения моделей логического разграничения доступа 60 Выводы 68 4 Программная реализация механизмов разграничения доступа 70Общие положения программных механизмов логического разграничения доступа 71 Механизмы разграничения доступа в ядре ОС Linux 72 Библиотека для разграничения доступа 76 Повышение производительности механизмов разграничения доступа 80 Эквивалентные преобразования моделей разграничения доступа 81 Кэширование разрешенных доступов 87 Преобразование в исполняемый код 90 4.5 Заключение 925 Тестовые испытания \ 93Проверка выполнения функционального требования 93 Тестовые испытания методов повышения производительности механизмов логического разграничения доступа 95 Тестирование метода «эквивалентные преобразования моделей» 96 Тестирование метода «преобразование в исполняемый код» 97 Тестовые испытания механизмов логического разграничения доступа 98 Выводы 100 Заключение 101А Примеры моделей разграничения доступа, описанных в терминах языка XACML 110А.1 Пример цели набора политик 110А.2 Пример правила, записанного на языке XACML 111Б Пример модели разграничения доступа, описанной в терминах разработанного языка 11