Кочетков Евгений Викторович Метод контроля выполнения политики безопасности в операционных системах семейства Windows

Краткое описание

Кочетков Евгений Викторович Метод контроля выполнения политики безопасности в операционных системах семейства Windows
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Кочетков Евгений Викторович
Введение

Глава 1. Многоуровневая модель политики безопасности

управления доступом операционных систем семейства Windows

1.1 Существующий мандатный контроль целостности в операционных системах семейства Windows

1.2 Подход к верификации моделей методом Model checking с использованием языка темпоральной логики действий Лэмпорта (TLA+)

1.3 Описание формальной модели многоуровневой политики безопасности управления доступом операционных систем семейства Windows

1.4 Предикаты действий и инварианты многоуровневой модели политики безопасности управления операционных систем семейства Windows

1.5 Вывод по главе

Глава 2. Метод контроля выполнения политики безопасности

операционных систем семейства Windows

2.1 Применение метода формальной верификации «Model cheсking» для решения задачи контроля выполнения политики безопасности операционной системы

2.2 Формальная модель выполнения процесса в операционной системе

2.3 Формальный логический язык задания функциональных ограничений

2.4 Выводы по главе

Глава

3. Научно-технические предложения по практической реализации метода контроля выполнения политики безопасности операционных систем семейства Windows

Стр.

3.1 Комплекс алгоритмов

3.2 Оценка эффективности метода контроля политики безопасности операционных систем семейства Windows (сравнение с аналогами)

3.3 Вывод по главе

Заключение

Список сокращений и условных обозначений

Словарь терминов

Список литературы

Список рисунков

Список таблиц

Приложение А. Базис аксиом безопасного выполнения

программного обеспечения

Приложение Б. Листинг многоуровневой модели политики

безопасности управления доступом

операционных систем семейства Windows

Б.1 Модуль многоуровневого разграничения доступа

Б.2 Модуль дискреционного разграничения доступа

Б.3 Модуль инициализации начальных значений

Б.4 Модуль вспомогательных операторов

Б.5 Модуль вспомогательных операторов выбора элементов из

множеств

Б.6 Модуль определения типов

Б.7 Основной модуль многоуровневой модели политики

безопасности управления доступом

Приложение В. Таблицы преобразования системных и

API-вызовов в действия процесса

Стр.

В.1 Таблица преобразования системных вызовов операционной

системы в действия процесса

В.2 Таблица преобразования системных ЛР1-вызовов операционной

системы в действия процесса

Приложение Г. Акт внедрения результатов

ООО «Киберполигон»

Приложение Д. Акт внедрения результатов АО «Аладдин Р.Д.»