{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:59:50Z","timestamp":1777489190401,"version":"3.51.4"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/tac.2010.2042008","type":"journal-article","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T15:40:44Z","timestamp":1265902844000},"page":"1089-1100","source":"Crossref","is-referenced-by-count":170,"title":["Supervisory Control for Opacity"],"prefix":"10.1109","volume":"55","author":[{"given":"Jeremy","family":"Dubreil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herve","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"165","article-title":"using unification for opacity properties","author":"mazar","year":"2004","journal-title":"Proceedings of the 4th IFIP WG1 7 Workshop on Issues in the Theory of Security (WITS'04)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-61770-1_38","article-title":"csp and anonymity","author":"schneider","year":"1996","journal-title":"Proc Comput Security (ESORICS'96)"},{"key":"ref15","first-page":"331","article-title":"classification of security properties: information flow","author":"focardi","year":"2000","journal-title":"Proc Found Security Anal Design"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678440"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.847749"},{"key":"ref6","first-page":"341","article-title":"test generation for network security rules","volume":"3964","author":"darmaillacq","year":"2006","journal-title":"Proc TestCom'06"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"key":"ref8","first-page":"2854","article-title":"monitoring information flow by diagnosis techniques","author":"dubreil","year":"2009","journal-title":"Proc Eur Control Conf (ECC)"},{"key":"ref7","first-page":"33","article-title":"information flow testingthe third path towards confidentiality guarantee","author":"le guernic","year":"2007","journal-title":"Proc Adv Comput Sci (ASIAN'07)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.8"},{"key":"ref9","author":"bishop","year":"2004","journal-title":"Introduction to Computer Security"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1998.683159"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678408"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73986-9_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605918"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.9746\/jcmsi.1.307"},{"key":"ref26","first-page":"107","article-title":"preserving secrecy under refinement","author":"alur","year":"2006","journal-title":"Proc 33rd Int Colloq Automata Language Programming (ICALP'06)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5461002\/05404357.pdf?arnumber=5404357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:37:19Z","timestamp":1633916239000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5404357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":26,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tac.2010.2042008","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}