{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:49:47Z","timestamp":1743014987154,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031178337"},{"type":"electronic","value":"9783031178344"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17834-4_3","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T17:02:53Z","timestamp":1664038973000},"page":"37-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["At Design-Time Approach for\u00a0Supervisory Control of\u00a0Opacity"],"prefix":"10.1007","author":[{"given":"Nour Elhouda","family":"Souid","sequence":"first","affiliation":[]},{"given":"Kais","family":"Klai","sequence":"additional","affiliation":[]},{"given":"Chiheb Ameur","family":"Abid","sequence":"additional","affiliation":[]},{"given":"Samir Ben","family":"Ahmed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11679219_7","volume-title":"Formal Aspects in Security and Trust","author":"JW Bryans","year":"2006","unstructured":"Bryans, J.W., Koutny, M., Mazar\u00e9, L., Ryan, P.Y.A.: Opacity generalised to transition systems. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2005. LNCS, vol. 3866, pp. 81\u201395. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11679219_7"},{"key":"3_CR2","unstructured":"O\u2019Halloran, C.: A calculus of information flow. In: ESORICS 90 - First European Symposium on Research in Computer Security, 24\u201326 October 1990, Toulouse, pp. 147\u2013159. AFCET (1990)"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","volume":"25","author":"Y Falcone","year":"2014","unstructured":"Falcone, Y., Marchand, H.: Enforcement and validation (at runtime) of various notions of opacity. Discr. Event Dyn. Syst. 25(4), 531\u2013570 (2014). https:\/\/doi.org\/10.1007\/s10626-014-0196-4","journal-title":"Discr. Event Dyn. Syst."},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","volume":"25","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Marchand, H.: Enforcement and validation (at runtime) of various notions of opacity. Discr. Event Dyn. Syst. 25(4), 531\u2013570 (2015)","journal-title":"Discr. Event Dyn. Syst."},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Haddad, S., Ili\u00e9, J.-M., Klai, K.: Design and evaluation of a symbolic and abstraction-based model checker. In: Wang, F. (ed.) ATVA 2004. LNCS, vol. 3299, pp. 196\u2013210. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30476-0_19","DOI":"10.1007\/978-3-540-30476-0_19"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293\u2013318 (1992)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"3_CR7","first-page":"14","volume":"60","author":"S Matsui","year":"2021","unstructured":"Matsui, S., Cai, K.: Application of supervisory control to secret protection in discrete-event systems. J. Soc. Instrum. Control Eng. Spec. Issue Event Based Control IoT 60(1), 14\u201320 (2021)","journal-title":"J. Soc. Instrum. Control Eng. Spec. Issue Event Based Control IoT"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Klai, K, Poitrenaud, D.: MC-SOG: an LTL model checker based on symbolic observation graphs. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 288\u2013306. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68746-7_20","DOI":"10.1007\/978-3-540-68746-7_20"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Klai, K., Petrucci, L.: Modular construction of the symbolic observation graph. In: 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi\u2019an, China, 23\u201327 June 2008, pp. 88\u201397. IEEE (2008)","DOI":"10.1109\/ACSD.2008.4574600"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/TSC.2016.2605090","volume":"10","author":"A Bourouis","year":"2017","unstructured":"Bourouis, A., Klai, K., Hadj-Alouane, N.B., Touati, Y.E.: On the verification of opacity in web services and their composition. IEEE Trans. Serv. Comput. 10(1), 66\u201379 (2017)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. In: Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, vol. 77, no. 1, pp. 81\u201398 (1989)","DOI":"10.1109\/5.21072"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Cassandras, C.G., Lafortune, S.: Controlled Markov chains. In: Introduction to Discrete Event Systems, pp. 535\u2013591. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72274-6_9","DOI":"10.1007\/978-3-030-72274-6_9"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Dubreil, J., Darondeau, P., Marchand, H.: Opacity enforcing control synthesis. In: 9th International Workshop on Discrete Event Systems, pp. 28\u201335 (2008)","DOI":"10.1109\/WODES.2008.4605918"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.arcontrol.2016.04.015","volume":"41","author":"R Jacob","year":"2016","unstructured":"Jacob, R., Lesage, J., Faure, J.: Overview of discrete event systems opacity: models, validation, and quantification. Annu. Rev. Control. 41, 135\u2013146 (2016)","journal-title":"Annu. Rev. Control."},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Bryans, J.W., Koutny, M., Ryan, P.Y.A.: Modelling dynamic opacity using petri nets with silent actions. In: Dimitrakos, T., Martinelli, F. (eds.) Formal Aspects in Security and Trust. IIFIP, vol. 173, pp. 159\u2013172. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/0-387-24098-5_12","DOI":"10.1007\/0-387-24098-5_12"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2004.10.010","volume":"121","author":"JW Bryans","year":"2005","unstructured":"Bryans, J.W., Koutny, M., Ryan, P.Y.A.: Modelling opacity using petri nets. Electron. Notes Theor. Comput. Sci. 121, 101\u2013115 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.: Verification of k-step opacity and analysis of its complexity. In: IEEE Transactions on Automation Science and Engineering, vol. 8, pp. 549\u2013559 (2011)","DOI":"10.1109\/TASE.2011.2106775"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.N.: Verification of initial-state opacity in security applications of des. In: 2008 9th International Workshop on Discrete Event Systems, pp. 328\u2013333 (2008)","DOI":"10.1109\/WODES.2008.4605967"},{"key":"3_CR19","unstructured":"Saboori, A.: Verification and enforcement of state-based notions of opacity in discrete event systems. PhD thesis, University of Illinois at Urbana-Champaign (2011)"},{"issue":"5","key":"3_CR20","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1109\/TAC.2011.2173774","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori, A., Hadjicostis, C.N.: Verification of infinite-step opacity and complexity considerations. IEEE Trans. Autom. Control. 57(5), 1265\u20131269 (2012)","journal-title":"IEEE Trans. Autom. Control."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Bourouis, A., Klai, K., Hadj-Alouane, N.B.: Measuring opacity in web services. In: Proceedings of the 19th International Conference on Information Integration and Web-Based Applications Services, iiWAS 2017, New York, pp. 530\u2013534. Association for Computing Machinery (2017)","DOI":"10.1145\/3151759.3151842"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Bourouis, A., Klai, K., Hadj-Alouane, N.B.: Measuring opacity for non-probabilistic DES: a sog-based approach. In: 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, 10\u201313 November 2019, pp. 242\u2013247. IEEE (2019)","DOI":"10.1109\/ICECCS.2019.00034"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Mullins, J., Sassolas, M.: Quantifying opacity. In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, 15\u201318 September 2010, pp. 263\u2013272. IEEE Computer Society (2010)","DOI":"10.1109\/QEST.2010.40"},{"issue":"6","key":"3_CR24","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"JW Bryans","year":"2008","unstructured":"Bryans, J.W., Koutny, M., Mazar\u00e9, L., Ryan, P.Y.A.: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6), 421\u2013435 (2008)","journal-title":"Int. J. Inf. Sec."},{"key":"3_CR25","unstructured":"http:\/\/toolboxopacity.gforge.inria.fr\/. Takos: a java toolbox for analyzing the k-opacity of systems (2010)"},{"key":"3_CR26","unstructured":"S. Library. www.eecs.umich.edu\/umdes\/toolboxes.html (2009)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Klai, K., Hamdi, N., BenHadj-Alouane, N.: An on-the-fly approach for the verification of opacity in critical systems. In: 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, 23\u201325 June 2014, pp. 345\u2013350. IEEE Computer Society (2014)","DOI":"10.1109\/WETICE.2014.84"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-030-88052-1_13","volume-title":"Information and Communications Security","author":"NE Souid","year":"2021","unstructured":"Souid, N.E., Klai, K.: A novel approach for supervisor synthesis to enforce opacity of discrete event systems. In: Gao, D., Li, Q., Guan, X., Liao, X. (eds.) ICICS 2021. LNCS, vol. 12919, pp. 210\u2013227. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88052-1_13"},{"key":"3_CR29","unstructured":"Dubreil, J.: Monitoring and supervisory control for opacity properties. (V\u00e9rification et Synth\u00e8se de Contr\u00f4leur pour des Propri\u00e9t\u00e9s de Confidentialit\u00e9). PhD thesis, University of Rennes 1, France (2009)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Zinck, G., Ricker, L., Marchand, H., Hlout, L.: Enforcing opacity in modular systems. In: IFAC 2020, IFAC World Congress, pp. 1\u20138 (2020)","DOI":"10.1016\/j.ifacol.2020.12.2542"},{"issue":"4","key":"3_CR31","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","volume":"17","author":"E Badouel","year":"2007","unstructured":"Badouel, E., Bednarczyk, M.A., Borzyszkowski, A.M., Caillaud, B., Darondeau, P.: Concurrent secrets. Discr. Event Dyn. Syst. 17(4), 425\u2013446 (2007)","journal-title":"Discr. Event Dyn. Syst."}],"container-title":["Lecture Notes in Computer Science","Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17834-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,25]],"date-time":"2022-09-25T23:07:59Z","timestamp":1664147279000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17834-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031178337","9783031178344"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17834-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CoopIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cooperative Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bozen-Bolzano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coopis2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/coopisconference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"68","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}