Автоматизированное проектирование экспертных систем для защиты информации в локальных вычислительных сетях

• Автор: Рыбаков, Андрей Алексеевич
• Шифр специальности: 05.13.12, 05.13.13
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Рязань
• Количество страниц: 196 с. : ил.

ВВЕДЕНИЕ

ГЛАВА 1. СОВРЕМЕННЫЕ СРЕДСТВА ЗАЩИТЫ ИНФОРМАЦИИ ОТ НЕСАНКЦИОНИРОВАННОГО ДОСТУПА.

1.1. Типовая архитектура САПР. Математический аппарат для реализации системы автоматизированного проектирования базы уязвимостей

1.1.1. Типовая архитектура САПР

1.1.2. Специфика информационного обеспечения САПР

1.1.3. Экспертные системы

1.1.4. Понятие универсальной алгебры.

1.2. Средства защиты информации от несанкционированного доступа

1.2.1. Средства защиты информации от несанкционированного доступа и информационная безопасность предприятия. Основные понятая.

1.2.2. Классификация средств защиты информации от несанкционированного доступа.

1.3. Новые подходы к обеспечению информационной безопасности сети. Недостатки существующих систем анализа защищенности.
1.3.1. Новые подходы к обеспечению информационной безопасности сета
1.3.2. Структура систем анализа защищенности.
1.3.3. Примеры существующих систем анализа защищенности
1.3.4. Недостатки существующих систем анализа защищенности и способы их устранения.
Основные результаты
ГЛАВА 2. ПРОБЛЕМНООРИЕНТИРОВАННЫЕ ПРОГРАММНЫЕ МАШИНЫ.
2.1. Проблемно ориентированные программные машины, описывающие системы автоматизированного проектирования базы уязвимостей
2.1.1. Алгебраическая система фактов базы знаний.
2.1.2. Алгебраическая система флагов истинности
2.1.3. Алгебраическая система элементов управления фактами.
2.1.4. Представление полного графа логического вывода
2.1.5. Алгебраическая система представления графа логического вывода.
2.1.6. Подсистема объяснений.
2.1.7. Свойство правильности графа логического вывода
2.1.8. Операции над элементами графа логического вывода
Основные результаты
ГЛАВА 3. ТЕХНОЛОГИЯ РАЗРАБОТКИ СИСТЕМ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ БАЗЫ УЯЗВИМОСТЕЙ
3.1. Описание технологии разработки систем автоматизированного проектирования базы уязвимостей.
3.1.1. Модель программного обеспечения проектной процедуры в САПР
3.1.2. Обобщенная схема разработки системы автоматизированного проектирования базы уязвимостей
3.1.3. Создание сценария процесса логического вывода.
3.1.4. Построение полного графа логического вывода
3.1.5. Маркировка вершин н дуг полного графа логического вывода.
3.1.6. Оптимизация полного графа логического вывода.
3.1.7. Формальная программа логического вывода
3.1.8. Преобразование сценария процесса логического вывода и полного графа логического вывода к формальной программе логического вывода.
3.1.9. Построение подсистемы объяснений.
3.2. Архитектура системы автоматизированного проектирования базы уязвимостей
3.3. Использование объектноориентированного подхода при создании систем автоматизированного проектирования базы уязвимостей
3.3.1. Основные классы
3.3.2. Схема взаимодействия объектов классов системы автоматизированного проектирования базы уязвимостей.
3.4. Изоморфизм в алгебрах фактов базы знаний и объектов класса Факт
Основные результаты
ГЛАВА 4. РАЗРАБОТКА СИСТЕМЫ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ БАЗЫ УЯЗВИМОСТЕЙ
4.1. Общая методика разработки системы автоматизированного проектирования базы уязвимостей
4.2. Проектирование модели представления знаний
4.2.1. Проектирование сценария процесса логического вывода
4.2.2. Формирование графа логического вывода из сценария процесса логического вывода
4.2.3.Оптимизация полного графа логического вывода
4.2.4. Реализация базы операторов переходов системы автоматизированного проектирования базы уязвимостей .
4.3. Разработка системы автоматизированного проектирования базы уязвимостей на основе использования формальной программной машины.
4.4. Некоторые проектные решения.
4.4.1. Выбор средства разработки
4.4.2. Общая структура программы
4.4.3. Реализация интерфейса пользователя.
4.4.4. Технические и программные требования для создания и функционирования системы автоматизированного проектирования базы уязвимостей.
4.4.5. Результаты внедрения.
Основные результаты
ЗАКЛЮЧЕНИЕ.
ОСНОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ


