{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:36:23Z","timestamp":1783701383102,"version":"3.55.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T00:00:00Z","timestamp":1510185600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61374068"],"award-info":[{"award-number":["61374068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472295"],"award-info":[{"award-number":["61472295"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund, MSAR","doi-asserted-by":"crossref","award":["078\/2015\/A3"],"award-info":[{"award-number":["078\/2015\/A3"]}],"id":[{"id":"10.13039\/501100003009","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61673309"],"award-info":[{"award-number":["61673309"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["2682017ZDPY10"],"award-info":[{"award-number":["2682017ZDPY10"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10626-017-0264-7","type":"journal-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T05:01:57Z","timestamp":1510203717000},"page":"161-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":103,"title":["Current-state opacity enforcement in discrete event systems under incomparable observations"],"prefix":"10.1007","volume":"28","author":[{"given":"Yin","family":"Tong","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,11,9]]},"reference":[{"issue":"4","key":"264_CR1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","volume":"17","author":"E Badouel","year":"2007","unstructured":"Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discret Event Dyn Syst 17(4):425\u2013446","journal-title":"Discret Event Dyn Syst"},{"key":"264_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Kalefa M, Lin F (2011) Supervisory control for opacity of discrete event systems. In: Proceedings of the 49th Annual Allerton conference on communication, control, and computing, pp 1113\u20131119","DOI":"10.1109\/Allerton.2011.6120292"},{"key":"264_CR3","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.entcs.2004.10.010","volume":"121","author":"JW Bryans","year":"2005","unstructured":"Bryans JW, Koutny M, Ryan PY (2005) Modelling opacity using Petri nets. Electron Notes Theor Comput Sci 121:101\u2013115","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"6","key":"264_CR4","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"JW Bryans","year":"2008","unstructured":"Bryans JW, Koutny M, Mazar\u00e9 L, Ryan PY (2008) Opacity generalised to transition systems. Int J Inf Secur 7(6):421\u2013435","journal-title":"Int J Inf Secur"},{"key":"264_CR5","doi-asserted-by":"crossref","unstructured":"Busi N, Gorrieri R (2004) A survey on non-interference with Petri nets. In: Lectures on concurrency and Petri nets. Springer, pp 328\u2013344","DOI":"10.1007\/978-3-540-27755-2_8"},{"issue":"3","key":"264_CR6","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1109\/TAC.2014.2341891","volume":"60","author":"K Cai","year":"2015","unstructured":"Cai K, Zhang R, Wonham W (2015) Relative observability of discrete-event systems and its supremal sublanguages. IEEE Trans Autom Control 60(3):659\u2013670","journal-title":"IEEE Trans Autom Control"},{"key":"264_CR7","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"key":"264_CR8","doi-asserted-by":"crossref","unstructured":"Cassez F, Dubreil J, Marchand H (2009) Dynamic observers for the synthesis of opaque systems. In: Automated technology for verification and analysis. Springer, pp 352\u2013367","DOI":"10.1007\/978-3-642-04761-9_26"},{"issue":"1","key":"264_CR9","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/s10703-012-0141-9","volume":"40","author":"F Cassez","year":"2012","unstructured":"Cassez F, Dubreil J, Marchand H (2012) Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst Des 40(1):88\u2013115","journal-title":"Formal Methods Syst Des"},{"issue":"1","key":"264_CR10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02551361","volume":"2","author":"Hangju Cho","year":"1989","unstructured":"Cho Hangju, Marcus Steven I (1989) On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Mathem Control Signals Syst (MCSS) 2(1):47\u201369","journal-title":"Mathem Control Signals Syst (MCSS)"},{"key":"264_CR11","doi-asserted-by":"crossref","unstructured":"Dubreil J, Darondeau P, Marchand H (2008) Opacity enforcing control synthesis. In: Proceedings of the 9th international workshop on discrete event systems. IEEE, pp 28\u201335","DOI":"10.1109\/WODES.2008.4605918"},{"issue":"5","key":"264_CR12","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J Dubreil","year":"2010","unstructured":"Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089\u20131100","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"264_CR13","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","volume":"25","author":"Y Falcone","year":"2015","unstructured":"Falcone Y, Marchand H (2015) Enforcement and validation (at runtime) of various notions of opacity. Discret Event Dyn Syst 25(4):531\u2013570","journal-title":"Discret Event Dyn Syst"},{"key":"264_CR14","doi-asserted-by":"crossref","unstructured":"Goguen JA, Meseguer J (1982) Security policies and security models. In: Proceedings of the 2012 IEEE symposium on security and privacy, pp 11\u201320","DOI":"10.1109\/SP.1982.10014"},{"issue":"4","key":"264_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01797138","volume":"6","author":"N Hadj-Alouane","year":"1996","unstructured":"Hadj-Alouane N, Lafortune S, Lin F (1996) Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret Event Dyn Syst 6(4):379\u2013427","journal-title":"Discret Event Dyn Syst"},{"issue":"5","key":"264_CR16","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/TSMCB.2005.847749","volume":"35","author":"NB Hadj-Alouane","year":"2005","unstructured":"Hadj-Alouane NB, Lafrance S, Lin F, Mullins J, Yeddes MM (2005) On the verification of intransitive noninterference in mulitlevel security. IEEE Trans Syst Man Cybern Part B: Cybern 35(5):948\u2013958","journal-title":"IEEE Trans Syst Man Cybern Part B: Cybern"},{"issue":"3","key":"264_CR17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M Heymann","year":"1994","unstructured":"Heymann M, Lin F (1994) On-line control of partially observed discrete event systems. Discret Event Dyn Syst 4(3):221\u2013236","journal-title":"Discret Event Dyn Syst"},{"issue":"3","key":"264_CR18","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","volume":"47","author":"F Lin","year":"2011","unstructured":"Lin F (2011) Opacity of discrete event systems and its applications. Automatica 47(3):496\u2013503","journal-title":"Automatica"},{"issue":"1","key":"264_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"issue":"1","key":"264_CR20","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/290163.290168","volume":"1","author":"MK Reiter","year":"1998","unstructured":"Reiter MK, Rubin AD (1998) Crowds: anonymity for web transactions. ACM Trans Inf Syst Secur 1(1):66\u201392","journal-title":"ACM Trans Inf Syst Secur"},{"issue":"3","key":"264_CR21","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s10626-012-0152-0","volume":"24","author":"Y Ru","year":"2014","unstructured":"Ru Y, Cabasino MP, Giua A, Hadjicostis CN (2014) Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discret Event Dyn Syst 24(3):275\u2013307","journal-title":"Discret Event Dyn Syst"},{"key":"264_CR22","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE conference on decision and control.IEEE, pp 5056\u20135061","DOI":"10.1109\/CDC.2007.4434515"},{"key":"264_CR23","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2008) Verification of initial-state opacity in security applications of DES. In: Proceedings of the 9th International workshop on discrete event systems, pp 328\u2013333","DOI":"10.1109\/WODES.2008.4605967"},{"issue":"5","key":"264_CR24","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1109\/TAC.2011.2170453","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57(5):1155\u20131165","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"264_CR25","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/JCS-2004-123-403","volume":"12","author":"V Shmatikov","year":"2004","unstructured":"Shmatikov V (2004) Probabilistic analysis of an anonymity system. J Comput Secur 12(3):355\u2013377","journal-title":"J Comput Secur"},{"issue":"4","key":"264_CR26","doi-asserted-by":"crossref","first-page":"307","DOI":"10.9746\/jcmsi.1.307","volume":"1","author":"S Takai","year":"2008","unstructured":"Takai S, Oka Y (2008) A formula for the supremal controllable and opaque sublanguage arising in supervisory control. SICE J Control Measur Syst Integr 1(4):307\u2013311","journal-title":"SICE J Control Measur Syst Integr"},{"key":"264_CR27","doi-asserted-by":"crossref","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2015a) Verification of current-state opacity using Petri nets. In: Proceedings of the 2015 American control conference. IEEE, Chicago, pp 1935\u20131940","DOI":"10.1109\/ACC.2015.7171016"},{"key":"264_CR28","doi-asserted-by":"crossref","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2015b) Verification of initial-state opacity in Petri nets. In: Proceedings of the 2015 International conference on decision and control. IEEE, Osaka, pp 344\u2013349","DOI":"10.1109\/CDC.2015.7402224"},{"key":"264_CR29","doi-asserted-by":"crossref","unstructured":"Tong Y, Ma ZY, Li ZW, Seatzu C, Giua A (2016a) Verification of language-based opacity in Petri nets using verifier. In: Proceedings of the American control conference. IEEE, Boston, pp 757\u2013763","DOI":"10.1109\/ACC.2016.7525005"},{"key":"264_CR30","doi-asserted-by":"crossref","unstructured":"Tong Y, Ma Z, Li Z, Seatzu C, Giua A (2016b) Supervisory enforcement of current-state opacity with uncomparable observations. In: Proceedings of the 13th International workshop on discrete event systems, pp 313\u2013318","DOI":"10.1109\/WODES.2016.7497865"},{"key":"264_CR31","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.automatica.2017.01.013","volume":"80","author":"Y Tong","year":"2017","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2017a) Decidability of opacity verification problems in labeled Petri net systems. Automatica 80:48\u201353","journal-title":"Automatica"},{"issue":"6","key":"264_CR32","doi-asserted-by":"crossref","first-page":"2823","DOI":"10.1109\/TAC.2016.2620429","volume":"62","author":"Y Tong","year":"2017","unstructured":"Tong Y, Li ZW, Seatzu C, Giua A (2017b) Verification of state-based opacity using Petri nets. IEEE Trans Autom Control 62(6):2823\u20132837","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"264_CR33","first-page":"1965","volume":"82","author":"T Ushio","year":"1999","unstructured":"Ushio T (1999) On-line control of discrete event systems with a maximally controllable and observable sublanguage. IEICE Trans Funda Electron Commun Comput Sci 82(9):1965\u20131970","journal-title":"IEICE Trans Funda Electron Commun Comput Sci"},{"issue":"3","key":"264_CR34","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10626-012-0145-z","volume":"23","author":"YC Wu","year":"2013","unstructured":"Wu YC, Lafortune S (2013) Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret Event Dyn Syst 23(3):307\u2013339","journal-title":"Discret Event Dyn Syst"},{"issue":"5","key":"264_CR35","doi-asserted-by":"crossref","first-page":"1336","DOI":"10.1016\/j.automatica.2014.02.038","volume":"50","author":"YC Wu","year":"2014","unstructured":"Wu YC, Lafortune S (2014) Synthesis of insertion functions for enforcement of opacity security properties. Automatica 50(5):1336\u20131348","journal-title":"Automatica"},{"key":"264_CR36","doi-asserted-by":"crossref","unstructured":"Wu YC, Lafortune S (2015) Synthesis of opacity-enforcing insertion functions that can be publicly known. In: Proceedings of the 54th IEEE Conference on decision and control, pp 3506\u20133513","DOI":"10.1109\/CDC.2015.7402762"},{"key":"264_CR37","doi-asserted-by":"crossref","unstructured":"Yin X, Lafortune S (2015) A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. In: Proceedings of the 2015 American control conference. IEEE, Chicago, pp 377\u2013383","DOI":"10.1109\/ACC.2015.7170765"},{"issue":"5","key":"264_CR38","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1109\/TAC.2015.2460391","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016a) Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(5):1239\u20131254","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"264_CR39","doi-asserted-by":"crossref","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016b) A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(8):2140\u20132154","journal-title":"IEEE Trans Autom Control"},{"key":"264_CR40","doi-asserted-by":"crossref","unstructured":"Zhang B, Shu SL, Lin F (2012) Polynomial algorithms to check opacity in discrete event systems. In: Proceedings of the 24th Chinese control and decision conference. IEEE, pp 763\u2013769","DOI":"10.1109\/CCDC.2012.6244117"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0264-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0264-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0264-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T13:54:10Z","timestamp":1589810050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0264-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,9]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["264"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0264-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,9]]}}}