{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T10:51:31Z","timestamp":1778151091499,"version":"3.51.4"},"reference-count":101,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Zhejiang Provincial Key Research and Development Program of China","award":["2018C01084"],"award-info":[{"award-number":["2018C01084"]}]},{"DOI":"10.13039\/501100004731","name":"Natural Science Foundation of Zhejiang Province","doi-asserted-by":"publisher","award":["LGG18F020006"],"award-info":[{"award-number":["LGG18F020006"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010754","name":"Zhejiang Gongshang University","doi-asserted-by":"publisher","award":["2013E10012"],"award-info":[{"award-number":["2013E10012"]}],"id":[{"id":"10.13039\/100010754","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004731","name":"Natural Science Foundation of Zhejiang Province","doi-asserted-by":"publisher","award":["LQ20F020009"],"award-info":[{"award-number":["LQ20F020009"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004731","name":"Natural Science Foundation of Zhejiang Province","doi-asserted-by":"publisher","award":["LGG18F020006"],"award-info":[{"award-number":["LGG18F020006"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2977992","type":"journal-article","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T21:49:26Z","timestamp":1583272166000},"page":"48731-48741","source":"Crossref","is-referenced-by-count":18,"title":["Overview of Opacity in Discrete Event Systems"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3271-0026","authenticated-orcid":false,"given":"Ye","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1852-9565","authenticated-orcid":false,"given":"Xiaoning","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6680-0324","authenticated-orcid":false,"given":"Chen","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8998-0433","authenticated-orcid":false,"given":"Shouguang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7061-7108","authenticated-orcid":false,"given":"Oussama","family":"Karoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_26"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.331"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.03.041"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.04.001"},{"key":"ref30","first-page":"497","article-title":"Fault diagnosis with static and dynamic observers","volume":"88","author":"cassez","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525005"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605918"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.038"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431583"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2230443"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-015-0212-3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2379623"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.9746\/jcmsi.1.307"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2011.6120292"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2170453"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0193-7"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.286"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2294613"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2946165"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0264-7"},{"key":"ref50","article-title":"Delayed state estimation in discrete event systems and applications to security problems","author":"saboori","year":"2007"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497873"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050059"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2010.0195"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2964312"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920677"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2890070"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.02.037"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0141-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1994.315941"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61770-1_38"},{"key":"ref6","first-page":"165","article-title":"Using unification for opacity properties","volume":"7","author":"mazar\u00e9","year":"2004","journal-title":"Proceedings of the 4th IFIP WG1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738646"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/8.1.45"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0196-4"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2106775"},{"key":"ref42","author":"wu","year":"2014","journal-title":"Verification and Enforcement of Notions of Opacity Security Properties in Discrete Event Systems"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2908726"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264506"},{"key":"ref73","article-title":"Verification of infinite-step and K-step opacity using Petri nets","author":"lan","year":"2019","journal-title":"arXiv 1909 05138"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.04.021"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402224"},{"key":"ref76","first-page":"98","article-title":"Probabilistic opacity for a passive adversary and its application to Chaum’s voting scheme","volume":"2005","author":"lakhnech","year":"2005","journal-title":"IACR Cryptology ePrint"},{"key":"ref77","first-page":"145","article-title":"Towards quantitative analysis of opacity","author":"bryans","year":"2012","journal-title":"Proc Int'l Symp Trustworthy Global Computing"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.013"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000637"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.09.001"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.11.025"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2665479"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911657"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2019.1911750"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2902846"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.321"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402224"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref1","author":"denning","year":"1982","journal-title":"Cryptography and Data Security"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_11"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9420-x"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.028"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.315"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402762"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264280"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619045"},{"key":"ref99","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264378"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2897553"},{"key":"ref10","author":"saboori","year":"2011","journal-title":"Verification and Enforcement of State-based Notions of Opacity in Discrete Event Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3182\/20090610-3-IT-4004.00013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173774"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619851"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648005"},{"key":"ref17","article-title":"Monitoring and supervisory control for opacity properties","author":"dubreil","year":"2009"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0263-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ASCC.2017.8287150"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2604222"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2279914"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525221"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.10.049"},{"key":"ref86","article-title":"Synthesis of dynamic masks for infinite-step opacity","author":"yin","year":"0","journal-title":"IEEE Trans Autom Control"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426760"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2440632"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09022965.pdf?arnumber=9022965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T01:08:17Z","timestamp":1641949697000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9022965\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":101,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2977992","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}