{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T14:18:56Z","timestamp":1781878736818,"version":"3.54.5"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation (NSF)","doi-asserted-by":"publisher","award":["CCF-1138860"],"award-info":[{"award-number":["CCF-1138860"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"TerraSwarm Research Center"},{"name":"Focus Center Research Program (FCRP) a Semiconductor Research Corporation program sponsored by MARCO and DARPA"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1109\/tac.2015.2440632","type":"journal-article","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T03:06:49Z","timestamp":1433387209000},"page":"571-584","source":"Crossref","is-referenced-by-count":40,"title":["Synthesis of Optimal Insertion Functions for Opacity Enforcement"],"prefix":"10.1109","volume":"61","author":[{"given":"Yi-Chin","family":"Wu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6761043"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1189037"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90011-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"key":"ref14","first-page":"165","article-title":"Using unification for opacity properties","volume":"7","author":"mazar\u00e9","year":"0","journal-title":"Proceedings of the 4th IFIP WG1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2170453"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2012.6155874"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0141-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref7","first-page":"497","article-title":"Fault diagnosis with static and dynamic observers","volume":"88","author":"cassez","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400704"},{"key":"ref1","volume":"3","author":"baccelli","year":"1992","journal-title":"Synchronization and Linearity"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01768705"},{"key":"ref20","author":"wu","year":"2014","journal-title":"Verification and Enforcement of Notions of Opacity Security Properties in Discrete Event Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.038"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00188-3"},{"key":"ref23","first-page":"33","article-title":"Ensuring privacy in location-based services: An approach based on opacity enforcement","author":"wu","year":"0","journal-title":"Proc Int Workshop Discrete Event Syst"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7419936\/7117372.pdf?arnumber=7117372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:48:10Z","timestamp":1641988090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7117372\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":24,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2440632","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}