{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:45:06Z","timestamp":1774874706243,"version":"3.50.1"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62472388"],"award-info":[{"award-number":["62472388"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132014"],"award-info":[{"award-number":["62132014"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002328"],"award-info":[{"award-number":["62002328"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhejiang Provincial Key Research and Development Program of China","award":["2022C01045"],"award-info":[{"award-number":["2022C01045"]}]},{"name":"Fundamental Research Funds of Zhejiang Sci-Tech University","award":["24232123-Y"],"award-info":[{"award-number":["24232123-Y"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput. Soc. Syst."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/tcss.2024.3461812","type":"journal-article","created":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T13:55:53Z","timestamp":1728482153000},"page":"2108-2119","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Information Leakage Against Chinese Wall Policy Based on the Unfolding Technique of Colored Petri Nets"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0748-5990","authenticated-orcid":false,"given":"Hanqian","family":"Tu","sequence":"first","affiliation":[{"name":"Department of Computer Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3757-9779","authenticated-orcid":false,"given":"Dongming","family":"Xiang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9671-7836","authenticated-orcid":false,"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7523-4827","authenticated-orcid":false,"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Key Laboratory of Embedded System and Service Computing, Ministry of Education, and Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2013.44"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013891"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2000.884701"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2006.123"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.43"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/501983.501991"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2010.41"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/APNOMS.2011.6076992"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETNCC.2011.6255932"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3195869"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.04.090"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2341933"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISISE.2012.45"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2014.6883422"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.09.027"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE53228.2021.00024"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3181669"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13675-7_5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11767589_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695803"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625967"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510766"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2698640"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_40"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0023-y"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2016.1183264"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2021.102975"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.169"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56496-9_14"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.08.003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CAC57257.2022.10055441"},{"issue":"A56","key":"ref35","first-page":"70","article-title":"Deadlock and reachability checking with finite complete prefixes","author":"Heljanko","year":"1999"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45575-2_27"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_34"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33620-1_7"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-6309-4"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3012281"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21834-7_6"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3390\/sym13030392"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898869"},{"key":"ref45","article-title":"Using Petri nets to detect access control violations in a system of systems","volume-title":"Proc. Joint Workshop Found. Comput. Secur. Autom. Reasoning Secur. Protocol Anal.","author":"Walvekar","year":"2006"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2853669"}],"container-title":["IEEE Transactions on Computational Social Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6570650\/11194048\/10712636.pdf?arnumber=10712636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T18:37:01Z","timestamp":1767724621000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10712636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":46,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcss.2024.3461812","relation":{},"ISSN":["2329-924X","2373-7476"],"issn-type":[{"value":"2329-924X","type":"electronic"},{"value":"2373-7476","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}