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

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

Annotation

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

Document access rights

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

Usage statistics

stat Access count: 64
Last 30 days: 0
Detailed usage statistics