Моделі та методи забезпечення просторової та часової безпеки багатомовних програмних додатків

Abstract

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