{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T03:47:24Z","timestamp":1769917644971,"version":"3.49.0"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology, Taiwan","doi-asserted-by":"publisher","award":["MOST 106-2633-E-002-001"],"award-info":[{"award-number":["MOST 106-2633-E-002-001"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology, Taiwan","doi-asserted-by":"publisher","award":["107-2636-E-002-005-"],"award-info":[{"award-number":["107-2636-E-002-005-"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006477","name":"National Taiwan University","doi-asserted-by":"publisher","award":["NTU-106R104045"],"award-info":[{"award-number":["NTU-106R104045"]}],"id":[{"id":"10.13039\/501100006477","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/tifs.2019.2899758","type":"journal-article","created":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T19:41:19Z","timestamp":1550259679000},"page":"2607-2622","source":"Crossref","is-referenced-by-count":47,"title":["SafeChain: Securing Trigger-Action Programming From Attack Chains"],"prefix":"10.1109","volume":"14","author":[{"given":"Kai-Hsiang","family":"Hsu","sequence":"first","affiliation":[]},{"given":"Yu-Hsi","family":"Chiang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9592-6911","authenticated-orcid":false,"given":"Hsu-Chun","family":"Hsiao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0184-9"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1085"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2016.7501688"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054989"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2993422.2993426"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993601"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3131365.3131369"},{"key":"ref35","first-page":"105","article-title":"From today’s augmented houses to tomorrow’s smart homes: New directions for home automation research","author":"mennicken","year":"2014","journal-title":"Proc ACM Int Joint Conf Pervas Ubiquitous Comput"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.026"},{"key":"ref10","year":"0","journal-title":"Java Home Page"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.14"},{"key":"ref11","year":"0","journal-title":"Learn How IFTTT Works—IFTTT"},{"key":"ref12","year":"0","journal-title":"Microsoft Flow"},{"key":"ref13","year":"0","journal-title":"New Study Details a Security Flaw With Philips Hue Smart Bulbs"},{"key":"ref14","year":"0","journal-title":"NVD—Home"},{"key":"ref15","year":"0","journal-title":"Remote Smart Car Hacking With Just a Phone"},{"key":"ref16","year":"0","journal-title":"Smart meters can be hacked to cut power bills"},{"key":"ref17","year":"0","journal-title":"SmartThings"},{"key":"ref18","year":"0","journal-title":"The Future is This One-Click Remote for Everything in Your Life"},{"key":"ref19","year":"2018","journal-title":"The best apps Better together -Zapier"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"ref4","year":"0","journal-title":"Eclipse Kura"},{"key":"ref27","first-page":"100","article-title":"Secure information flow by self-composition","author":"gilles","year":"2004","journal-title":"Proc 17th IEEE Comput Secur Found Workshop"},{"key":"ref3","year":"0","journal-title":"Cybersecurity Vulnerabilities Identified in St Jude Medical’s Implantable Cardiac Devices and Merlin home Transmitter FDA Safety Communication"},{"key":"ref6","year":"0","journal-title":"Gartner Says 8 4 Billion Connected ‘Things Will Be in Use in 2017 Up 31 Percent From 2016"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23051"},{"key":"ref5","year":"0","journal-title":"Fridge Sends Spam Emails As Attack Hits Smart Gadgets"},{"key":"ref8","year":"0","journal-title":"Hackers can hijack Wi-Fi Hello Barbie to spy on your children"},{"key":"ref7","year":"0","journal-title":"Getting lost near the Kremlin? Russia could be 'GPS spoofing'"},{"key":"ref2","year":"2018","journal-title":"Android Vulnerabilities"},{"key":"ref9","year":"0","journal-title":"Households Have 10 Connected Devices Now Will Rise to 50 by 2020 | ET CIO"},{"key":"ref1","year":"2018","journal-title":"SafeChain Dataset"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23282"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1069"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978388"},{"key":"ref48","author":"hsu","year":"2019","journal-title":"SAFECHAIN Securing trigger-action programming from attack chains (extended technical report)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966959"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834095"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3038912.3052709"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3191737"},{"key":"ref41","first-page":"15","article-title":"Blackiot: Iot botnet of high wattage devices can disrupt the power grid","author":"soltan","year":"2018","journal-title":"Proc 27th USENIX Conf Secur Symp"},{"key":"ref23","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858556"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23119"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_12"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/8734901\/08642934.pdf?arnumber=8642934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:59:48Z","timestamp":1657745988000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8642934\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":48,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tifs.2019.2899758","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}