С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

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

Название: Статический анализ смарт-контрактов в технологии блокчейн: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_14 - Проектирование аппаратно-программных средств вычислительных систем
Авторы: Мурзин Руслан Ильфатович
Научный руководитель: Ицыксон Владимир Михайлович
Другие авторы: Новопашенный Андрей Гелиевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Интернет; Вычислительные сети — Надежность; смарт-контракты; сеть эфириум; блокчейн; безопасность смарт-контрактов; инструменты статического анализа; уязвимости смарт-контрактов; mythril
УДК: 004.738.5.056.53(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-703
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

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

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

Аннотация

В работе предложено использование статического и символьного анализа для обнаружения уязвимостей в смарт-контрактах. Даны общие понятия о технологии блокчейн и смарт-контрактах, а также проведена классификация уязвимостей смарт-контрактов. Представлены существующие инструменты безопасности смарт-контрактов. Разработаны модули для инструмента статического анализа 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 Количество обращений: 43
За последние 30 дней: 0
Подробная статистика