Přispěvatelé: |
Новіков, Олексій Миколайович, Novikov, Alexei N., Новиков, Алексей Николаевич, Національний технічний університет України 'Київський політехнічний інститут', Фізико-технічний інститут, Кафедра інформаційної безпеки |
Popis: |
Створено нову наукову концепцію, нові методи аналізу та управління безпекою структурно-складних систем (ССС). Побудовано логіко-ймовірнісні моделі, що дозволяють формалізувати опис задач безпеки ССС та забезпечити єдину методологічну базу для їх розв’язання. Закладено наукові основи для побудови нового класу комплексних систем захисту інформації. Запропоновано нові моделі, методи та алгоритми кібернетичного захисту на основі логіко-імовірнісного підходу, які застосовуються для вирішення задач аналізу захищеності та синтезу захищених інформаційно-комунікаційних систем. Побудовано алгоритми (оптимальні та субоптимальні) параметричного та структурного синтезу систем кібернетичного захисту з використанням методів нелінійного програмування, теорії прийняття рішень та ігрового підходу. Розроблено оптимізовані алгоритми аутентифікації і цифрового підпису в криптомодулі структурно-складної інформаційної системи. Створено нові методи аналізу структури складних систем, планування експерименту – тестування захищеності складної системи, оцінювання та корегування впливу людського фактору на його результати. Розроблені методи та моделі безпеки ССС покладено в основу двох інформаційних технологій та відповідних комплексів програмних модулів: «Автоматизованого проектування інформаційно-комунікаційних систем» та «Система моніторингу соціальних мереж NetMonitor». Комплекс «Автоматизоване проектування інформаційно-комунікаційних систем» - у стадії макетних пропозицій. Другий комплекс - Система «NetMonitor», було комерціалізовано (на конкурсній основі виграно інвестицію обсягом 1 млн.грн.) Created new science concept, new methods of analysis and control in the field of security of complex systems. Constructed new logical-probabilistic models allows to formalize the description of complex systems security problems and ensure a unified methodological framework for its solution. Created new scientific approaches for constructing a new class of complex information security systems. The new models, methods and algorithms of cyber security based on logical and probabilistic approach were proposed and used for solving security analysis and synthesis of protected information and communication systems. Created algorithms (optimal and suboptimal) of parametric and structural synthesis of cyber security with using methods of nonlinear programming, decision theory and game approach. Developed optimized algorithms of authentication and digital signature in complex information system. Created new methods of analyzing the structure of complex systems, design of experiment - testing complex system of protection, evaluating and correcting human factor influence on the results. Prepared improved sample of basic software system for automated design and safety assessment of complex systems. Examples of the developed models, methods and algorithms in practice, cyber security. Создана новая научная концепция, новые методы анализа и управления безопасностью структурно-сложных систем (ССС). Построены логико-вероятностные модели, позволяющие формализовать описание задач безопасности ССС и обеспечить единую методологическую базу для их решения. Заложены научные основы для построения нового класса комплексных систем защиты информации. Предложены новые модели, методы и алгоритмы кибернетической защиты на основе логико-вероятностного подхода, которые применяются для решения задач анализа защищенности и синтеза защищенных информационно-коммуникационных систем. Построены алгоритмы (оптимальные и субоптимальные) параметрического и структурного синтеза систем кибернетической защиты с использованием методов нелинейного программирования, теории принятия решений и игрового подхода. Разработаны оптимизированные алгоритмы аутентификации и цифровой подписи в криптомодуле структурно-сложной информационной системы. Созданы новые методы анализа структуры сложных систем, планирование эксперимента - тестирование защищенности сложной системы, оценки и корректировки влияния человеческого фактора на его результаты. Разработанные методы и модели безопасности ССС положено в основу двух информационных технологий и соответствующих комплексов программных модулей: «Автоматизированного проектирования информационно-коммуникационных систем» и «Система мониторинга социальных сетей NetMonitor». Комплекс «Автоматизированное проектирование информационно-коммуникационных систем» - в стадии макетных предложений. Второй комплекс - система «NetMonitor», было коммерциализировано (на конкурсной основе выгорания инвестиции объемом 1 млн.грн.) |