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

Постачальник даних: УкрІНТЕІ (Український Інститут науково-технічної експертизи та Інформації)

  Завантажити автореферат