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

• Автор: Застрожнов, Игорь Иванович
• Шифр специальности: 05.13.18, 05.13.19
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Воронеж
• Количество страниц: 181 с. : ил.

1. ОСНОВНЫЕ НАПРАВЛЕНИЯ СОВЕРШЕНСТВОВАНИЯ МОДЕЛЕЙ АНАЛИЗА КАЧЕСТВА ФУНКЦИОНИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ ЗАЩИТЫ ИНФОРМАЦИИ В АСУ КРИТИЧЕСКИХ ПРИМЕНЕНИЙ ПРИ ИХ ПРОЕКТИРОВАНИИ И УПРАВЛЕНИИ
1.1. Анализ особенностей функционирования программных систем защиты информации и основные направления их совершенствования
1.2. Анализ существующих способов и методов оценки критериев качества функционирования и эффективности программных систем защиты информации
1.3. Основные выводы первой главы
1.4. Цели и задачи исследования
2. РАЗРАБОТКА МОДЕЛЕЙ ИССЛЕДОВАНИЯ МАТЕМАТИЧЕСКИХ СВОЙСТВ ДИНАМИКИ ФУНКЦИОНИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ ЗАЩИТЫ ИНФОРМАЦИИ ДЛЯ РЕШЕНИЯ ЗАДАЧ ИХ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ И УПРАВЛЕНИЯ
2.1. Методическое обеспечение исследования математических свойств динамики функционирования программных систем защиты информации для оценки и анализа качества их функционирования
при проектировании и управлении
2.2. Моделирование динамики функционирования программных
} систем защиты информации
2.3. Критерии качества функционирования программных систем защиты информации, как математические свойства моделей дина-

мики их функционирования
2.4. Модели исследования математических свойств моделей динамики функционирования программных систем защиты информации
для комплексной оценки качества их функционирования
• ' 2.5. Модели оптимального управления и автоматизированного выбора вариантов программных систем защиты информации на основе исследования математических свойств моделей динамики их функционирования
2.6. Основные выводы второй главы
3. РАЗРАБОТКА АЛГОРИТМОВ ОЦЕНКИ И АНАЛИЗА КАЧЕСТВА ФУНКЦИОНИРОВАНИЯ ИССЛЕДУЕМЫХ ПРОГРАММНЫХ СИСТЕМ ЗАЩИТЫ ИНФОРМАЦИИ ПРИ ПРОЕКТИРОВАНИИ И УПРАВЛЕНИИ НА ОСНОВЕ ИССЛЕДОВАНИЯ МАТЕМАТИЧЕСКИХ СВОЙСТВ МОДЕЛЕЙ ИХ ФУНКЦИОНИРОВАНИЯ
ЗЛ. Алгоритмизация процедуры многоуровневого управления доступом исследуемых программных систем защиты информации
3.2. Алгоритмизация исследований математических свойств моделей функционирования исследуемых программных систем защиты информации для оценки критериев качества их функционирования
3.3. Алгоритмизация оптимального управления и автоматизированного выбора вариантов исследуемых программных систем защиты информации на основе исследования математических свойств моделей их функционирования
3.4. Основные выводы третьей главы
^ 4. РАЗРАБОТКА И ПРИМЕНЕНИЕ АВТОМАТИЗИРОВАННЫХ
СРЕДСТВ КОМПЛЕКСНЫХ ИССЛЕДОВАНИЙ МАТЕМАТИЧЕСКИХ СВОЙСТВ МОДЕЛЕЙ ФУНКЦИОНИРОВАНИЯ ИССЛЕДУЕМЫХ ПРОГРАММНЫХ СИСТЕМ ЗАЩИТЫ ИНФОРМАЦИИ

4.1. Организация вычислительного эксперимента для исследования математических свойств модели функционирования исследуемой программной системы защиты информации
4.2. Результаты исследования математических свойств модели функционирования исследуемой программной системы защиты информации, в рамках автоматизированного рабочего места на базе ПЭВМ в составе АСУ критического применения
4.3. Основные выводы четвертой главы
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
ПРИЛОЖЕНИЯ

гом элементарные сети из этих классов, создавать Е-сети произвольной сложности.
В каждой элементарной сети может быть не более одной разрешающей позиции, причем такая позиция должна быть входной. Разрешающая позиция выполняет управляющую функцию в начале фазы активности сработавшего перехода и характеризуется конечным множеством состояний и разрешающей процедурой. Состояние разрешающей позиции данной элементарной сети указывает на ту выходную позицию этой элементарной сети, в которую попадает объект из входных позиций в результате срабатывания перехода. Разрешающая процедура предназначена для вычисления состояния разрешающей позиции. При помощи разрешающих позиций и разрешающих процедур можно формализовать случайные переходы между состояниями функционирования ПСЗИ.
Динамика Е-сети определяется перемещением объекта из одних позиций сети в другие в результате срабатывания переходов. Любая позиция, содержащая объект, называется маркированной. Маркировка позиций в сети задается функцией разметки. Формально перемещение объекта эквивалентно изменению маркировки сети.
Любой переход С отвечающий элементарной сети Еь можно описать тройкой
Нц,т,я),
где а - тип (класс) элементарной сети, которой принадлежит переход, определяет правила возбуждения, или срабатывания, перехода, отвечающего данной элементарной сети, и перемещения объекта из входных позиций в выходные в результате срабатывания перехода;
т - процедура временной задержки, задает интервал времени, в течение которого длится фаза активности сработавшего перехода, отвечающего данной элементарной сети;
к - процедура преобразования, отражает действия, которые должны выполняться над атрибутами объектов, перемещающихся из входных позиций в