Results 71 to 80 of about 689 (81)

Статический анализ смарт-контрактов в Ñ‚ÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¸ блокчейн

2019
В работе предложено использование статического и символьного анализа для обнаружения уязвимостей в смарт-контрактах. Даны общие понятия о технологии блокчейн и смарт-контрактах, а также Ð¿Ñ ...
openaire   +1 more source

Система автоматизации бизнес-процессов на базе блокчейн и смарт-контрактов

2019
Магистерская диссертация посвящена разработке системы авто­матизации бизнес-процессов на базе блокчейн и смарт-контрактов. Проведен обзор блокчейн платформ, их применения для решения бизнес-
openaire   +1 more source

Прогноз развития рынка смарт-контрактов на основе платформы Мастерчейн

2019
Объектом исследования является платформа «Мастерчейн». Целью выпускной квалификационной работы является анализ развития рынка смарт-контрактов на основе платформы «Мастерчейн». На основе а
openaire   +1 more source

Анализ безопасности смарт-контрактов ethereum с помощью алгоритма пчелиной колонии

2019
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.
openaire   +1 more source

Платформонезависимый фреймворк для разработки блокчейн-приложений на базе смарт-контрактов

2019
This paper describes the process of developing a library in the Kotlin programming language, designed to ensure uniform interaction with the smart contract layer of various implementations of distributed registries from applied business applications.
openaire   +1 more source

Разработка смарт-контракта для автоматизации лизинга автомобилей на основе блокчейн-Ñ‚ÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¹

2018
В данной работе отражено решение проблемы прозрачности, безопасности и удобства процесса лизинга автомобилей с использованием смарт-контракта.
openaire   +1 more source

Программная система для расчета затрат по соглашениям на выполнение работ с поддержкой смарт-контрактов

2018
Данная выпускная работа бакалавра посвящена разработке веб-приложения, предназначенного для фиксации соглашений В работе представлен анализ существующих решений, анализ популярных языков Р...
openaire   +1 more source

Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-ÐºÐ¾Ð½Ñ‚Ñ€Ð°ÐºÑ‚Ð°Ñ Ð±Ð»Ð¾ÐºÑ‡ÐµÐ¹Ð½Ð° Ethereum

2019
В работе предложено использованием символьного выполнения для автоматизированного обнаружения уязвимостей в смарт-контрактах. Его отличительной особенностью является эмуляция инструкций ...
openaire   +1 more source

Применение Ð½ÐµÐ¹Ñ€Ð¾Ð½Ð½Ñ‹Ñ ÑÐµÑ‚ÐµÐ¹ для обнаружения уязвимостей смарт-контрактов

Целью работы является оценка эффективности применения нейронных сетей для обнаружения уязвимостей смарт-контрактов. Предметом исследования является эффективность использования Ð³Ñ€Ð°Ñ„Ð¾Ð²Ñ‹Ñ ...
openaire   +1 more source