Логико-языковые средства описания моделей логического разграничения доступа

Оглавление
Введение
1 Логическое разграничение доступа
1.1 Терминология .
1.2 Базовые модели
1.2.1 Многоуровневая модель.
1.2.2 Дискреционная модель
1.2.3 Ролевая модель разграничения доступа
1.3 Современные языковые средства представления моделей логического разграничения доступа
1.4 Выводы
2 Язык описания моделей логического разграничения доступа
2.1 Основные положения разработанного языка.
2.2 Синтаксис.
2.3 Примеры использования разработанного языка
2.4 Описание формальной модели языка .
2.5 Выводы
3 Анализ свойств моделей логического разграничения доступа, описанных на разработанном языке
3.1 Традиционные способы анализа
3.2 Алгоритм проверки свойства включения моделей логического
разграничения доступа
3.3 Выводы
4 Программная реализация механизмов разграничения доступа
4.1 Общие положения программных механизмов логического разграничения доступа
4.2 Механизмы разграничения доступа в ядре ОС Ыпих
4.3 Библиотека для разграничения доступа
4.4 Повышение производительности механизмов разграничения
доступа
4.4.1 Эквивалентные преобразования моделей разграничения доступа
4.4.2 Кэширование разрешенных доступов.
4.4.3 Преобразование в исполняемый код.
4.5 Заключение.
5 Тестовые испытания
5.1 Проверка выполнения функционального требования
5.2 Тестовые испытания методов повышения производительности
механизмов логического разграничения доступа.
5.2.1 Тестирование метода эквивалентные преобразования моделей.
5.2.2 Тестирование метода преобразование в исполняемый код
5.3 Тестовые испытания механизмов логического разграничения доступа
5.4 Выводы.
Заключение
А Примеры моделей разграничения доступа, описанных в терминах языка ХАСМЬ
А.1 Пример цели набора политик.
А.2 Пример правила, записанного на языке ХАСМЬ.
Б Пример модели разграничения доступа, описанной в терминах
разработанного языка
Введение
Актуальность