{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:17:21Z","timestamp":1785421041868,"version":"3.56.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T00:00:00Z","timestamp":1346889600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s10626-012-0145-z","type":"journal-article","created":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T12:31:24Z","timestamp":1346848284000},"page":"307-339","source":"Crossref","is-referenced-by-count":213,"title":["Comparative analysis of related notions of opacity in centralized and coordinated architectures"],"prefix":"10.1007","volume":"23","author":[{"given":"Yi-Chin","family":"Wu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"key":"145_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/11787006_10","volume":"4052","author":"R Alur","year":"2006","unstructured":"Alur R, \u010cern\u1ef3 P, Zdancewic S (2006) Preserving secrecy under refinement. Autom Lang Program 4052:107\u2013118","journal-title":"Autom Lang Program"},{"issue":"4","key":"145_CR2","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. Discrete Event Dyn Syst 17(4):425\u2013446","journal-title":"Discrete Event Dyn Syst"},{"key":"145_CR3","first-page":"101","volume":"121","author":"J Bryans","year":"2005","unstructured":"Bryans J, Koutny M, Ryan PYA (2005) Modeling opacity using petri nets. ENTCS 121:101\u2013115","journal-title":"ENTCS"},{"issue":"6","key":"145_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 PYA (2008) Opacity generalized to transition systems. Int J Inf Secur 7(6):421\u2013435","journal-title":"Int J Inf Secur"},{"key":"145_CR5","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":"145_CR6","first-page":"352","volume":"5799","author":"F Cassez","year":"2009","unstructured":"Cassez F, Dubreil J, Marchand H (2009) Dynamic observers for the synthesis of opaque systems. ATVA 5799:352\u2013367","journal-title":"ATVA"},{"issue":"1","key":"145_CR7","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D Chaum","year":"1988","unstructured":"Chaum D (1988) The dining cryptographers problem: unconditional sender and recipient untraceability. J Cryptol 1(1):65\u201375","journal-title":"J Cryptol"},{"issue":"2","key":"145_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/358549.358563","volume":"24","author":"DL Chaum","year":"1981","unstructured":"Chaum DL (1981) Untraceable electronic mail, return addresses, and digital pseudonyms. Commun ACM 24(2):84\u201390","journal-title":"Commun ACM"},{"issue":"1\u20132","key":"145_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dyn Syst 10(1\u20132):33\u201386","journal-title":"Discrete Event Dyn Syst"},{"key":"145_CR10","unstructured":"Dubreil J (2009) Monitoring and supervisory control for opacity properties. PhD thesis, Universit\u00e9 de Rennes 1"},{"key":"145_CR11","doi-asserted-by":"crossref","unstructured":"Dubreil J, Darondeau P, Marchand H (2008) Opacity enforcing control synthesis. In: Proc. of the 9th international workshop on discrete event systems, pp 28\u201335","DOI":"10.1109\/WODES.2008.4605918"},{"issue":"5","key":"145_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 Automat Contr 55(5):1089\u20131100","journal-title":"IEEE Trans Automat Contr"},{"key":"145_CR13","doi-asserted-by":"crossref","unstructured":"Dubreil J, J\u00e9ron T, Marchand H (2009) Monitoring confidentiality by diagnosis techniques. In: Proc. of the European control conference 2009","DOI":"10.23919\/ECC.2009.7074795"},{"key":"145_CR14","doi-asserted-by":"crossref","unstructured":"Focardi R, Gorrieri R (1994) A taxonomy of trace-based security properties for CCS. In: Proc. of the computer security foundations workshop VII, pp 126\u2013136","DOI":"10.1109\/CSFW.1994.315941"},{"issue":"5","key":"145_CR15","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 M (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":"145_CR16","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":"3","key":"145_CR17","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173\u2013198","journal-title":"Inf Sci"},{"key":"145_CR18","unstructured":"Mazar\u00e9 L (2004) Using unification for opacity properties. Technical Report 24, Verimag Technical Report"},{"key":"145_CR19","unstructured":"Saboori A (2010) Verification and enforcement of state-based notions of opacity in discrete event systems. PhD thesis, University of Illinois, Urbana-Champaign"},{"key":"145_CR20","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proc. of the 46th IEEE conference on decision and control, pp 5056\u20135061","DOI":"10.1109\/CDC.2007.4434515"},{"key":"145_CR21","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2008) Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proc. of 47th IEEE conference on decision and control, pp 889\u2013894","DOI":"10.1109\/CDC.2008.4738646"},{"key":"145_CR22","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2008) Verification of initial-state opacity in security applications of des. In: Proc. of the 9th international workshop on discrete event systems, pp 328\u2013333","DOI":"10.1109\/WODES.2008.4605967"},{"key":"145_CR23","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2009) Verification of k-step opacity and analysis of its complexity. In: Proc. of 48th IEEE conference on decision and control, pp 205\u2013210","DOI":"10.1109\/CDC.2009.5400083"},{"issue":"9","key":"145_CR24","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"key":"145_CR25","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-61770-1_38","volume":"1146","author":"S Schneider","year":"1996","unstructured":"Schneider S, Sidiropoulos A (1996) CSP and anonymity. ESORICS 96 1146:198\u2013218","journal-title":"ESORICS 96"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0145-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0145-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0145-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T12:35:54Z","timestamp":1562157354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0145-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,6]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0145-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,6]]}}}