{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:16:44Z","timestamp":1743059804797,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030801250"},{"type":"electronic","value":"9783030801267"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-80126-7_62","type":"book-chapter","created":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T11:11:23Z","timestamp":1625569883000},"page":"881-890","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Blockchain Smart Contracts Static Analysis for Software Assurance"],"prefix":"10.1007","author":[{"given":"Suzanna","family":"Schmeelk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bryan","family":"Rosado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul E.","family":"Black","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,7]]},"reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Dingman, W., et al.: Classification of smart contract bugs using the NIST bugs framework. In: 17th IEEE\/ACIS International Conference on Software Engineering, Management and Applications (SERA 2019)","DOI":"10.1109\/SERA.2019.8886793"},{"key":"62_CR2","doi-asserted-by":"publisher","unstructured":"Xu, X., Pautasso, C., Zhu, L., Lu, Q., Weber, I.: A pattern collection for blockchain-based applications. In: Proceedings of the 23rd European Conference on Pattern Languages of Programs (EuroPLoP 2018). ACM, New York, NY, USA, Article 3, pp. 1\u201320 (2018). https:\/\/doi.org\/10.1145\/3282308.3282312","DOI":"10.1145\/3282308.3282312"},{"key":"62_CR3","doi-asserted-by":"publisher","unstructured":"Mense, A., Flatscher, M.: Security vulnerabilities in Ethereum smart contracts. In: Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services (iiWAS2018), Indrawan-Santiago, M., Pardede, E., Salvadori, I.L., Steinbauer, M., Khalil, I., Anderst-Kotsis, G. (eds.). ACM, New York, NY, USA, pp. 375\u2013380 (2018). https:\/\/doi.org\/10.1145\/3282373.3282419","DOI":"10.1145\/3282373.3282419"},{"key":"62_CR4","volume-title":"Smart Contracts: The Ultimate Guide to Blockchain Smart Contracts - Learn how to Use Smart Contracts for Cryptocurrency Exchange!","author":"T Parker","year":"2016","unstructured":"Parker, T.: Smart Contracts: The Ultimate Guide to Blockchain Smart Contracts - Learn how to Use Smart Contracts for Cryptocurrency Exchange! CreateSpace Independent Publishing Platform, USA (2016)"},{"key":"62_CR5","doi-asserted-by":"publisher","unstructured":"Juels, A., Kosba, A., Shi, E.: The ring of gyges: investigating the future of criminal smart contracts. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS 2016). ACM, New York, NY, USA, pp. 283\u2013295 (2016). https:\/\/doi.org\/10.1145\/2976749.2978362","DOI":"10.1145\/2976749.2978362"},{"key":"62_CR6","volume-title":"Smart Contracts: The Complete Step-By-Step Guide to Smart Contracts for Cryptocurrency Exchange","author":"T Parker","year":"2017","unstructured":"Parker, T.: Smart Contracts: The Complete Step-By-Step Guide to Smart Contracts for Cryptocurrency Exchange. CreateSpace Independent Publishing Platform, USA (2017)"},{"key":"62_CR7","doi-asserted-by":"publisher","unstructured":"van der Laan, B., Ersoy, O., Erkin, Z.: MUSCLE: authenticated external data retrieval from multiple sources for smart contracts. In: Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing (SAC 2019). ACM, New York, NY, USA, pp. 382\u2013391 (2019). https:\/\/doi.org\/10.1145\/3297280.3297320","DOI":"10.1145\/3297280.3297320"},{"issue":"4","key":"62_CR8","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"G Governatori","year":"2018","unstructured":"Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377\u2013409 (2018). https:\/\/doi.org\/10.1007\/s10506-018-9223-3","journal-title":"Artif. Intell. Law"},{"key":"62_CR9","doi-asserted-by":"publisher","unstructured":"Lee, S., Park, S., Park, Y.B.: Formal specification technique in smart contract verification. In: 2019 International Conference on Platform Technology and Service (PlatCon), Jeju, Korea (South), 2019, pp. 1\u20134. https:\/\/doi.org\/10.1109\/PlatCon.2019.8669419","DOI":"10.1109\/PlatCon.2019.8669419"},{"key":"62_CR10","doi-asserted-by":"publisher","unstructured":"Hao, X., Xiao-Hong, S., Dian, Y.: Multi-agent system for e-commerce security transaction with block chain technology. In: 2018 International Symposium in Sensing and Instrumentation in IoT Era (ISSI), Shanghai, 2018, pp. 1\u20136 (2018).https:\/\/doi.org\/10.1109\/ISSI.2018.8538253","DOI":"10.1109\/ISSI.2018.8538253"},{"key":"62_CR11","doi-asserted-by":"publisher","unstructured":"Naidu, V., Mudliar, K., Naik, A., Bhavathankar, P.P.: A fully observable supply chain management system using block chain and IOT. In: 2018 3rd International Conference for Convergence in Technology (I2CT), Pune, 2018, pp. 1\u20134 (2018). https:\/\/doi.org\/10.1109\/I2CT.2018.8529725","DOI":"10.1109\/I2CT.2018.8529725"},{"key":"62_CR12","doi-asserted-by":"crossref","unstructured":"Tang, H., Tong, N., Ouyang, J.: Medical images sharing system based on Blockchain and smart contract of credit scores. In: 2018 1st IEEE International Conference on Hot Information-Centric Networking (HotICN), Shenzhen, 2018, pp. 240\u2013241 (2018)","DOI":"10.1109\/HOTICN.2018.8605956"},{"key":"62_CR13","doi-asserted-by":"publisher","unstructured":"Cheng, J., Lee, N., Chi, C., Chen, Y.: Blockchain and smart contract for digital certificate. In: 2018 IEEE International Conference on Applied System Invention (ICASI), Chiba, 2018, pp. 1046\u20131051 (2018). https:\/\/doi.org\/10.1109\/ICASI.2018.8394455","DOI":"10.1109\/ICASI.2018.8394455"},{"key":"62_CR14","doi-asserted-by":"publisher","unstructured":"Afanasev, M.Y., Fedosov, Y.V., Krylova, A.A., Shorokhov, S.A.: An application of blockchain and smart contracts for machine-to-machine communications in cyber-physical production systems. In: 2018 IEEE Industrial Cyber-Physical Systems (ICPS), St. Petersburg, 2018, pp. 13\u201319 (2018).https:\/\/doi.org\/10.1109\/ICPHYS.2018.8387630","DOI":"10.1109\/ICPHYS.2018.8387630"},{"key":"62_CR15","doi-asserted-by":"publisher","unstructured":"Bartoletti, M., Zunino, R.: BitML: a calculus for bitcoin smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS 2018). ACM, New York, NY, USA, pp. 83\u2013100 (2018). https:\/\/doi.org\/10.1145\/3243734.3243795","DOI":"10.1145\/3243734.3243795"},{"key":"62_CR16","doi-asserted-by":"publisher","unstructured":"Schrans, F., Eisenbach, S., Drossopoulou, S.: Writing safe smart contracts in flint. In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming 2018 Companion). ACM, New York, NY, USA, pp. 218\u2013219 (2018). https:\/\/doi.org\/10.1145\/3191697.3213790","DOI":"10.1145\/3191697.3213790"},{"key":"62_CR17","doi-asserted-by":"publisher","unstructured":"Neisse, R., Steri, G., Nai-Fovino, I.: A blockchain-based approach for data accountability and provenance tracking. In: Proceedings of the 12th International Conference on Availability, Reliability and Security (ARES 2017). ACM, New York, NY, USA, Article 14, p. 10 (2017). https:\/\/doi.org\/10.1145\/3098954.3098958","DOI":"10.1145\/3098954.3098958"},{"key":"62_CR18","doi-asserted-by":"publisher","unstructured":"Kang, E.S., Pee, S.J., Song, J.G., Jang, J.W.: Blockchain based smart energy trading platform using smart contract. In: 2019 International Conference on Artificial Intelligence in Information and Communication (ICAIIC), Okinawa, Japan, 2019, pp. 322\u2013325 (2019). https:\/\/doi.org\/10.1109\/ICAIIC.2019.8668978","DOI":"10.1109\/ICAIIC.2019.8668978"},{"key":"62_CR19","doi-asserted-by":"publisher","unstructured":"Bojanova, I., Black, P.E., Yesha, Y., Wu, Y.: The Bugs Framework (BF): a structured approach to express bugs. In: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), Vienna, 2016, pp. 175\u2013182 (2016). https:\/\/doi.org\/10.1109\/QRS.2016.29","DOI":"10.1109\/QRS.2016.29"},{"key":"62_CR20","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1109\/ACCESS.2016.2566339","volume":"4","author":"K Christidis","year":"2016","unstructured":"Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access 4, 2292\u20132303 (2016). https:\/\/doi.org\/10.1109\/ACCESS.2016.2566339","journal-title":"IEEE Access"},{"key":"62_CR21","doi-asserted-by":"publisher","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS 2016). ACM, New York, NY, USA, pp. 254\u2013269 (2016). https:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"key":"62_CR22","doi-asserted-by":"publisher","unstructured":"Wohrer, M., Zdun, U.: Smart contracts: security patterns in the ethereum ecosystem and solidity. In: 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), Campobasso, 2018, pp. 2\u20138 (2018).https:\/\/doi.org\/10.1109\/IWBOSE.2018.8327565","DOI":"10.1109\/IWBOSE.2018.8327565"},{"key":"62_CR23","doi-asserted-by":"publisher","unstructured":"Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., Alexandrov, Y.: SmartCheck: static analysis of ethereum smart contracts. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB 2018). ACM, New York, NY, USA, pp. 9\u201316 (2018). https:\/\/doi.org\/10.1145\/3194113.3194115","DOI":"10.1145\/3194113.3194115"},{"key":"62_CR24","unstructured":"Henney, K.: Inside requirements (2017). https:\/\/www.slideshare.net\/Kevlin\/inside-requirements"},{"key":"62_CR25","doi-asserted-by":"publisher","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks o n ethereum smart contracts sok. In: P roceedings of the 6th International Conference on Principles of Security and Trust \u2013 vol. 10204, New York, NY, USA: SpringerSpringer-Verlag New York, Inc., 2017, pp. 164\u2013186, ISBN: 978 978-3-66 2-5445454454-9 (2017). https:\/\/doi.org\/10.1007\/978978-36623662544554455-68","DOI":"10.1007\/978978-36623662544554455-68"},{"key":"62_CR26","unstructured":"Dika, A.: Ethereum smart contracts: Security vulnerabilities and security tools tools. Master Thesis, Norwegian University of Science and Technology (2017). https:\/\/brage.bibsys.no\/xmlui\/bitstream\/handle\/11250\/2479191\/18400_FULLTEXT. Accessed 27 February 2018"},{"key":"62_CR27","unstructured":"Solidity: Introduction to Smart Contracts (2020). https:\/\/solidity.readthedocs.io\/en\/v0.6.2\/introduction-to-smart-contracts.html"},{"key":"62_CR28","doi-asserted-by":"crossref","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: 2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), Montreal, QC, Canada, 2019, pp. 8\u201315 (2019)","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"62_CR29","unstructured":"Slither: GitHub: Static Analyzer for Solidity (2020). https:\/\/github.com\/crytic\/slither"},{"key":"62_CR30","doi-asserted-by":"publisher","unstructured":"Lindman, J., et al.: \u201cThe uncertain promise of blockchain for government\u201d. OECD Working Papers on Public Governance, No. 43, OECD Publishing, Paris (2020). https:\/\/doi.org\/10.1787\/d031cd67-en","DOI":"10.1787\/d031cd67-en"},{"key":"62_CR31","doi-asserted-by":"publisher","unstructured":"Sayeed, S., Marco-Gisbert, H., Caira, T.: Smart contract: attacks and protections. IEEE Access 8, 24416\u201324427 (2020).https:\/\/doi.org\/10.1109\/ACCESS.2020.2970495","DOI":"10.1109\/ACCESS.2020.2970495"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-80126-7_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T11:51:10Z","timestamp":1625572270000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-80126-7_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030801250","9783030801267"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-80126-7_62","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"7 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}