Абстракції зворотного інжинірингу при контролі та побудові захищених програмних реалізацій

Анотація

Зворотній інжиніринг має багато застосувань в ІТ. Це задачі сумісності, відтворення застарілих компонентів, аналізу та захисту програмних продуктів. Не зважаючи на актуальність, комплексний підхід до вирішення задач контролю та побудови захищених програмних реалізацій з урахуванням можливостей програмної інженерії та потреб інформаційної безпеки відсутній. В роботі продемонстрована можливість представлення процесу зворотного проєктування у вигляді послідовності абстракцій. Методи аналізу  програмних реалізацій статичний, динамічний й, зокрема, експериментів, поєднуються моделлю абстракцій в логічну послідовність. А застосування метрик програмних продуктів надає можливість прив’язати контроль та розробку захисних механізмів програмних реалізацій до базових понять інформаційної безпеки, а саме – до розрахунку ризиків.