Моделювання кібератак за допомогою мереж Петрі

Abstract

Метою атестаційної роботи є розробка підходу для розробки та перевірки методу формального моделювання кіберзагроз, спрямованих на комп'ютерні системи. Для цього в роботі були вирішені наступні завдання: - проаналізовано поширені кіберзагрози, спрямовані на кінцевих користувачів і термінали, обумовлені поганим програмним забезпеченням; - проаналізовано методи виявлення шкідливого ПЗ; - проаналізовано сучасні методи приховування шкідливого ПЗ; - запропонований підхід до моделювання шкідливої поведінки ПЗ на основі розфарбованих мереж Петрі; - реалізовано сценарій зараження вірусом Virut і показано працездатність методу виявлення шкідливого коду на основі моделювання атак за допомогою мережі Петрі.