Delist.ru

Разработка научно-методического аппарата анализа функциональной стабильности критичных информационных систем (30.08.2007)

Автор: Сундеев Павел Викторович

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ

Диссертационная работа является законченным научным исследованием, в котором решена сложная научная проблема. В результате проведенных исследований разработан научно-методический аппарат модульно-кластерного анализа, инвариантный к используемым информационным технологиям, который решает актуальную научную проблему обеспечения достоверности оценки ФС на основе повышения адекватности моделей и формального доказательства соответствия функционально-структурных свойств архитектуры системе кластерных FLS-ограничений.

Получены следующие результаты:

Обоснована актуальность научной проблемы анализа ФС КИС и разработана концепция ее решения. Разработана совокупность теоретических положений по применению методологии системного анализа к решению проблемы анализа ФС КИС.

Разработан подход к анализу информационных систем, концептуальной основой которого является системная парадигма информационного взаимодействия, позволяющая повысить адекватность моделирования и достоверность анализа функционально-структурных свойств информационной архитектуры за счет систематизации и учета относительно полного множества FLS-отношений.

Разработаны теоретические положения ФС КИС, позволяющие систематизировать, классифицировать, формализовать и ввести в математическую модель кластерные функционально-структурные ограничения, что обеспечивает возможность автоматизации анализа информационной архитектуры.

Созданы основы теории МК-сетей, которая содержит научно-методический аппарат моделирования и анализа функционально-структурных свойств информационной архитектуры, учитывающий системную парадигму информационного взаимодействия и обеспечивающий автоматизацию процессов моделирования и анализа с формальным доказательством корректности результатов.

Результаты экспериментов и практика внедрения разработанного научно-методического аппарата коррелируются с теоретическими положениями и расчетной оценкой эффективности, которая варьируется в диапазоне 37/ 48 % в зависимости от постановки задачи. Экономическая эффективность внедрения разработанного научно-методического аппарата, полученная методом экспертных оценок, составляет 22-50 % и стремится к максимальному значению диапазона в процессе накопления опыта аналитиком и совершенствования БК МК-модели. Разработаны рекомендации по применению научно-методического аппарата МК-анализа для решения теоретических и практических задач при исследовании и проектировании информационных систем. На основе методов теории МК-сетей разработана система автоматизированного анализа МК-модели информационной архитектуры.

Таким образом, разработанный научно-методический аппарат, объединяющий в рамках комплексного подхода системную парадигму информационного взаимодействия, теоретические положения ФС и теорию МК-сетей, позволяет перейти на новый качественный уровень обеспечения ФС информационных процессов в КИС на основе повышения адекватности динамических моделей информационной архитектуры и достоверности оценки ФС КИС.

Результаты исследований показывают перспективность использования методов МК-анализа для развития теории и практики предметной области. Внедрение результатов исследования обеспечит создание функционально стабильных КИС, отвечающих повышенным требованиям по минимизации информационных рисков при использовании современных информационных технологий в критичных приложениях.

СПИСОК ОСНОВНЫХ ПУБЛИКАЦИЙ

Монография

Системный анализ функциональной стабильности критичных информационных систем / Симанков В.С., Сундеев П.В. // Монография (научное издание)/ Под науч. ред. В.С. Симанкова. КубГТУ; ИСТЭк. – Краснодар, 2004. – 204 с. (личный вклад соискателя: системный анализ проблемы и формальная постановка научной задачи; стратификация структуры и целевых функций систем с управлением; границы и критерии ФС КИС; стратификация требований по ФС к КИС; принципы и парадигма трехуровневого информационного взаимодействия сложных систем; обобщенная функциональная модель информационных систем; анализ дестабилизирующих факторов; системная классификация каналов реализации угроз; научная концепция решения проблемы; модель угроз, принципы и концепция ФС КИС; стратегия разграничения доступа; расширенная модель безопасности с полным перекрытием; метод ФИМ декомпозиции; технология автоматизации анализа ФС; модель графа состояний КИС; математические модели модулей, информационной архитектуры и процессов функционирования; формальные правила описания условий взаимодействия модулей и переходов состояний; алгоритм анализа ФС КИС; методика оценки эффективности разработанного научно-методического аппарата).

Публикации в ведущих рецензируемых изданиях, рекомендуемых ВАК, и рецензируемых научных журналах

Моделирование и анализ информационной архитектуры  методами теории модульно-кластерных сетей / Сундеев П.В. // Системы управления и информационные технологии.- 2007. - № 2.1 (28), С. 201-205.

