Научно-методические основы оценки уровня безопасности специального программного обеспечения

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. БЕЗОПАСНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КАК ПРЕДМЕТ ИССЛЕДОВАНИЯ
1.1. Актуальные вопросы безопасности программного обеспечения
1.1.1. Прагматическая актуальность вопросов безопасности программного обеспечения.
1.1.2. Общая постановка задачи оценки безопасности
программного обеспечения
1.2. Анализ существующих методик оценки уровня безопасности ПО.
1.3. Анализ предметной области.
1.3.1. Анализ руководящих документов по вопросам оценки безопасности программного обеспечения
1.3.2. Концепция уровней безопасности ПО.
1.3.3. Анализ системы критериев
1.4. Постановка общей научной задачи и частные задачи исследования.
Выводы.
2. ПОСТРОЕНИЕ РЕЛЯЦИОННОЙ МОДЕЛИ СПЕЦИАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
2.1. Общая реляционная модель программного обеспечения.
2.1.1. Построение базовой модели.
2.1.2. Модель программного процесса
2.1.3. Метрические показатели процесса.
2.2. Построение реляционной модели СПО.
2.2.1. Типовые операции
2.2.2. Укрупненные операции
2.2.3. Процессы и подпроцессы
2.2.4. Домены и атрибуты модели
3. НАУЧНОМЕТОДИЧЕСКИЕ ОСНОВЫ ОЦЕНКИ УРОВНЯ БЕЗОПАСНОСТИ СПЕЦИАЛЬНОГО ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ.
3.1. Критерии опенки безопасности программного обеспечения
3.1.1. Классификация критериев безопасности ПО АС ВН
3.1.2. Обоснование выбора системы критериев
3.2. Критериальные показатели оценки безопасности ПО АС ВН.
3.2.1. Показатели соответствия техническому заданию
3.2.2. Показатели свойств программного кода
3.2.3. Показатели, учитывающие характеристики организации процесса
разработки н сопровождения.
Выводы
4. РАЗРАБОТКА НАУЧНОМЕТОДИЧЕСКИХ РЕКОМЕНДАЦИЙ ПО ПРАКТИЧЕСКОЙ ОЦЕНКЕ УРОВНЯ БЕЗОПАСНОСТИ
4.1. Обоснование структуры и содержания методики оценки уровня безопасности ПО
4.2. Пример расчета метрических показателей ПС
4.2.1. Позиционирование текстового процессора в схеме рабочего
места оператора
4.2.2. Эталонное моделирование текстового процессора
4.2.3. Фактическое измерение текстового процессора.
4.3. Обоснование требований к инструментальным программным средствам
автоматизированной оценки безопасности СПО
. 1. Средства расчета эталонных метрических профилей
4.3.2. Средства расчета фактических метрических профилей.
4.3.3. Средства анализа метрических профилей.
4.3.4. Средства сравнения метрических профилей.
4.4 Оценка эффекта, ожидаемого при реализации предлагаемого научно
методического подхода
Выводы
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