Введение
Глава 1. Проблема разработки специализированной защищенной операционной системы 13
1.1. Основные понятия и определения 13
1.2. Обзор отечественных руководящих документов 17
1.3. Анализ методов разработки специализированных защищенных операционных систем 20
1.3.1. Классификация методов разработки 20
1.3.2. Обоснование метода разработки специализированной защищенной операционной системы 30
1 .4. Постановка задачи разработки специализированной защищенной операционной системы 34
Глава 2. Обоснование архитектуры специализированной защищенной операционной системы 41
2.1. Обоснование архитектуры 41
2.2. Разработка модели безопасности 47
2.2.1. Исследование мандатной модели Белла-ЛаПадулы 47
2.2.2. Формальное описание модели безопасности 55
2.3. Исследование системы-прототипа 62
2.3.1. Выбор системы-прототипа 62
2.3.2. Особенности архитектуры ОС Linux 63
2.4. Выводы 68
Глава 3. Разработка ядра специализированной защищенной операционной системы 70
3.1. Методы модификации системы-прототипа 70
3.1.1. Задачи по модификации системы-прототипа 70
3.1.2. Метод внедрения принципа мандатного управления доступом 71
3.2. Защищаемые ресурсы 73
3.2.1. Субъекты 73
3.2.2. Объекты 74
3.3. Реализация модели безопасности 76
3.3.1. Классификационные метки 76
3.3.2. Функция перехода 80
3.3.3. Мандатное управление доступом 81
3.4. Дискреционное управление доступом 82
3.5. Регистрация событий 84
3.6. Программная реализация ядра 85
3.7. Выводы 86
Глава 4. Структура специализированной защищенной операционной системы 88
4.1. Системные компоненты 88
4.1.1. Программа установки операционной системы 88
4.1.2. Загрузчик операционной системы 90
4.1.3. Системные файлы 90
4.1.4. Системные сервисы 93
4.1.5. Прикладной программный интерфейс 95
4.1.6. Командный интерфейс 97
4.2. Метод модификации и совершенствования специализированной защищенной операционной системы 98
4.3. Выводы 100
Глава 5. Внедрение и использование специализированной защищенной операционной системы 102
5.1. Отечественная защищенная ОС МСВС 3.0 102
5.2. Комплекс печати и учета конфиденциальных документов 104
5.3. Выводы 109
Заключение 110
Список литературы 113
Список сокращений 119
Приложение.
