Ігнатенко О. П. Методи, моделі та засоби протидії зловмисній діяльності користувачів у відкритих інформаційних середовищах на основі теоретико-ігрового підходу.

Дисертаційна робота присвячена розробці комплексу методів, моделей та засобів керування відкритими інформаційними середовищами (ВІС), що надають сервіси користувачам за умов конфлікту і невизначеності. Такі системи представляють актуальний об’єкт дослідження, зокрема, прикладами такої системи є мережа Інтернет та сучасні багатопроцесорні обчислювальні середовища. У роботі запропоновано теоретико-ігровий підхід, який застосовується до аналізу ситуацій конкуренції користувачів за ресурси системи, конфліктної взаємодії користувачів та зловмисних цілеспрямованих дій, спрямованих на порушення функціонування системи – атак на відмову. В роботі розроблено комплекс аналітичних потокових керованих моделей мереж. Побудована ігрова модель для якої знайдені умови, що гарантують скінченність часу вичерпання черг, тобто моменту часу, коли черги мережі розвантажаться від пакетів користувачів. Для задачі взаємодії N користувачів знайдені умови, які гарантують відсутність втрат у мережі, існування і рівноваги Неша. Побудовано ігрову модель планування ресурсів розподіленої системи за наявності конкуренції користувачів. Проведений ігровий аналіз планувальників типу extr-extr для загальної задачі множення матриць. Знайдені умови існування і єдиності рівноваги Неша та обчислені її характеристики. Теоретичні результати підтверджені експериментальними обчисленнями на кластері Інституту програмних систем НАН України. Проведена класифікація існуючих атак на відмову, запропонована концепція системи протидії, яка базується на теоретико-ігровому моделюванні мережі. Побудовані ігрові моделі важливих класів атак та запропонований метод оцінки вразливості мережі. Створене середовище імітаційного моделювання атак на відмову та їх оцінки на роботу системи, що надає сервіси користувачам. Ключові слова: атаки на відмову, теорія ігор, рівновага Неша, кофліктно-керовані процеси, паралельні обчислення, грід, клауд, керовані моделі багатопроцесорних обчислень, протоколи мережі Інтернет.