Statistical model checking for blockchain-based applications

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 2nd International Scientific Conference on Advanced Technologies in Aerospace, Mechanical and Automation Engineering, MIST: Aerospace 2019

Год издания: 2020

Идентификатор DOI: 10.1088/1757-899X/734/1/012152

Аннотация: Blockchain-based applications have become increasingly popular in recent years. Security concerns are rising as blockchain users are becoming aware of how their private data is stored across this decentralized network of computing nodes. Formal verification allows developers to improve software quality and hence make it more secureПоказать полностью. The main hypothesis of this paper is that it is achievable to perform formal verification of a model that represents a smart contract responsible for user registration. In order to test the hypothesis, we have created a model of such a smart contract and checked it against a set of formal constraints. As a result of the conducted study, a conclusion can be made that the hypothesis is correct. © Published under licence by IOP Publishing Ltd.

Ссылки на полный текст

Издание

Журнал: IOP Conference Series: Materials Science and Engineering

Выпуск журнала: Vol. 734, Is. 1

ISSN журнала: 17578981

Издатель: Institute of Physics Publishing 012152

Авторы

  • Maksimov D.B. (Siberian Federal University, 79 Svobodny avenue, Krasnoyarsk, 660041, Russian Federation)
  • Yakimov I.A. (Siberian Federal University, 79 Svobodny avenue, Krasnoyarsk, 660041, Russian Federation)
  • Kuznetsov A.S. (Siberian Federal University, 79 Svobodny avenue, Krasnoyarsk, 660041, Russian Federation)

Вхождение в базы данных