Метод тестування смарт-контрактів на вразливості
Тип публікації :
Бакалаврська робота
Дата випуску :
2025
Автор(и) :
Білокінь, Тарас Ігорович
Науковий(і) керівник(и)/редактор(и) :
Мова основного тексту :
Ukrainian
eKNUTSHIR URL :
Цитування :
[APA 7] Білокінь, Т. І. (2025). Метод тестування смарт-контрактів на вразливості [Бакалаврська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/15071834/7729
[ДСТУ] Білокінь Т. І. Метод тестування смарт-контрактів на вразливості : кваліфікаційна робота бакалавра : 125 Кібербезпека та захист інформації / наук. кер. Ю. М. Щебланін. Київ, 2025. 78 с. URL: https://ir.library.knu.ua/handle/15071834/7729 (дата звернення: 25.07.2026).
Кваліфікаційна робота складається зі вступу, трьох розділів, загальних висновків, списку використаних джерел, додатків, має 73 сторінок основного тексту, 16 рисунків, 1 таблицю. Список використаних джерел містить 36 найменувань і займає 4 сторінки.
Метою роботи є розробка гібридного методу тестування смарт-контрактів на вразливості, що забезпечує автоматизований аналіз коду для виявлення та оцінки потенційних загроз.
Для досягнення зазначеної мети поставлено наступні завдання:
• дослідити теоретичні основу смарт-контракта, застосування, основні типи вразливостей та майбутні виклики
• проаналізувати сучасні сканери вразливостей та сформувати критерії оцінки їх ефективності
•проаналізувати фреймворки та стандарти безпеки смарт-контрактів для виявлення та оцінки вразливостей
• розробити метод тестування смарт-контрактів для виявлення та оцінки ризиків, використовуючи автоматизовані інструменти статичного та динамічного аналізу
• розробити рекомендації для розробників щодо зменшення ймовірності вразливостей та підвищення рівня безпеки смарт-контрактів.
Об'єктом дослідження є процес автоматизації транзакцій в блокчейн технологіях за рахунок використання смарт-контрактів.
Предметом дослідження є методи виявлення, аналізу та оцінки вразливостей смарт-контрактів.
Методи дослідження кваліфікаційної роботи: теоретичний аналіз сучасних стандартів і гайдлайнів, порівняльний аналіз інструментів та емпіричне тестування смарт-контрактів.
Практичною цінністю роботи є розробка комплексного методу тестування та рекомендацій щодо, виявлення, аналізу та усунення вразливостей для розробників смарт-контрактів, аудиторів безпеки та організацій, знижуючи ризики компрометації та зменшуючи фінансові втрати.
Метою роботи є розробка гібридного методу тестування смарт-контрактів на вразливості, що забезпечує автоматизований аналіз коду для виявлення та оцінки потенційних загроз.
Для досягнення зазначеної мети поставлено наступні завдання:
• дослідити теоретичні основу смарт-контракта, застосування, основні типи вразливостей та майбутні виклики
• проаналізувати сучасні сканери вразливостей та сформувати критерії оцінки їх ефективності
•проаналізувати фреймворки та стандарти безпеки смарт-контрактів для виявлення та оцінки вразливостей
• розробити метод тестування смарт-контрактів для виявлення та оцінки ризиків, використовуючи автоматизовані інструменти статичного та динамічного аналізу
• розробити рекомендації для розробників щодо зменшення ймовірності вразливостей та підвищення рівня безпеки смарт-контрактів.
Об'єктом дослідження є процес автоматизації транзакцій в блокчейн технологіях за рахунок використання смарт-контрактів.
Предметом дослідження є методи виявлення, аналізу та оцінки вразливостей смарт-контрактів.
Методи дослідження кваліфікаційної роботи: теоретичний аналіз сучасних стандартів і гайдлайнів, порівняльний аналіз інструментів та емпіричне тестування смарт-контрактів.
Практичною цінністю роботи є розробка комплексного методу тестування та рекомендацій щодо, виявлення, аналізу та усунення вразливостей для розробників смарт-контрактів, аудиторів безпеки та організацій, знижуючи ризики компрометації та зменшуючи фінансові втрати.
Галузі знань та спеціальності :
12 Інформаційні технології::125 Кібербезпека та захист інформації
Галузі науки і техніки (FOS) :
Інженерія та технології
Файл(и) :![Ескіз]()
Вантажиться...
Формат :
Adobe PDF
Розмір :
1.4 MB
Контрольна сума :
(MD5):a31d2b9979e048141b4d06961ff9f764
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International