{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:11:18Z","timestamp":1772039478742,"version":"3.50.1"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202387"],"award-info":[{"award-number":["62202387"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100021171","name":"Basic and Applied Basic Research Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2021A1515110279"],"award-info":[{"award-number":["2021A1515110279"]}],"id":[{"id":"10.13039\/501100021171","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100017596","name":"Natural Science Basic Research Program of Shaanxi","doi-asserted-by":"publisher","award":["2022JQ-611"],"award-info":[{"award-number":["2022JQ-611"]}],"id":[{"id":"10.13039\/501100017596","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["D5000210588"],"award-info":[{"award-number":["D5000210588"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Jiangsu Provincial Double\u2013Innovation Doctor Program","award":["JSSCBS20220949"],"award-info":[{"award-number":["JSSCBS20220949"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/tifs.2022.3214084","type":"journal-article","created":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T19:38:19Z","timestamp":1665603499000},"page":"3773-3788","source":"Crossref","is-referenced-by-count":21,"title":["TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0257-5081","authenticated-orcid":false,"given":"Yinbo","family":"Yu","sequence":"first","affiliation":[{"name":"National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology, School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4273-8866","authenticated-orcid":false,"given":"Jiajia","family":"Liu","sequence":"additional","affiliation":[{"name":"National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology, School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3333501"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345662"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00043"},{"key":"ref4","volume-title":"SmartThings","year":"2021"},{"key":"ref5","volume-title":"IFTTT","year":"2021"},{"key":"ref6","volume-title":"openHab","year":"2021"},{"key":"ref7","volume-title":"Apple HomeKit","year":"2021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.31142\/ijtsrd4674"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300618"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243865"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397347"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243841"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2899758"},{"key":"ref16","first-page":"397","article-title":"6thSense: A context-aware sensor-based attack detector for smart devices","volume-title":"Proc. USENIX Secur.","author":"Sikder"},{"key":"ref17","first-page":"4223","article-title":"HAWatcher: Semantics-aware anomaly detection for appified smart homes","volume-title":"Proc. USENIX Secur.","author":"Fu"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23326"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00062"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281440"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3131365.3131369"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357178"},{"key":"ref23","volume-title":"IoTBench Test Suite","author":"Celik","year":"2021"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9_8"},{"key":"ref26","first-page":"257","article-title":"Liveness verification of stateful network functions","volume-title":"Proc. NSDI","author":"Yousefi"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31277-0_4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23119"},{"key":"ref29","first-page":"147","article-title":"Soteria: Automated IoT safety and security analysis","volume-title":"Proc. USENIX ATC","author":"Celik"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375615"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-8142-0_11"},{"key":"ref32","volume-title":"Device Capabilities Reference","year":"2021"},{"key":"ref33","volume-title":"Selenium Automates Browsers. That\u2019s It","year":"2021"},{"key":"ref34","volume-title":"SmartThings Control Page","year":"2021"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref36","first-page":"1687","article-title":"Sensitive information tracking in commodity IoT","volume-title":"Proc. USENIX Secur.","author":"Celik"},{"key":"ref37","volume-title":"SmartThings Public Repository","year":"2021"},{"key":"ref38","article-title":"Soteria: Automated IoT safety and security analysis","author":"Celik","year":"2018","journal-title":"arXiv:1805.08876"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354254"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3428026"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00013"},{"key":"ref43","first-page":"1169","article-title":"All things considered: An analysis of IoT devices on home networks","volume-title":"Proc. USENIX Secur.","author":"Kumar"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.14"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00041"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_5"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23051"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10206\/9652463\/09916292.pdf?arnumber=9916292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T02:21:38Z","timestamp":1706062898000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9916292\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/tifs.2022.3214084","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}