Search academic texts

Information × Registration Number 0824U000084, PhD dissertation Status Доктор філософії Date popup.evolution o Title Methodology for improving the reliability of web components based on the Isabelle/HOL method Author Vitalii Zalyva, popup.head Andrii Bondarchuk popup.opponent Oleksii M. Shushura popup.opponent Nataliia V. Korshun popup.review Andrii Aronov popup.review OLHA ZINCHENKO Description Залива В.В. Методика підвищення надійності веб-компонентів на базі методу 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. Registration Date 2024-01-03 popup.nrat_date 2025-01-17 Close