Спецификация и синтез программного обеспечения защищенных информационных систем на основе расширенных концептуальных моделей

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1. ОСОБЕННОСТИ РАЗРАБОТКИ ЗАЩИЩЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ
1.1. Понятие защищенной информационной системы
.2. Формальные модели доступа
1.3. ПОДХОДЫ К ПРОЕКТИРОВАНИЮ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЗАЩИЩЕННЫХ ИНФОРМАЦИОННЫХ
I А. Диаграмма потоков данных
1.5. Диаграмма сущностьсвязь
1.6. Объектноориентированный анализ и проектирование
1.7. Комюнентное программное обеспечение.
1.8. Выводы.
2. КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ И БАЗ ДАННЫХ ЗАЩИЩЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ.
2.1. Способы проектирования баз данных защищенных информационных систем
2.2. Модель потоков данных для описания процессов защищенных информационных систем
2.3. Методика объектноориентированного проектирования программного обеспечения с учетом мандатной политики доступа.
2.4. Конструкции языка имь для описания компонентного программного обеспечения с учетом МАНДАТНОЙ политики доступа.
2.5. Взаимосвязь между разработанными моделями.
2.6. Выводы.
3. ТРАНСЛЯЦИЯ КОНЦЕПТУАЛЬНЫХ МОДЕЛЕЙ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЗАЩИЩЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ В ПРОГРАММНЫЕ СПЕЦИФИКАЦИИ
3.1. ГННЕРА1ИЯ БАЗЫ ДАННЫХ С IЮДДЕРЖКОЙ МНОГОУРОВНЕВОЙ МОДЕЛИ ДОСТУПА К ДАННЫМ ПО МОДЕЛИ СУЩНОСТЬСВЯЗЬ
3.2. Преобразование многоуровневой объектноориентированной модели в программные СПЕЦИФИКАЦИИ
3.3. Особенности разработки компонентного программного обеспечения.
3.4. выводы.
4. АРХИТЕКТУРА И ПРИМЕР ПРИМЕНЕНИЯ СИСТЕМЫ ПРОЕКТИРОВАНИЯ КОМПОНЕНТНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЗАЩИЩЕННЫХ
ИНФОРМАЦИОННЫХ СИСТЕМ
4. . Описание функщональных свойств системы
4.2. Пример применения системы проектирования кпо защищенных информационных сис тем
4.3. Оценка сложности многоуровневой модели КПО.
4.4. Эффективность использования системы проектирования защищенного кпо.
4.5. Выводы.
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
ПРИЛОЖЕНИЕ 1
ПРИЛОЖЕНИЕ 2
ВВЕДЕНИЕ
Актуальность