Details

Title Разработка безопасного языка для написания смарт-контрактов: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_14 - Проектирование аппаратно-программных средств вычислительных систем
Creators Евтеев Артем Дмитриевич
Scientific adviser Ицыксон Владимир Михайлович
Other creators Новопашенный Андрей Гелиевич
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2019
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects Интернет ; Программирования языки ; Вычислительные сети — Обеспечение сохранности данных ; смарт-контракты ; сеть эфериум ; блокчейн ; криптовалюта ; безопасность смарт-контрактов ; классификация уязвимостей смарт-контрактов
UDC 004.738.5(043.3) ; 004.438(043.3) ; 004.7.056.53(043.3)
Document type Master graduation qualification work
File type PDF
Language Russian
Level of education Master
Speciality code (FGOS) 09.04.01
Speciality group (FGOS) 090000 - Информатика и вычислительная техника
Links Отзыв руководителя ; Рецензия ; Отчет о проверке на объем и корректность внешних заимствований
DOI 10.18720/SPBPU/3/2019/vr/vr19-699
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key ru\spstu\vkr\2506
Record create date 9/26/2019

Allowed Actions

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

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

Group Anonymous
Network Internet

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

The goal of the final qualification paper is to implement a subset of the Solidity language for writing smart contracts in the blockchain network. The paper conducted a comparative analysis of languages for writing smart contracts, an analysis of global vulnerabilities that are used for writing smart contracts. Also, language methods have been singled out that perform the same functions, but their use leads to vulnerability. A subset of the language will eliminate the writing of vulnerabilities discussed in this work.

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

Access count: 67 
Last 30 days: 0

Detailed usage statistics