Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 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