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 | |
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 |
|
Internet | Authorized users SPbPU |
|
Internet | Anonymous |
|
Access count: 67
Last 30 days: 0