Модульно-кластерный анализ: аспекты информационной безопасности / Сундеев П.В. // Известия ТРТУ. Тематический выпуск. Материалы VII Международной научно-практической конференции «Информационная безопасность». – Таганрог: Издательство ТРТУ, 2005. № 4 (48), С. 53-60.

Проблема автоматизации анализа функциональной стабильности критичных систем управления в промышленности / Сундеев П.В. // Автоматизация в промышленности. – 2004. - № 10, С. 9-12.

Методология анализа информационной безопасности критичных систем управления / Сундеев П.В. // Проблемы информационной безопасности. Компьютерные системы. – 2004. - № 2, С. 13-22.

Автоматизация анализа функциональной стабильности информационных систем критичных промышленных объектов / Симанков В.С., Сундеев П.В. // Проблемы машиностроения и автоматизации. – 2004. - № 3.- С. 24-29. (личный вклад соискателя: обоснование методологического подхода к автоматизации анализа ФС КИС; формальная постановка задачи анализа ФС; решение прямой задачи анализа; формальные правила описания условий взаимодействия модулей и правила переходов состояний).

Автоматизация анализа функциональной стабильности критичных информационных систем / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2004. - № 03 (5). - Режим доступа: http://www.ej.kubagro.ru/ 2004/03/05/p05.asp.

Функциональная стабильность критичных информационных систем: основы анализа / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2004. - № 05 (7). - Режим доступа: http://www.ej.kubagro.ru/2004/05/03/p03.asp.

Модульно-кластерные сети: основы теории / Сундеев П.В. // Научный журнал КубГАУ [Электронный ресурс]. - Краснодар: КубГАУ, 2006. - № 22 (06). - Шифр Информрегистра: 0420600012\0132. Режим доступа: http:// www.ej.kubagro.ru / 2006/22/06/p15.asp.

Dynamic simulation and verification the architecture of critical information systems by methods of the theory modular-cluster networks / Sundeev P.V. // Information technologies of modeling and control. - 2007. - № 5 (39), P. 561-565.

Публикации в сборниках научных статей, трудов и материалов конференций

Проблема создания защищенных информационных технологий / Кучер В.А., Королев И.Д., Сундеев П.В. // Сборник тезисов докладов на III Всероссийском симпозиуме «Математическое моделирование и компьютерные технологии».- Кисловодск. - 1999. (личный вклад соискателя: постановка проблемы и анализ путей решения).

Перспективы развития комплексной методологии оценки безопасности информационных технологий / Сундеев П.В. // Материалы II межвузовской НТК Краснодарского военного института.- Краснодар, 2001. – С. 158-160.

Математическая модель оценки защищенности информации от несанкционированного доступа в критических системах управления/ Хализев В.Н., Сундеев П.В. // Материалы II межвузовской НТК Краснодарского военного института.- Краснодар, 2001. – С. 156-158. (личный вклад соискателя: системный подход к решению задачи и математическая модель оценки).

Анализ концепций построения политик безопасности для гарантированно защищенных информационных технологий и систем / Сундеев П.В. // Межвузовский сборник научных трудов.– Краснодар: КВИ, 2000. – С. 98-101.

Построение информационной модели функционирования обобщенной системы управления и обоснование фундаментальных принципов информационного взаимодействия сложных систем / Сундеев П.В. // Межвузовский сборник научных трудов. – Краснодар: КВИ, 2000. – С. 80-83.

Один из подходов к оценке защищенности информации в системах управления / Сундеев П.В. // Межвузовский сборник научных трудов. – Краснодар: КВИ, 2000. – С. 72-76.

Отчеты о НИР, патенты и авторские свидетельства

Разработка новых технологий оценки и обеспечения качества проектирования и реализации программных средств перспективных АС подвижных командных пунктов ракетных комплексов / Хализев В.Н., Марков В.Н., Сундеев П.В. - итоговый отчет о НИР. – Краснодар: КВИ, 1999.- № 3/99.- 67 с. (личный вклад соискателя: принципы оценки функциональной безопасности программных средств критичных приложений).

А.с. № 2007612764 от 27.06.07. Система автоматизированного анализа модульно-кластерной модели информационной архитектуры / Симанков В.С., Сундеев П.В.; заявитель и патентообладатель ГОУ ВПО «Кубанский гос. технол. ун-т.». - 61 с. (личный вклад соискателя: математический аппарат, алгоритм и исходный текст программы; постановка и проведение экспериментов; подготовка исходных данных; анализ экспериментальных данных).

ПОСТРОЕНИЕ МАТЕМАТИЧЕСКОЙ МК-МОДЕЛИ

МК-МОДЕЛИ

ОРИЕНТИРОВАННОЙ

  ly ,sz

 fx , ly

Внешняя среда

Система Х

загрузка...