共 14 条
[1]
Formal Modeling and Verification of Smart Contracts
[J].
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018),
2018,
:322-326
[2]
Cai W., 2019, CN Patent, Patent No. [CN110400217A[P], 110400217]
[4]
Hu K., 2016, Inf. Secur. Res, V2, P1080, DOI [10.3969/j.issn.2096-1057.2016.12.003, DOI 10.3969/J.ISSN.2096-1057.2016.12.003]
[5]
Luo X., 2020, Masters Thesis, DOI [10.27005/d.cnki.gdzku.2020.001464, DOI 10.27005/D.CNKI.GDZKU.2020.001464]
[6]
Mavridou A., 2017, Financial Cryptography and Data Security
[7]
Security and Privacy Smart Contract Architecture for Energy Trading based on Blockchains
[J].
2021 29TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE),
2021,
:596-600
[8]
[邵奇峰 Shao Qifeng], 2018, [计算机学报, Chinese Journal of Computers], V41, P969
[9]
Shi W., 2018, Masters Thesis
[10]
A Trading Model Based on Legal Contracts Using Smart Contract Templates
[J].
BLOCKCHAIN AND TRUSTWORTHY SYSTEMS, BLOCKSYS 2019,
2020, 1156
:446-460