Дипломная работа на тему: Метод поддержки принятия решения о безопасности программного обеспечения

План работы:

Введение 3
Глава 1. Анализ проблемы обеспечения безопасности программного обеспечения 6
1.1. Общая характеристика предметной области 6
1.2. Анализ проблемы обеспечения безопасности ПО 7
1.2.1. Уязвимости программного обеспечения 11
1.2.2. Классификация и учет уязвимостей 14
1.2.3. Анализ недекларированных возможностей как уязвимостей ПО 19
1.3. Обзор существующих методов выявления уязвимостей 23
1.3.1. Стандарты разработки программного обеспечения 28
1.3.2. Методы тестирования безопасности 30
1.3.3. Особенности сертификации безопасности ПО 31
1.3.4. Методы статического анализа 38
1.3.4.1. Поиск по шаблону 39
1.3.4.2. Лексический анализ 40
1.3.4.3. Синтаксический анализ 41
1.3.4.4. Определение спецификаторов (формальная спецификация) 42
1.3.4.5. Грамматический анализ 43
1.3.4.6. Анализ информационных потоков 44
1.3.4.7. Инфекционный анализ 45
1.3.4.8. Применение статического анализа при сертификации ПО 46
1.4. Постановка научной и частных задач исследования 47
1.5. Выводы по главе 1 49
Глава 2. Модель системы оценки соответствия программного обеспечения требованиям безопасности 51
2.1. Анализ существующей системы выявления уязвимостей 51
2.1.1. Формализация показателей, оцениваемых экспертом 55
2.1.2. Модель существующей системы 56
2.2. Выбор и обоснование используемых математических методов 58
2.3. Особенности применения аппарата ИНС 61
2.4. Модель нейрона и архитектура ИНС 62
2.5. Выводы по главе 2 67
Глава 3. Разработка метода принятия решения о соответствии программного обеспечения требованиям безопасности 68
3.1.Основные этапы метода 68
3.2. Методика интеллектуальной верификации безопасности ПО 68
3.3. Принятие решения о соответствии ПО требованиям безопасности 69
3.4. Тестируемые ПО и оцениваемые характеристики безопасности ПО 70
3.5. Результаты исследования по тестированию ПО 72
3.6. Руководство пользователя 76
3.6.1. Запуск программы 76
3.6.2. Настройка приложения 78
3.7. Выводы по 3 главе 81
Заключение 82
Список литературы 83
Список сокращений и терминов 89
Приложение 90