{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T23:27:28Z","timestamp":1777418848005,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T00:00:00Z","timestamp":1400803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10626-014-0193-7","type":"journal-article","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T02:18:29Z","timestamp":1400725109000},"page":"251-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Enforcing opacity of regular predicates on modal transition systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Ricker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,23]]},"reference":[{"key":"193_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 A, Borzyszkowski A, Caillaud B, Darondeau P: Concurrent secrets. Discrete Event Dynamic Syst2007, 17:425\u2013446.","journal-title":"Discrete Event Dynamic Syst"},{"key":"193_CR2","unstructured":"Ben-Kalefa, M, Lin F: Proc 45th annual allerton conference on communication control, and computing: Allerton House; 2011."},{"issue":"6","key":"193_CR3","first-page":"421","volume":"7","author":"JW Bryans","year":"2008","unstructured":"Bryans, JW, Koutny M, Mazare L, Ryan PYA: Opacity generalized to transition systems. J Comput Secur2008, 7(6):421\u2013435.","journal-title":"J Comput Secur"},{"key":"193_CR4","unstructured":"Darondeau, Ph, Dubreil J, Marchand H: Workshop on discrete event systems, WODES\u201910: Berlin, Germany; 2010."},{"key":"193_CR5","doi-asserted-by":"crossref","DOI":"10.1109\/WODES.2008.4605918","volume-title":"Opacity enforcing control synthesis","author":"J Dubreil","year":"2008","unstructured":"Dubreil, J, Darondeau Ph, Marchand H: Opacity enforcing control synthesis, Gothenburg: Workshop on discrete event systems, WODES\u201908; 2008."},{"issue":"5","key":"193_CR6","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J Dubreil","year":"2010","unstructured":"Dubreil, J, Darondeau Ph, Marchand H: Supervisory control for opacity. IEEE Trans Autom Control2010, 55(5):1089\u20131100.","journal-title":"IEEE Trans Autom Control"},{"key":"193_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s10626-006-0008-6","volume":"17:","author":"G Feuillade","year":"2007","unstructured":"Feuillade, G, Pinchinat S: Modal specifications for the control theory of discrete event systems. Discrete event dynamic: Syst theory appl2007, 17:211\u2013232.","journal-title":"Discrete event dynamic: Syst theory appl"},{"key":"193_CR8","doi-asserted-by":"crossref","DOI":"10.1109\/ALLERTON.2010.5707108","volume-title":"Supervisory control strategies for enhancing system security and privacy","author":"CN Hadjicostis","year":"2010","unstructured":"Hadjicostis, CN: Supervisory control strategies for enhancing system security and privacy, Allerton House: Proc 48th annual allerton conference on communication Control, and Computing; 2010."},{"key":"193_CR9","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume":"407:","author":"KG Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. Autom Verification Methods Finite State Syst1990, 407:232\u2013246.","journal-title":"Autom Verification Methods Finite State Syst"},{"issue":"4","key":"193_CR10","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: Opacity of discrete event systems and its applications. Automatica2011, 47(4):496\u2013503.","journal-title":"Automatica"},{"key":"193_CR11","unstructured":"Lohmann, N, Massuth P, Wolf K: Proc ICATPN2007, volume 4546:321\u2013341."},{"key":"193_CR12","unstructured":"Mazare, L: Proc FAST\u201904; 2004."},{"key":"193_CR13","volume-title":"Using unification for opacity properties","author":"L Mazare","year":"2004","unstructured":"Mazare, L: Using unification for opacity properties, Barcelona: Proceedings of the 4th IFIP WG1.7 workshop on issues in the Theory of Security (WITS\u201904); 2004."},{"key":"193_CR14","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25:","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, PJ, Wonham WM: On the supremal controllable language of a given language. SIAM J Control Optim1987, 25:637\u2013659.","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"193_CR15","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, PJ, Wonham WM: Supervisory control of a class of discrete event processes. SIAM J Control Optim1987, 25(1):206\u2013230.","journal-title":"SIAM J Control Optim"},{"key":"193_CR16","doi-asserted-by":"crossref","unstructured":"Ramadge, PJ, Wonham WM: The control of discrete event systems. 771989, 1:.","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"key":"193_CR17","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2008.4738646","volume-title":"Opacity-enforcing supervisory strategies for secure discrete event systems","author":"A Saboori","year":"2008","unstructured":"Saboori, A, Hadjicostis C: Opacity-enforcing supervisory strategies for secure discrete event systems, Cancun: Proc 47th IEEE conference on decision and control; 2008."},{"key":"193_CR18","doi-asserted-by":"crossref","unstructured":"Saboori, A, Hadjicostis C: Verification of initial-state opacity in security applications of DES. 9th International workshop on discrete event systems, 2008 WODES 2008; 2008.","DOI":"10.1109\/WODES.2008.4605967"},{"issue":"5","key":"193_CR19","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1109\/TAC.2011.2170453","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori, A, Hadjicostis C: Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control2012, 57(5):1155\u20131165.","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"193_CR20","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: A formula for the supremal controllable and opaque sublanguage arising in supervisory control. SICE J ControlMeas Syst Integr2008, 1(4):307\u2013312.","journal-title":"SICE J ControlMeas Syst Integr"},{"key":"193_CR21","unstructured":"Takai, S, Kumar R: Proc American Control Conference; 2009."},{"key":"193_CR22","volume-title":"Enforcement of opacity properties using insertion functions","author":"Y Wu","year":"2012","unstructured":"Wu, Y, Lafortune S: Enforcement of opacity properties using insertion functions, Maui: 51st IEEE Conference on Decision and Control; 2012."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0193-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0193-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0193-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T14:41:27Z","timestamp":1565448087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0193-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,23]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["193"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0193-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,23]]}}}