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

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

Название: Анализ безопасности смарт-контрактов ethereum с помощью алгоритма пчелиной колонии: выпускная квалификационная работа специалиста: 10.05.01 - Компьютерная безопасность ; 10.05.01_02 - Математические методы защиты информации
Авторы: Лемец Андрей Александрович
Научный руководитель: Павленко Евгений Юрьевич
Другие авторы: Резединова Евгения Юрьевна
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: информационная безопасность; сеть ethereum; безопасность смарт-контрактов; динамический анализ смарт-контрактов; алгоритм пчелиной колонии; фаззинг; information security; ethereum; security of smart contracts; dynamic analysis of smart contracts; artificial bee colony algorithm; fuzzing
Тип документа: Выпускная квалификационная работа специалиста
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 10.05.01
Группа специальностей ФГОС: 100000 - Информационная безопасность
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-57
Права доступа: Свободный доступ из сети Интернет (чтение)

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

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

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

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

Аннотация

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

The final qualifying paper presents a method of improving the efficiency of fuzzing Ethereum smart contracts. The paper discusses the flaws of the existing approaches in fuzzing smart contracts, on the basis of which we propose our own method using the bee colony algorithm. The results of the experimental evaluation of the effectiveness of the developed method are presented and demonstrates increasing of the smart contracts' coverage during fuzzing and reducing the number of type 1 errors without significant increasing of type 2 errors.

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

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

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

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