Оглавление
Введение.
Глава 1. Проблема разработки специализированной защищенной операционной
системы.
1.1. Основные понятия и определения
1.2. Обзор отечественных руководящих документов
1.3. Анализ методов разработки специализированных защищенных
операционных систем
1.3.1. Классификация методов разработки
1.3.2. Обоснование метода разработки специализированной защищенной операционной системы.
1.4. Постановка задачи разработки специализированной защищенной
операционной системы.
Глава 2. Обоснование архитектуры специализированной защищенной
операционной системы.
2.1. Обоснование архитектуры.
2.2. Разработка модели безопасности
2.2.1. Исследование мандатной модели БеллаЛаПадулы
2.2.2. Формальное описание модели безопасности.
2.3. Исследование системыпрототипа
2.3.1. Выбор системыпрототипа.
2.3.2. Особенности архитектуры ОС 1лпих
2.4. Выводы
Глава 3. Разработка ядра специализированной защищенной операционной
системы.
3.1. Методы модификации системыпрототипа
3.1.1. Задачи по модификации системыпрототипа.
3.1.2. Метод внедрения принципа мандатного управления доступом
3.2. Защищаемые ресурсы
3.2.1. Субъекты
3.2.2. Объекты
3.3. Реализация модели безопасности.
3.3.1. Классификационные метки
3.3.2. Функция перехода.
3.3.3. Мандатное управление доступом
3.4. Дискреционное управление доступом
3.5. Регистрация событий
3.6. Программная реализация ядра
3.7. Выводы.
Глава 4. Структура специализированной защищенной операционной системы
4.1. Системные компоненты.
4.1.1. Программа установки операционной системы.
4.1.2. Загрузчик операционной системы.
4.1.3. Системные файлы
4.1.4. Системные сервисы
4.1.5. Прикладной программный интерфейс.
4.1.6. Командный интерфейс
4.2. Метод модификации и совершенствования специализированной
защищенной операционной системы.
4.3. Выводы
Глава 5. Внедрение и использование специализированной защищенной
операционной системы.
5.1. Отечественная защищенная ОС МСВС 3.0
5.2. Комплекс печати и учета конфиденциальных документов.
5.3. Выводы
Заключение.
Список литературы
- Київ+380960830922