Введение
ГЛАВА 1. Современные средства защиты информации от несанкционированного доступа 12
1.1. Типовая архитектура САПР. Математический аппарат для реализации системы автоматизированного проектирования базы уязвимостей 12
1.1.1. Типовая архитектура САПР 12
1.1.2. Специфика информационного обеспечения САПР 13
1.1.3. Экспертные системы 16
1.1.4. Понятие универсальной алгебры 20
1.2. Средства защиты информации от несанкционированного доступа 21
1.2.1. Средства защиты информации от несанкционированного доступа и информационная безопасность предприятия. Основные понятия 22
1.2.2. Классификация средств защиты информации от несанкционированного доступа 25
1.3. Новые подходы к обеспечению информационной безопасности сети. Недостатки
существующих систем анализа защищенности 30
1.3.1. Новые подходы к обеспечению информационной безопасности сети 30
1.3.2. Структура систем анализа защищенности 32
1.3.3. Примеры существующих систем анализа защищенности 35
1.3.4. Недостатки существующих систем анализа защищенности и способы их устранения 37
Основные результаты 40
ГЛАВА 2. Проблемно-ориентированные программные машины 41
2.1. Проблемно - ориентированные программные машины, описывающие системы автоматизированного проектирования базы уязвимостей 41
2.1.1. Алгебраическая система фактов базы знаний 44
2.1.2. Алгебраическая система флагов истинности 53
2.1.3. Алгебраическая система элементов управления фактами 55
2.1.4. Представление полного графа логического вывода 59
2.1.5. Алгебраическая система представления графа логического вывода 63
2.1.6. Подсистема объяснений 66
2.1.7. Свойство правильности графа логического вывода 71
2.1.8. Операции над элементами графа логического вывода 74
Основные результаты 92
ГЛАВА 3. Технология разработки систем автоматизированного проектирования базы уязвимостей 94
3.1. Описание технологии разработки систем автоматизированного проектирования базы уязвимостей 94
3.1.1. Модель программного обеспечения проектной процедуры в САПР 94
3.1.2. Обобщенная схема разработки системы автоматизированного проектирования базы уязвимостей 96
3.1.3. Создание сценария процесса логического вывода 98
3.1.4. Построение полного графа логического вывода 103
3.1.5. Маркировка вершин и дуг полного графа логического вывода 105
3.1.6. Оптимизация полного графа логического вывода 111
3.1.7. Формальная программа логического вывода 116
3.1.8. Преобразование сценария процесса логического вывода и полного графа логического вывода к формальной программе логического вывода.: 118
3.1.9. Построение подсистемы объяснений 119
3.2. Архитектура системы автоматизированного проектирования базы уязвимостей 121
3.3. Использование объектно-ориентированного подхода при создании систем автоматизированного проектирования базы уязвимостей 127
3.3.1. Основные классы 127
3.3.2. Схема взаимодействия объектов классов системы автоматизированного проектирования базы уязвимостей 132
3.4. Изоморфизм в алгебрах фактов базы знаний и объектов класса "Факт" 134
Основные результаты 135
ГЛАВА 4. Разработка системы автоматизированного проектирования базы уязвимостей 137
4.1. Общая методика разработки системы автоматизированного проектирования базы уязвимостей 137
4.2. Проектирование модели представления знаний 138
4.2.1. Проектирование сценария процесса логического вывода 138
4.2.2. Формирование графа логического вывода из сценария процесса логического вывода 144
4.2.3.Оптимизация полного графа логического вывода 146
4.2.4. Реализация базы операторов переходов системы автоматизированного проектирования базы уязвимостей "SAS" 149
4.3. Разработка системы автоматизированного проектирования базы уязвимостей на основе использования формальной программной машины 150
4.4. Некоторые проектные решения 152
4.4.1. Выбор средства разработки 152
4.4.2. Общая структура программы 155
4.4.3. Реализация интерфейса пользователя 158
4.4.4. Технические и программные требования для создания и функционирования системы автоматизированного проектирования базы уязвимостей 160
4.4.5. Результаты внедрения 161
Основные результаты 163
Заключение 164
Основные обозначения и сокращения 167
Список использованной литературы 171
Приложения 181
