Давидов В. В. Моделі та методи підвищення безпеки байт-код орієнтованого програмного забезпечення в умовах кібератак

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