{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T13:52:54Z","timestamp":1779198774364,"version":"3.51.4"},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T00:00:00Z","timestamp":1707955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T00:00:00Z","timestamp":1707955200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T00:00:00Z","timestamp":1707955200000},"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":["62066015"],"award-info":[{"award-number":["62066015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2024,2,15]]},"DOI":"10.1109\/jiot.2023.3314764","type":"journal-article","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:41:26Z","timestamp":1694626886000},"page":"6521-6536","source":"Crossref","is-referenced-by-count":18,"title":["Secure and Real-Time Traceable Data Sharing in Cloud-Assisted IoT"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8795-0847","authenticated-orcid":false,"given":"Jintian","family":"Lu","sequence":"first","affiliation":[{"name":"College of Computer Science and Engineering, Jishou University, Jishou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1474-4324","authenticated-orcid":false,"given":"Weilong","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1884-5340","authenticated-orcid":false,"given":"Jiakun","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9937-5774","authenticated-orcid":false,"given":"Ruizhi","family":"Xiao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9036-2723","authenticated-orcid":false,"given":"Bolin","family":"Liao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Engineering, Jishou University, Jishou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3420023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3188740"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.001.1900433"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2999350"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2022.3146197"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2015.2475723"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2923068"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2989476"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2751640"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2986303"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2021.3076759"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72738-5_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2018.111122026"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2014.2346023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44647-8_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2738601"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-020-03202-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2417544"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0052252"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2022.3175244"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-018-9781-0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2774439"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2941638"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3026995"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266669"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1998.674834"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2489211"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2991079.2991109"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.102678"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/JBHI.2021.3100871"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.138"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2379646"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-013-1055-z"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12475-9_15"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2414456.2414507"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.02.024"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2917186"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-019-06450-7"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2875491.2875498"},{"key":"ref41","first-page":"216","article-title":"Privacy-aware ORLA based access control model in the cloud","volume-title":"Proc. 32nd Int. Conf. Softw. Eng. Knowl. Eng. (SEKE)","author":"Shao"},{"key":"ref42","first-page":"293","article-title":"Securing distributed systems with information flow control","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Zeldovich"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2018396.2018419"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2020.102454"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2020.101786"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0019-9"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294293"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24046"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243776"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4729"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2561909"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18088-5_22"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_3"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2646639"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2446458"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2493565"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4380"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.06.017"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2021.102224"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3132643"},{"key":"ref64","first-page":"457","article-title":"Bounded model checking","volume-title":"Handbook of Satisfiability","volume":"185","author":"Biere","year":"2009"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"ref66","first-page":"1","article-title":"The SMT-LIB standard: Version 2.0","volume-title":"Proc. 8th Int. Workshop Satisfiability Modulo Theor. (SMT)","volume":"13","author":"Barrett"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/358790.358797"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3063806"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2022.3201551"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2919517"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2969722"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/10419857\/10250898.pdf?arnumber=10250898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T04:37:22Z","timestamp":1725165442000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10250898\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,15]]},"references-count":71,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2023.3314764","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"value":"2327-4662","type":"electronic"},{"value":"2372-2541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2,15]]}}}