Results 21 to 30 of about 53,228 (281)
State-of-the-art survey of smart contract verification based on formal methods
网络与信息安全学报, 2022 Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a ...
Wenbo ZHANG +4 more
doaj +3 more sources
Smart Contract Vulnerability Detection Based on Abstract Syntax Tree Pruning [PDF]
Jisuanji kexue, 2023 With the development of blockchain technology,smart contracts have been widely used in various fields,and Ethereum has become the largest smart contract platform.At the same time,the frequent smart contract vulnerabilities have caused huge economic ...
LIU Zerun, ZHENG Hong, QIU Junjie
doaj +1 more source
SMART CONTRACTS: SECURITY ISSUES AND FURTHER DEVELOPMENT IN BRAZIL
International Journal of Law in Changing World, 2022 This study aims to describe how smart contracts are made and the legal certainty of using them on business contracts. For this, the study concepted the smart contract, as well its characteristics and the difference between smart contract and e-contract.
Luane Silva Nascimento +1 more
doaj +1 more source
Secure Modular Smart Contract Platform for Multi-Tenant 5G Applications
IEEE Access, 2020 Trusted decentralized applications based on distributed ledger technologies provide many potential opportunities to 5G applications and verticals, as well as in fifth generation mobile network (5G) enabling technologies, systems, and services. Apart from
Matevz Pustisek, Jan Turk, Andrej Kos
doaj +1 more source
MDA-Based Approach for Blockchain Smart Contract Development
Applied Sciences, 2022 Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process.
Mantas Jurgelaitis +4 more
doaj +1 more source
Survey of Vulnerability Detection Tools for Smart Contracts [PDF]
Jisuanji kexue, 2021 Smart contract is an important component of blockchain platform to realize transactions,which provides an effective solution to the trust problem between multi-party transactions.Smart contracts not only manage high value tokens but also have the ...
TU Liang-qiong, SUN Xiao-bing, ZHANG Jia-le, CAI Jie, LI Bin, BO Li-li
doaj +1 more source
Правоприменение, 2022 The subject and the aim of the study. The article analyzes the approach to smart contract technology, which is reflected in the scientific literature and legislation of Russia and foreign countries, formulates the advantages and disadvantages of a smart ...
S. S. Kuznetsova
doaj +1 more source
Foreign civil doctrine of smart contracts [PDF]
SHS Web of Conferences, 2022 The article is devoted to a topic of great scientific and practical importance in the modern context of creating a digital economy ecosystemб to the smart contract phenomenon.
Zakharkina Anna, Kuznetsova Olga
doaj +1 more source
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
IEEE Access, 2022 For the development of blockchain smart contracts, a structured approach based on the principles of the Model Driven Architecture can be beneficial and facilitate the implementation of smart contracts.
Mantas Jurgelaitis +2 more
doaj +1 more source
Energies, 2022 Blockchain technology is currently evolving rapidly, and smart contracts are the hallmark of the second generation of blockchains. Currently, smart contracts are gradually being used in power system networks to build a decentralized energy system ...
Ran Guo +4 more
doaj +1 more source