共 9 条
- [1] Andersen M. P., 2017, P BUILDSYS NOV 8 9 D
- [2] Azeez Afkham, 2010, 2010 IEEE 3rd International Conference on Cloud Computing (CLOUD 2010), P458, DOI 10.1109/CLOUD.2010.50
- [3] Formal Verification of Smart Contracts Short Paper [J]. PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16), 2016, : 91 - 96
- [4] Making Smart Contracts Smarter [J]. CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 254 - 269
- [5] Mayar H., ECDSA SECURITY BITCO
- [6] Nakamoto S, 2009, BITCOIN PEER TO PEER
- [7] Ongaro D., 2014, PROC USENIX ANN TECH, P305
- [8] Ramachandran L., 2012, SERVICE ORIENTED COM, P1
- [9] Wood G., 2014, ETHEREUM PROJECT YEL, V151, P1, DOI DOI 10.1017/CBO9781107415324.004