{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:58:28Z","timestamp":1725447508888},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/isc2.2018.8656920","type":"proceedings-article","created":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T01:16:13Z","timestamp":1551748573000},"page":"1-7","source":"Crossref","is-referenced-by-count":3,"title":["Blockchain-inspired Framework for Runtime Verification of IoT Ecosystem Task Fulfillment"],"prefix":"10.1109","author":[{"given":"Tieming","family":"Geng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chin-Tser","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"ref11","article-title":"Enigma: Decentralized Computation Platform with Guaranteed Privacy","author":"zyskind","year":"2015","journal-title":"ArXiv"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-016-0456-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2638728.2638786"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ICACT.2017.7890132"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45364-9_26"},{"journal-title":"en wikipedia org","article-title":"Complex event processing","year":"2018","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2017.8000163"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2012.78"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref19"},{"journal-title":"Leveldb org","article-title":"LevelDB.org","year":"2018","key":"ref28"},{"key":"ref4","first-page":"1","article-title":"Deploying Edge Computing Nodes for Large-scale IoT: A Diversity Aware Approach","author":"zhao","year":"2018","journal-title":"IEEE Internet of Things Journal"},{"journal-title":"Golang org","article-title":"crypto - The Go Programming Language","year":"2018","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2813887"},{"journal-title":"distribut","article-title":"Two Blockchain-Based Marketing Tools of Tomorrow","year":"2018","key":"ref6"},{"key":"ref29","article-title":"Improving Web Sites Performance Using Edge Servers in Fog Computing Architecture","author":"zhu","year":"2013","journal-title":"Proc IEEE Seventh International Symposium on Service-oriented System Engineering"},{"journal-title":"Blockchainid","year":"2015","author":"swan","key":"ref5"},{"key":"ref8","article-title":"Three Ways Blockchain Could Transform Real Estate In 2018","author":"murphy","year":"2018","journal-title":"Forbes"},{"journal-title":"Blockchain Unleashed IBM Blockchain Blog","article-title":"Blockchain in Healthcare: IBM Blockchain Blog","year":"2018","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2017.8000163"},{"key":"ref9","article-title":"How Blockchain Can Transform Government","author":"ethics","year":"2018","journal-title":"Knowledge Wharton"},{"key":"ref1","article-title":"2017 Roundup Of Internet Of Things Forecasts,” Forbes","author":"columbus","year":"0","journal-title":"Forbes"},{"journal-title":"en wikipedia org","article-title":"Double-spending","year":"2018","key":"ref20"},{"journal-title":"Solidity readthedocs io","article-title":"Solidity — Solidity documentation","year":"2018","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2012.60"},{"journal-title":"en bitcoin it","article-title":"Proof of burn - Bitcoin Wiki","year":"2018","key":"ref24"},{"journal-title":"tools ietf org","article-title":"RFC 6455 - The WebSocket Protocol","year":"2018","key":"ref23"},{"journal-title":"Github","article-title":"openssl\/openssl","year":"2018","key":"ref26"},{"journal-title":"Golang org","article-title":"The Go Programming Language","year":"2018","key":"ref25"}],"event":{"name":"2018 IEEE International Smart Cities Conference (ISC2)","start":{"date-parts":[[2018,9,16]]},"location":"Kansas City, MO, USA","end":{"date-parts":[[2018,9,19]]}},"container-title":["2018 IEEE International Smart Cities Conference (ISC2)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8651074\/8656657\/08656920.pdf?arnumber=8656920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T06:22:41Z","timestamp":1643264561000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8656920\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/isc2.2018.8656920","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}