Содержание
- Введение 1
- Основные понятия и принципы модели Take-Grant 2
- - Формальное описание модели Take-Grant 2.1
- - Операции Take и Grant: детальный разбор 2.2
- - Свойства безопасности и теоремы модели Take-Grant 2.3
- Расширения и модификации модели Take-Grant 3
- - Введение дополнительных операций 3.1
- - Использование модели Take-Grant в различных контекстах 3.2
- - Сравнение с другими моделями управления доступом 3.3
- Анализ безопасности модели Take-Grant 4
- - Анализ уязвимостей в модели Take-Grant 4.1
- - Методы формальной верификации 4.2
- - Практические аспекты обеспечения безопасности 4.3
- Практическое применение модели Take-Grant: примеры и анализ 5
- - Применение в операционных системах 5.1
- - Применение в базах данных 5.2
- - Анализ безопасности конкретных систем 5.3
- Заключение 6
- Список литературы 7