Details

Title Анализ безопасности смарт-контрактов ethereum с помощью алгоритма пчелиной колонии: выпускная квалификационная работа специалиста: 10.05.01 - Компьютерная безопасность ; 10.05.01_02 - Математические методы защиты информации
Creators Лемец Андрей Александрович
Scientific adviser Павленко Евгений Юрьевич
Other creators Резединова Евгения Юрьевна
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint Санкт-Петербург, 2019
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects информационная безопасность ; сеть ethereum ; безопасность смарт-контрактов ; динамический анализ смарт-контрактов ; алгоритм пчелиной колонии ; фаззинг ; information security ; ethereum ; security of smart contracts ; dynamic analysis of smart contracts ; artificial bee colony algorithm ; fuzzing
Document type Specialist graduation qualification work
File type PDF
Language Russian
Level of education Specialist
Speciality code (FGOS) 10.05.01
Speciality group (FGOS) 100000 - Информационная безопасность
Links Отзыв руководителя ; Рецензия ; Отчет о проверке на объем и корректность внешних заимствований
DOI 10.18720/SPBPU/3/2019/vr/vr19-57
Rights Доступ по паролю из сети Интернет (чтение)
Record key ru\spstu\vkr\488
Record create date 2/28/2019

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Group Anonymous
Network Internet

В настоящей выпускной квалификационной работе разработан метод, повышающий эффективность фаззинга смарт-контрактов 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.

Network User group Action
ILC SPbPU Local Network All
Read
Internet Authorized users SPbPU
Read
Internet Anonymous

Access count: 152 
Last 30 days: 1

Detailed usage statistics