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

Оглавление
Введение
Глава 1. Дискреционная политика безопасности и ее моделирование
1. 1 Формальные политики безопасности
1.2 Формальные субъекты и объекты
1.3 Дискреционные модели
1.4 Применение дискреционных моделей
1.5 Модели дискреционного доступа.
1.6 Дальнейшее развитие моделей и
Глава 2. Базисный подход в модели .
2.1 Матрица доступов
2.2 Базисный подход в модели
2.3. Монооперационные системы в базисе
2.4 Применение базисного подхода в операционных системах i
Глава 3. Алгоритмы проверки безопасности состояний компьютерной системы в модели .
3.1 Исследование безопасности
3.2 Поиск путсй
3.3 Пример поиска путей
3.4 Поиск островов
3.5 Пример поиска островов
3.6 Образование стяжекостровов.
3.7 Распознаватели мостов.
3.8 Примеры распознавания мостов
3.9 Алгоритмы поиска мостов.
3. Примеры поиска мостов.
3. Оценка общей трудоемкости.
3. Применение модели для анализа безопасности i
Заключение
ВВЕДЕНИЕ
Актуальность