Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: ИНТЕЛЛЕКТУАЛЬНЫЙ ПОТЕНЦИАЛ ОБЩЕСТВА КАК ДРАЙВЕР ИННОВАЦИОННОГО РАЗВИТИЯ НАУКИ; Тюмень; Тюмень
Год издания: 2019
Ключевые слова: Среда распределенных реестров, умные контракты, формальная верификация
Аннотация: Программное обеспечение, которое работает в среде распределенных реестров становится все более распространенным. В связи с ростом важности данных, хранимых в приложениях подобного типа, на первое место при их разработке выходит безопасность данных приложений. Одним из способов повышения безопасности приложений является формальная вПоказать полностьюерификация. В ходе данного исследования была выдвинута гипотеза, о том, что возможно построить и формально исследовать модель умного контракта, который выполняет регистрацию новых пользователей в системе. В ходе проверки гипотезы была разработанная модель, формализованы ограничения для модели и проведено ее исследование.
Журнал: ИНТЕЛЛЕКТУАЛЬНЫЙ ПОТЕНЦИАЛ ОБЩЕСТВА КАК ДРАЙВЕР ИННОВАЦИОННОГО РАЗВИТИЯ НАУКИ
Выпуск журнала: Часть 1
Номера страниц: 57-63
Издатель: Общество с ограниченной ответственностью "ОМЕГА САЙНС"