Михайлова, Татьяна Евгеньевна. Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна Ethereum [Электронный ресурс]: выпускная квалификационная работа специалиста: 10.05.04 - Информационно-аналитические системы безопасности ; 10.05.04_01 - Автоматизация информационно-аналитической деятельности = Using symbolic execution for automative vulnerability searching in Ethereum smart contracts / Т. Е. Михайлова; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики ; науч. рук. В. В. Платонов ; консультант по нормоконтролю Е. Ю. Резединова. — Электрон. текстовые дан. (1 файл : 0,5 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-39.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-39>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-a.pdf>.
Внимание
Чтение недоступно