Обоснование и разработка специализированной защищенной операционной системы класса UNIX

• Автор: Ефанов, Дмитрий Валерьевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Москва
• Количество страниц: 125 с. : ил.

Оглавление
Введение.

Глава 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. Выводы
Заключение.
Список литературы


Свойства специализированной защищенной операционной системы. В диссертации исследуется вопрос создания ключевой компоненты базовых технологий - операционной системы, которая является обязательной и инвариантной частью АСУ любого уровня и назначения. В качестве операционной системы АСУ ВС РФ должна выступать специализированная защищенная операционная система (СЗОС), обладающая следующими взаимосвязанными свойствами (рис. Операционная система должна быть мобильной, т. АСУ ВС РФ. Операционная система должна быть специализированной, т. АСУ ВС РФ по управлению войсками. Операционная система должна быть защищенной, т. АСУ ВС РФ. Наиболее часто защищенные ОС разрабатываются не «с нуля», а на основе ОС класса 1Ж1Х, так как ОС ЦЭДХ в целом удовлетворяет многим общим функциональным требованиям, предъявляемым к современным защищенным ОС []. До недавнего времени в ВС РФ не существовало СЗОС, обладающей указанными свойствами, что делало невозможным построение АСУ ВС РФ. Необходимость разработки единой операционной платформы, обладающей указанными свойствами, и ее внедрения в АСУ ВС РФ определяет актуальность диссертации. Целью диссертационной работы является обоснование архитектуры и создание СЗОС класса ЦМХ, предназначенной для построения АСУ ВС РФ. Создание и исследование технологий проектирования, анализа, оценки качества, стандартизации и сертификации СЗОС, обоснование метода разработки СЗОС на основе системы-прототипа. Теоретическое исследование процессов проектирования и анализа операционных систем, обоснование архитектуры СЗОС. Обоснование специальных механизмов управления вычислительными процессами в СЗОС. Разработка и исследование программных средств защиты информации СЗОС. Разработка и исследование программного комплекса печати и учета конфиденциальных документов. Цель и задачи диссертации показаны на рис. В.5. Методы исследования. В диссертации используются методы дискретной математики и экспертных оценок. Рис. В.5. Цель и задачи диссертации. Научная новизна работы. Впервые операционная система рассматривается как самостоятельное изделие военной техники. Обоснована и разработана новая архитектура СЗОС, обеспечивающая управление вычислительными процессами в соответствии с требованиями АСУ ВС РФ. Предложена классификация методов разработки специализированных защищенных операционных систем. Впервые обоснован и разработан метод создания СЗОС на основе системы-прототипа с замещением базовых механизмов защиты информации системы-прототипа. Впервые обоснован и разработан метод модификации и совершенствования СЗОС, обеспечивающий ее дальнейшее развитие на этапе эксплуатации. Обоснована и разработана формальная модель политики безопасности СЗОС, обеспечивающая управление вычислительными процессами на основе принципа мандатного управления доступом. Впервые обоснован и разработан метод внедрения принципа мандатного управления доступом в операционные системы класса ЦМХ. Обоснованы состав и структура программного комплекса печати и учета конфиденциальных документов на базе СЗОС, отвечающего требованиям АСУ ВС РФ. Практическая значимость работы. Разработанная СЗОС позволяет строить взаимодействующие АСУ различного назначения и разных уровней управления войсками на базе единой операционной платформы. Разработанная СЗОС позволяет обеспечить защищенность процессов обработки данных в АСУ ВС РФ и сократить сроки создания отдельных АСУ за счет применения унифицированной операционной платформы. Разработанная СЗОС может также применяться при автоматизации гражданских министерств и ведомств, чья деятельность формализована и регламентирована нормативными и распорядительными документами. Разработанный программный комплекс, предназначенный для печати и учета конфиденциальных документов АСУ ВС РФ, позволяет повысить эффективность работы с конфиденциальными документами за счет сокращения времени на их подготовку и оформление на -%, а также обеспечить необходимый уровень защищенности при выводе документов на печать. Реализация результатов. ОС МСВС 3. ВС РФ и утверждена, как базовый элемент построения АСУ ВС РФ [].