Захист від вразливостей SWC-100-136
Тип публікації :
Магістерська робота
Дата випуску :
2024
Автор(и) :
Кулага Ярослав Сергійович
Науковий(і) керівник(и)/редактор(и) :
Толюпа Сергій Васильович
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Кулага, Я. С. (2024). Захист від вразливостей SWC-100-136 [Магістерська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/15071834/1996
[ДСТУ] Кулага Я. С. Захист від вразливостей SWC-100-136 : кваліфікаційна робота магістра : 125 Кібербезпека та захист інформації / наук. кер. С. В. Толюпа. Київ, 2024. 117 с. URL: https://ir.library.knu.ua/handle/15071834/1996 (дата звернення: 25.07.2026).
Об'єкт дослідження - сканер вразливостей, розроблений спеціально для смарт-
контрактів блокчейну.
Мета роботи - ретельний аналізу безпеки смарт-контрактів та створення сканера вразливостей смарт-контрактів, яким зможуть користуватися розробники та аудитори, а також корисних порад.
Для того, щоб знайти можливі слабкі місця в смарт-контрактах і посилити їхню безпеку, в рамках дослідження були створені і вивчені методи сканування. Для вибору найкращого інструменту для створення сканера було проведено порівняння мов програмування, зокрема Solidity, Vyper та Yul.
Наступним етапом стало вивчення теоретичних недоліків, що лежать в основі смарт-контрактів, знайдених в SWC-100 - SWC-136. У світлі цього дослідження було створено унікальний сканер смарт-контрактів, який пройшов тестування в реальному світі, щоб знайти ці недоліки і підвищити безпеку смарт-контрактів.
Результати дослідження продемонстрували, що створений сканер є більш успішним, ніж існуючі на сьогоднішній день методи виявлення недоліків та підвищення безпеки смарт-контрактів.
контрактів блокчейну.
Мета роботи - ретельний аналізу безпеки смарт-контрактів та створення сканера вразливостей смарт-контрактів, яким зможуть користуватися розробники та аудитори, а також корисних порад.
Для того, щоб знайти можливі слабкі місця в смарт-контрактах і посилити їхню безпеку, в рамках дослідження були створені і вивчені методи сканування. Для вибору найкращого інструменту для створення сканера було проведено порівняння мов програмування, зокрема Solidity, Vyper та Yul.
Наступним етапом стало вивчення теоретичних недоліків, що лежать в основі смарт-контрактів, знайдених в SWC-100 - SWC-136. У світлі цього дослідження було створено унікальний сканер смарт-контрактів, який пройшов тестування в реальному світі, щоб знайти ці недоліки і підвищити безпеку смарт-контрактів.
Результати дослідження продемонстрували, що створений сканер є більш успішним, ніж існуючі на сьогоднішній день методи виявлення недоліків та підвищення безпеки смарт-контрактів.
Ключові слова :
Галузі знань та спеціальності :
12 Інформаційні технології::125 Кібербезпека та захист інформації
Галузі науки і техніки (FOS) :
Інженерія та технології
Файл(и) :![Ескіз]()
Вантажиться...
Формат :
Adobe PDF
Розмір :
1.26 MB
Контрольна сума :
(MD5):fcac90ecfc6b1da3f8d43c61aaab4671
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International