Пошук академічних текстів

Інформація × Реєстраційний номер 0824U000084, Дисертація доктора філософії На здобуття Доктор філософії Дата захисту Статус Запланована Назва роботи Методика підвищення надійності веб-компонентів на базі методу Isabelle/HOL Здобувач Залива Віталій Вікторович, Керівник Бондарчук Андрій Петрович Опонент Шушура Олексій Миколайович Опонент Коршун Наталія Володимирівна Рецензент Аронов Андрій Олексійович Рецензент Зінченко Ольга Валеріївна Опис Залива В.В. Методика підвищення надійності веб-компонентів на базі методу Isabelle/HOL. Дисертація на здобуття наукового ступеня доктора філософії в галузі знань 12 - Інформаційні технології за спеціальністю 123 – Комп’ютерна інженерія. – Державний університет інформаційно-комунікаційних технологій. – Київ, 2023. Дисертаційна робота присвячена підвищенню надійності веб-компонентів з використанням методу Isebelle/HOL. У даній роботі було проведено аналіз вразливостей моделі DOM, на основі яких розроблено методику підвищення надійності веб-компонентів. У вступі наведено загальну характеристику роботи, обґрунтовано актуальність теми досліджень, сформульовано мету та задачі досліджень, представлено наукову новизну та практичну цінність отриманих результатів, відзначено особистий внесок автора, наведено дані про апробацію, практичне впровадження та наявні публікації. У першому розділі дисертації розглянуто різні аспекти впливу вебкомпонентів на розвиток комп'ютерної інженерії. Основна увага приділена тому, як веб-компоненти, які включають HTML-теги, CSS-стилі та JavaScript-функції, змінюють спосіб створення веб-додатків. Ці компоненти дозволяють розробникам створювати додатки як набір незалежних взаємозамінних частин, сприяючи переходу від традиційних монолітних архітектур до більш гнучких модульних та мікросервісних підходів. Ця зміна парадигми в розробці веб-додатків відкриває нові можливості для масштабування та оновлення окремих частин системи. У другому розділі дисертації, що зосереджується на аналізі проблем надійності веб-компонентів, була реалізована детальна розробка формальної моделі Document Object Model (DOM) з використанням методики Isabelle/HOL. Ця модель включає основні елементи, їх взаємодію та поведінку. Вона стала ключовим елементом у формальному доведенні безпекових властивостей веб-компонентів. Такий підхід значно покращує надійність та безпеку веб-додатків, йдучи далі від звичайних тестувань та аналізів, та створює міцну основу для розвитку більш передових методів проектування та аналізу в сфері веб-технологій. У третьому розділі дисертації, присвяченому оцінці методик безпеки вебкомпонентів, здійснено аналіз ефективності розробленої методології забезпечення безпеки веб-компонентів. Особлива увага була приділена порівняльному аналізу цієї методології з іншими існуючими підходами, такими як статичний аналіз та методи машинного навчання. Проведені практичні тести підтвердили високу ефективність запропонованої методології у запобіганні атакам Cross-Site Scripting (XSS) та Cross-Site Request Forgery (CSRF), особливо в порівнянні з методами, що базуються на Content Security Policy (CSP). Були також розглянуті обмеження існуючих методів, особливо в контексті виявлення нових або маскованих шкідливих змістів, та запропоновано напрямки для подальших досліджень. Це включає розробку нових методів навчання, які є ефективнішими у виявленні нових типів шкідливого вмісту та методів виявлення, які краще реагують на прихований або замаскований шкідливий вміст. У четвертому розділі дисертації здійснено оцінку ефективності методики, спрямованої на підвищення надійності веб-компонентів, яка базується на методі Isabelle/HOL. Визначені ключові показники ефективності включали повноту виявлення та точність виявлення загроз. Було проведено експериментальну оцінку, яка включала порівняння з іншими науковими інструментами, такими як статичний аналіз та машинне навчання. Результати експериментів показали, що розроблена методика на 21% ефективніше за існуючу CSP. Дата реєстрації 2024-01-03 Додано в НРАТ 2025-01-17 Закрити