{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T07:33:03Z","timestamp":1745998383200,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030630942"},{"type":"electronic","value":"9783030630959"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63095-9_25","type":"book-chapter","created":{"date-parts":[[2020,12,11]],"date-time":"2020-12-11T08:07:25Z","timestamp":1607674045000},"page":"391-402","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain"],"prefix":"10.1007","author":[{"given":"Mohammad Saidur","family":"Rahman","sequence":"first","affiliation":[]},{"given":"Ibrahim","family":"Khalil","sequence":"additional","affiliation":[]},{"given":"Abdelaziz","family":"Bouras","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,12]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ahmed, S., Rahman, M.S., Rahaman, M.S., et al.: A blockchain-based architecture for integrated smart parking systems. In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), pp. 177\u2013182. IEEE (2019)","key":"25_CR1","DOI":"10.1109\/PERCOMW.2019.8730772"},{"doi-asserted-by":"crossref","unstructured":"Bhattacharjee, A., Badsha, S., Shahid, A., Livani, H., Sengupta, S.: Block-phasor: a decentralized blockchain framework to enhance security of synchrophasor. In: IEEE Kansas Power and Energy Conference, Manhattan, Kansas, USA (2020)","key":"25_CR2","DOI":"10.1109\/KPEC47870.2020.9167676"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"100198","DOI":"10.1016\/j.iot.2020.100198","volume":"11","author":"S Bistarellia","year":"2020","unstructured":"Bistarellia, S., Mazzanteb, G., Michelettib, M., Mostardab, L., Sestilib, D., Tiezzib, F.: Ethereum smart contracts: analysis and statistics of their source code and opcodes. Internet Things 11, 100198 (2020)","journal-title":"Internet Things"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MIS.2020.2977594","volume":"35","author":"W Duo","year":"2020","unstructured":"Duo, W., Xin, H., Xiaofeng, M.: Formal analysis of smart contract based on colored petri nets. IEEE Intell. Syst. 35, 19\u201330 (2020)","journal-title":"IEEE Intell. Syst."},{"issue":"3","key":"25_CR5","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1109\/TSMC.2017.2768586","volume":"50","author":"R Entezari-Maleki","year":"2020","unstructured":"Entezari-Maleki, R., Etesami, S.E., Ghorbani, N., Niaki, A.A., Sousa, L., Movaghar, A.: Modeling and evaluation of service composition in commercial multiclouds using timed colored petri nets. IEEE Trans. Syst. Man Cyber. Syst. 50(3), 947\u2013961 (2020)","journal-title":"IEEE Trans. Syst. Man Cyber. Syst."},{"key":"25_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2020.07.060","author":"S Kudva","year":"2020","unstructured":"Kudva, S., Badsha, S., Sengupta, S., Khalil, I., Zomaya, A.: Towards secure and practical consensus for blockchain based vanet. Inf. Sci. (2020). https:\/\/doi.org\/10.1016\/j.ins.2020.07.060","journal-title":"Inf. Sci."},{"doi-asserted-by":"crossref","unstructured":"Kudva, S., Norderhaug, R., Badsha, S., Sengupta, S., Kayes, A.: Pebers: practical Ethereum blockchain based efficient ride hailing service. In: IEEE International Conference on Informatics, IoT and Enabling Technologies (2020)","key":"25_CR7","DOI":"10.1109\/ICIoT48696.2020.9089473"},{"doi-asserted-by":"crossref","unstructured":"Liu, Z., Liu, J.: Formal verification of blockchain smart contract based on colored petri net models. In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 555\u2013560. IEEE (2019)","key":"25_CR8","DOI":"10.1109\/COMPSAC.2019.10265"},{"doi-asserted-by":"crossref","unstructured":"Maskey, S.R., Badsha, S., Sengupta, S., Khalil, I.: Bits: blockchain based intelligent transportation system with outlier detection for smart city (2020)","key":"25_CR9","DOI":"10.1109\/PerComWorkshops48775.2020.9156237"},{"doi-asserted-by":"crossref","unstructured":"Rahman, M.S., Khalil, I., Arachchige, P.C.M., Bouras, A., Yi, X.: A novel architecture for tamper proof electronic health record management system using blockchain wrapper. In: Proceedings of the 2019 ACM International Symposium on Blockchain and Secure Critical Infrastructure, pp. 97\u2013105 (2019)","key":"25_CR10","DOI":"10.1145\/3327960.3332392"},{"unstructured":"Ream, J., Chu, Y., Schatsky, D.: Upgrading blockchains: smart contract use cases in industry. Retrieved December 12, 2017 (2016)","key":"25_CR11"},{"doi-asserted-by":"crossref","unstructured":"Scholl, H.J., Pomeshchikov, R., Rodr\u00edguez Bol\u00edvar, M.P.: Early regulations of distributed ledger technology\/blockchain providers: a comparative case study. In: Proceedings of the 53rd Hawaii International Conference on System Sciences (2020)","key":"25_CR12","DOI":"10.24251\/HICSS.2020.218"},{"key":"25_CR13","volume-title":"Blockchain: Blueprint for a New Economy","author":"M Swan","year":"2015","unstructured":"Swan, M.: Blockchain: Blueprint for a New Economy. O\u2019Reilly Media Inc, Sebastopol (2015)"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/TASE.2009.2034016","volume":"7","author":"W Tan","year":"2009","unstructured":"Tan, W., Fan, Y., Zhou, M., Tian, Z.: Data-driven service composition in enterprise SOA solutions: a petri net approach. IEEE Trans. Autom. Sci. Eng. 7(3), 686\u2013694 (2009)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"unstructured":"Tian, F.: An agri-food supply chain traceability system for china based on RFID & blockchain technology. In: 2016 13th International Conference on Service Systems and Service Management (ICSSSM), pp. 1\u20136. IEEE (2016)","key":"25_CR15"},{"doi-asserted-by":"crossref","unstructured":"Vakilinia, I., Badsha, S., Arslan, E., Sengupta, S.: Pooling approach for task allocation in the blockchain based decentralized storage network. In: 15th International Conference on Network and Service Management, IEEE (2019)","key":"25_CR16","DOI":"10.23919\/CNSM46954.2019.9012719"},{"issue":"10","key":"25_CR17","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/s10916-016-0574-6","volume":"40","author":"X Yue","year":"2016","unstructured":"Yue, X., Wang, H., Jin, D., Li, M., Jiang, W.: Healthcare data gateways: found healthcare intelligence on blockchain with novel privacy risk control. J. Med. Syst. 40(10), 218 (2016). https:\/\/doi.org\/10.1007\/s10916-016-0574-6","journal-title":"J. Med. Syst."},{"doi-asserted-by":"crossref","unstructured":"Zhang, L., Yao, S.: Using the c-net for formalizing workflow patterns. In: 2010 Second International Conference on Information Technology and Computer Science, pp. 102\u2013105 (2010)","key":"25_CR18","DOI":"10.1109\/ITCS.2010.31"},{"key":"25_CR19","series-title":"Blockchain Technologies","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-981-15-1137-0_4","volume-title":"Blockchain Technology for Industry 4.0","author":"N Zupan","year":"2020","unstructured":"Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, R., Alberti, A.M., Singh, M. (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73\u201398. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-15-1137-0_4"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Security and Privacy in Communication Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63095-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T04:43:36Z","timestamp":1619239416000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63095-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030630942","9783030630959"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63095-9_25","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"12 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SecureComm","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Security and Privacy in Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Washington, WA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"securecomm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/securecomm.eai-conferences.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Confy","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"120","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,86","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}