Моделі і методи атак на смарт-контракти та захист від них
Вантажиться...
Дата
2025
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дана робота містить 58 сторінки, 2 таблиці, 1 рисунок, 19 джерел за переліком посилань. Метою дослідження є вивчення моделей і методів атак на смарт-контракти, а також розробка засобів захисту від них із використанням типових шаблонів, бібліотек та інструментів аналізу коду. Об’єкт дослідження – безпека смарт-контрактів на етапах проектування та реалізації в екосистемі блокчейн. Предмет дослідження – моделі атак на смарт-контракти та застосування ефективних механізмів захисту. Методи дослідження: аналіз літератури та відкритих джерел щодо вразливостей смарт-контрактів, моделювання атак на прикладах уразливого коду, використання інструментів статичного й динамічного аналізу (Slither, Mythril), впровадження захищених реалізацій з використанням бібліотеки SafeMath, патерну Checks-Effects-Interactions і commit-reveal схеми. В результаті роботи було реалізовано вразливі й захищені версії смартконтрактів для трьох типових атак: повторного виклику (Reentrancy), арифметичного переповнення (Integer Overflow) та Front-running. Проведено аналіз безпеки до і після застосування захисту, що підтвердив усунення критичних вразливостей.
Опис
Ключові слова
смарт-контракт, Reentrancy, переповнення, Front-running, Solidity, SafeMath, Slither, Mythril, smart contract, Overflow
Бібліографічний опис
Захаренко, Н. В. Моделі і методи атак на смарт-контракти та захист від них : дипломна робота ... бакалавра : 125 Кібербезпека / Захаренко Нікіта Віталійович. – Київ, 2025. – 58 с.