Детальная информация

Мурзин, Руслан Ильфатович. Статический анализ смарт-контрактов в технологии блокчейн [Электронный ресурс] = Static analysis of smart contracts in blockchain technology: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_14 - Проектирование аппаратно-программных средств вычислительных систем / Р. И. Мурзин; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный. — Электрон. текстовые дан. (1 файл : 1,0 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-703.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-703>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-703-a.pdf>.

Дата создания записи: 26.09.2019

Тематика: смарт-контракты; сеть эфириум; блокчейн; безопасность смарт-контрактов; инструменты статического анализа; уязвимости смарт-контрактов; concolic-анализ; mythril; smart-contracts; ethereum; blockchain; smart-contract security; static analysis tools; smart-contracts vulnerabilities; concolic-analysis; mythril

Коллекции: Выпускные квалификационные работы; Общая коллекция

Ссылки: DOI; Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований

Разрешенные действия: Прочитать Загрузить (1,0 Мб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

В работе предложено использование статического и символьного анализа для обнаружения уязвимостей в смарт-контрактах. Даны общие понятия о технологии блокчейн и смарт-контрактах, а также проведена классификация уязвимостей смарт-контрактов. Представлены существующие инструменты безопасности смарт-контрактов. Разработаны модули для инструмента статического анализа Mythril, позволяющие обнаружить четыре различные уязвимости в смарт-контрактах блокчейна Ethereum.

The work proposed to use of static and symbolic analysis to detect vulnerabilities in smart contracts. The general concepts of blockchain technology and smart contracts, as well as the classification of vulnerabilities of smart contracts are given. Existing smart contract security tools are presented. The modules for the Mythril static analysis tool that allow detecting four different vulnerabilities in the Ethereum blockchain smart contracts are developed.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 21
За последние 30 дней: 7
Подробная статистика