Апробация работы По теме диссертации сделаны доклады на ой Международной научнотехнической конференции Проблемы передачи и обработки информации в сетях и системах телекоммуникаций, Рязань, г. Всероссийской научнотехнической конференции студентов, молодых ученых и специалистов Новые информационные технологии в научных исследованиях и образовании, Рязань, г. Всероссийской 7 ой Тамбовской межвузовской научнопрактической конференции Актуальные проблемы информатики и информационных технологий, Тамбов, г. Международной научнотехнической конференции Проблемы передачи и обработки информации в сетях и системах телекоммуникаций, Рязань, г. Межвузовской научнотехнической конференции студентов, молодых ученых и специалистов Новые информационные технологии в учебном процессе и производстве, Рязань, г. ВПМ РГРТА. Публикации. ГЛАВА 1. Типовая архитектура САПР. САМ i i системы автоматизированной подготовки производства. Типовая архитектура САПР , представлена на рисунке 1. Рис. Архитектура разрабатываемой системы автоматизированного проектирования должна учитывать все составляющие типовой архитектуры САПР. Это может быть достигнуто своевременной выдачей источнику запроса полной и достоверной информации для выполнения определенной части проектноконструкторского процесса . При создании информационного обеспечения САПР основная проблема заключается в преобразовании информации, необходимой для выполнения проектноконструкторских работ над определенным классом объектов, в форму, приемлемую и наиболее рациональную для машинной обработки, и выводе информации на ЭВМ в виде, удобном для восприятия человеком . Множество данных, которые потенциально могут использоваться при функционировании САПР или служить запоминаемым результатом ее работы, образуют информационную базу данных системы , . Информационное обеспечение САПР можно представить в виде схемы рис. Это взаимодействие осуществляется через специально организуемый интерфейс, который защищает проектные программные модули от влияния специфики программной реализации информационной системы, поддерживая тем самым независимость проектных операций от вида представления информации в базе данных, В функции этого интерфейса входит также согласование и сопряжение информационной системы и проектных модулей по форматам записей информационный аспект, по обозначениям данных содержательный аспект, и по программным средствам, языкам программирования и т. Сложность разработки базы данных обусловлена тем, что формирование ее структуры возможно только после разработки алгоритмов проектирования. Рис 1. Но для разработки пакета прикладных программ необходимы сведения о структуре базы данных. Следовательно, информационное обеспечение и специальное программное обеспечение САПР должны создаваться параллельно . Экспертные системы ЭС это сложные программные комплексы, аккумулирующие знания специалистов в конкретных предметных областях и тиражирующие этот эмпирический опыт для консультации менее квалифицированных пользователей . Обобщенная структура экспертной системы представлена на рисунке
Пользователь специалист предметной области, для которого предназначена система. Рис. Инженер по знаниям специалист в области искусственного интеллекта, выступающий в роли промежуточного буфера между экспертом и базой знаний. Интерфейс пользователя комплекс программ, реализующих диалог пользователя с ЭС как на стадии ввода информации, так и при получении результатов. База знаний БЗ ядро ЭС, совокупность знаний предметной области, записанная на машинный носитель в форме, понятной эксперту и пользователю. Решатель программа, моделирующая ход рассуждений эксперта па основании знаний, имеющихся в БЗ. Подсистема объяснений программа, позволяющая пользователю получить ответы на вопросы Как была получена та или иная рекомендация и Почему система приняла такое решение. Интеллектуальный редактор БЗ программа, представляющая инженеру по знаниям возможность создавать БЗ в диалоговом режиме. Продукционная модель или модель, основанная на правилах, позволяет представить знания в виде предложений типа Если условие, то действие .