{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:12Z","timestamp":1750220052399,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,12,9]],"date-time":"2022-12-09T00:00:00Z","timestamp":1670544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,12,9]]},"DOI":"10.1145\/3579895.3579943","type":"proceedings-article","created":{"date-parts":[[2023,4,4]],"date-time":"2023-04-04T17:20:44Z","timestamp":1680628844000},"page":"321-327","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Smart Contract Based on Timed Colored Petri Net"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4452-5787","authenticated-orcid":false,"given":"Yaqiong","family":"He","sequence":"first","affiliation":[{"name":"Zhengzhou University of Light Industry, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9053-0480","authenticated-orcid":false,"given":"Hanjie","family":"Dong","sequence":"additional","affiliation":[{"name":"Zhengzhou University of Light Industry, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6648-9230","authenticated-orcid":false,"given":"Runliu","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhengzhou University of Light Industry, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5339-1194","authenticated-orcid":false,"given":"Huaiguang","family":"Wu","sequence":"additional","affiliation":[{"name":"Zhengzhou University of Light Industry, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Formalizing and securing relationships on public networks[J]. First monday","author":"Szabo N.","year":"1997","unstructured":"Szabo N. Formalizing and securing relationships on public networks[J]. First monday , 1997 . Szabo N. Formalizing and securing relationships on public networks[J]. First monday, 1997."},{"issue":"2","key":"e_1_3_2_1_2_1","first-page":"153","article-title":"On blockchain-and smart contract-based financial markets[J]","volume":"103","author":"Sch\u00e4r F.","year":"2021","unstructured":"Sch\u00e4r F. Decentralized finance : On blockchain-and smart contract-based financial markets[J] . FRB of St. Louis Review , 103 ( 2 ) ( 2021 ) 153 - 174 . Sch\u00e4r F. Decentralized finance: On blockchain-and smart contract-based financial markets[J]. FRB of St. Louis Review, 103(2) (2021)153-174.","journal-title":"FRB of St. Louis Review"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11356-021-13094-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2959771"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/1774\/1\/012055"},{"key":"e_1_3_2_1_6_1","volume-title":"Automated Decentralized IoT Based Blockchain Using Ethereum Smart Contract for Healthcare[M]\/\/Enhanced Telemedicine and e-Health","author":"Al-Joboury I M","year":"2021","unstructured":"Al-Joboury I M , Al-Hemiary E H . Automated Decentralized IoT Based Blockchain Using Ethereum Smart Contract for Healthcare[M]\/\/Enhanced Telemedicine and e-Health . Springer , Cham , ( 2021 ) 179-198. Al-Joboury I M, Al-Hemiary E H. Automated Decentralized IoT Based Blockchain Using Ethereum Smart Contract for Healthcare[M]\/\/Enhanced Telemedicine and e-Health. Springer, Cham, (2021) 179-198."},{"key":"e_1_3_2_1_7_1","volume-title":"Healthcare blockchain system using smart contracts for secure automated remote patient monitoring[J]. Journal of medical systems","author":"Griggs K N","year":"2018","unstructured":"Griggs K N , Ossipova O , Kohlios C P , Healthcare blockchain system using smart contracts for secure automated remote patient monitoring[J]. Journal of medical systems , 2018 , 42(7): 1-7. Griggs K N, Ossipova O, Kohlios C P, Healthcare blockchain system using smart contracts for secure automated remote patient monitoring[J]. Journal of medical systems, 2018, 42(7): 1-7."},{"volume-title":"Finding the greedy, prodigal, and suicidal contracts at scale[C]\/\/Proceedings of the 34th annual computer security applications conference. (2018) 653-663","author":"Nikoli\u0107 I","key":"e_1_3_2_1_8_1","unstructured":"Nikoli\u0107 I , Kolluri A , Sergey I , Finding the greedy, prodigal, and suicidal contracts at scale[C]\/\/Proceedings of the 34th annual computer security applications conference. (2018) 653-663 . Nikoli\u0107 I, Kolluri A, Sergey I, Finding the greedy, prodigal, and suicidal contracts at scale[C]\/\/Proceedings of the 34th annual computer security applications conference. (2018) 653-663."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Mehar M I Shier C L Giambattista A Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack[J]. Journal of Cases on Information Technology (JCIT) 21(1) (2019) 19-32.  Mehar M I Shier C L Giambattista A Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack[J]. Journal of Cases on Information Technology (JCIT) 21(1) (2019) 19-32.","DOI":"10.4018\/JCIT.2019010102"},{"key":"e_1_3_2_1_10_1","volume-title":"A survey of attacks on ethereum smart contracts (sok)[C]\/\/International conference on principles of security and trust","author":"Atzei N","year":"2017","unstructured":"Atzei N , Bartoletti M , Cimoli T. A survey of attacks on ethereum smart contracts (sok)[C]\/\/International conference on principles of security and trust . Springer , Berlin, Heidelberg , ( 2017 ) 164-186. Atzei N, Bartoletti M, Cimoli T. A survey of attacks on ethereum smart contracts (sok)[C]\/\/International conference on principles of security and trust. Springer, Berlin, Heidelberg, (2017) 164-186."},{"key":"e_1_3_2_1_11_1","volume-title":"Security evaluation of smart contract-based on-chain ethereum wallets[C]\/\/International Conference on Network and System Security","author":"Praitheeshan P","year":"2020","unstructured":"Praitheeshan P , Pan L , Doss R. Security evaluation of smart contract-based on-chain ethereum wallets[C]\/\/International Conference on Network and System Security . Springer , Cham , ( 2020 ) 22-41. Praitheeshan P, Pan L, Doss R. Security evaluation of smart contract-based on-chain ethereum wallets[C]\/\/International Conference on Network and System Security. Springer, Cham, (2020) 22-41."},{"issue":"11","key":"e_1_3_2_1_12_1","first-page":"2452","article-title":"Survey of smart contract technology and application based on blockchain[J]","volume":"55","author":"Haiwu H","year":"2018","unstructured":"Haiwu H , An Y , Zehua C . Survey of smart contract technology and application based on blockchain[J] . Journal of Computer Research and Development , 55 ( 11 ) ( 2018 ) 2452 . Haiwu H, An Y, Zehua C. Survey of smart contract technology and application based on blockchain[J]. Journal of Computer Research and Development, 55(11) (2018) 2452.","journal-title":"Journal of Computer Research and Development"},{"key":"e_1_3_2_1_13_1","first-page":"980","volume-title":"Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). IEEE","author":"Nehai Z","year":"2018","unstructured":"Nehai Z , Piriou P Y , Daumas F. Model-checking of smart contracts[C]\/\/2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber , Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). IEEE , ( 2018 ) 980 - 987 . Nehai Z, Piriou P Y, Daumas F. Model-checking of smart contracts[C]\/\/2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). IEEE, (2018) 980-987."},{"key":"e_1_3_2_1_14_1","volume-title":"VeriSolid: Correct-by-design smart contracts for Ethereum[C]\/\/International Conference on Financial Cryptography and Data Security","author":"Mavridou A","year":"2019","unstructured":"Mavridou A , Laszka A , Stachtiari E , VeriSolid: Correct-by-design smart contracts for Ethereum[C]\/\/International Conference on Financial Cryptography and Data Security . Springer , Cham , ( 2019 ) 446-465. Mavridou A, Laszka A, Stachtiari E, VeriSolid: Correct-by-design smart contracts for Ethereum[C]\/\/International Conference on Financial Cryptography and Data Security. Springer, Cham, (2019) 446-465."},{"key":"e_1_3_2_1_15_1","volume-title":"Formal verification of infinite-state BIP models[C]\/\/International Symposium on Automated Technology for Verification and Analysis","author":"Bliudze S","year":"2015","unstructured":"Bliudze S , Cimatti A , Jaber M , Formal verification of infinite-state BIP models[C]\/\/International Symposium on Automated Technology for Verification and Analysis . Springer , Cham , ( 2015 ) 326-343. Bliudze S, Cimatti A, Jaber M, Formal verification of infinite-state BIP models[C]\/\/International Symposium on Automated Technology for Verification and Analysis. Springer, Cham, (2015) 326-343."},{"key":"e_1_3_2_1_16_1","volume-title":"analyzing safety of smart contracts[C]\/\/Ndss. 1-12","author":"Kalra S","year":"2018","unstructured":"Kalra S , Goel S , Dhawan M , Zeus : analyzing safety of smart contracts[C]\/\/Ndss. 1-12 ( 2018 ). Kalra S, Goel S, Dhawan M, Zeus: analyzing safety of smart contracts[C]\/\/Ndss. 1-12 (2018)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_18_1","first-page":"259","volume-title":"IEEE","author":"Jiang B","year":"2018","unstructured":"Jiang B , Liu Y , Chan W K . Contractfuzzer : Fuzzing smart contracts for vulnerability detection[C]\/\/2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE) . IEEE , ( 2018 ) 259 - 269 . Jiang B, Liu Y, Chan W K. Contractfuzzer: Fuzzing smart contracts for vulnerability detection[C]\/\/2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, (2018) 259-269."},{"volume-title":"Formal modeling and verification of smart contracts[C]\/\/Proceedings of the 2018 7th international conference on software and computer applications. (2018) 322-326","author":"Bai X","key":"e_1_3_2_1_19_1","unstructured":"Bai X , Cheng Z , Duan Z , Formal modeling and verification of smart contracts[C]\/\/Proceedings of the 2018 7th international conference on software and computer applications. (2018) 322-326 . Bai X, Cheng Z, Duan Z, Formal modeling and verification of smart contracts[C]\/\/Proceedings of the 2018 7th international conference on software and computer applications. (2018) 322-326."},{"key":"e_1_3_2_1_20_1","volume-title":"Design\/CPN ASK-CTL Manual[J]","author":"Manual A.","year":"1996","unstructured":"Manual A. Design\/CPN ASK-CTL Manual[J] . 1996 . Manual A. Design\/CPN ASK-CTL Manual[J]. 1996."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"ICNCC 2022: 2022 The 11th International Conference on Networks, Communication and Computing","acronym":"ICNCC 2022","location":"Beijing China"},"container-title":["Proceedings of the 2022 11th International Conference on Networks, Communication and Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579895.3579943","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579895.3579943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:18Z","timestamp":1750183698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579895.3579943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,9]]},"references-count":21,"alternative-id":["10.1145\/3579895.3579943","10.1145\/3579895"],"URL":"https:\/\/doi.org\/10.1145\/3579895.3579943","relation":{},"subject":[],"published":{"date-parts":[[2022,12,9]]},"assertion":[{"value":"2023-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}