(Національний університет "Києво-Могилянська академія", 2024) Ісмагілов, А.
Робота присвячена розробці моделі безпечної роботи комп’ютерних програм, які формалізують контроль доступу процесора до пам’яті та контроль за її використанням. В ході дослідження було проаналізовано методи, способи та підходи до оцінки інформаційної безпеки комп’ютерних програм без доступу до похідних кодів. Проведено класифікацію моделей безпечного та надійного функціонування комп’ютерних програм. В свою чергу розроблено модель безпечного функціонування комп’ютерних програм, яка формалізує контроль звернень процесора до пам’яті та контроль над її використанням.