{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T16:18:47Z","timestamp":1781021927686,"version":"3.54.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T00:00:00Z","timestamp":1666224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T00:00:00Z","timestamp":1666224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1801342"],"award-info":[{"award-number":["CNS-1801342"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10626-022-00369-1","type":"journal-article","created":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T12:04:52Z","timestamp":1666267492000},"page":"573-610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8385-4858","authenticated-orcid":false,"given":"Shoma","family":"Matsui","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":[[2022,10,20]]},"reference":[{"issue":"1","key":"369_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/3061640.3061652","volume":"48","author":"R Alur","year":"2017","unstructured":"Alur R, Tripakis S (2017) Automatic synthesis of distributed protocols. ACM SIGACT News 48 (1):55\u201390. https:\/\/doi.org\/10.1145\/3061640.3061652","journal-title":"ACM SIGACT News"},{"key":"369_CR2","doi-asserted-by":"publisher","unstructured":"Bagheri H, Kang E, Malek S et al (2015) Detection of design flaws in the android permission protocol through bounded verification. In: International symposium on formal methods. https:\/\/doi.org\/10.1007\/978-3-319-19249-9\u2216_6. Springer, pp 73\u201389","DOI":"10.1007\/978-3-319-19249-9\u2216_6"},{"key":"369_CR3","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"issue":"2","key":"369_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0167-6911(90)90004-E","volume":"15","author":"R Brandt","year":"1990","unstructured":"Brandt R, Garg V, Kumar R et al (1990) Formulas for calculating supremal controllable and normal sublanguages. Syst Control Lett 15(2):111\u2013117. https:\/\/doi.org\/10.1016\/0167-6911(90)90004-E","journal-title":"Syst Control Lett"},{"key":"369_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","volume":"97","author":"LK Carvalho","year":"2018","unstructured":"Carvalho LK, Wu YC, Kwong R et al (2018) Detection and mitigation of classes of attacks in supervisory control systems. Automatica 97:121\u2013133. https:\/\/doi.org\/10.1016\/j.automatica.2018.07.017","journal-title":"Automatica"},{"key":"369_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2021","unstructured":"Cassandras CG, Lafortune S (2021) Introduction to discrete event systems, 3rd edn. Springer International Publishing AG, Cham. https:\/\/doi.org\/10.1007\/978-3-030-72274-6","edition":"3rd edn."},{"issue":"1","key":"369_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02551361","volume":"2","author":"H Cho","year":"1989","unstructured":"Cho H, Marcus SI (1989) On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math Control Signals Syst 2(1):47\u201369. https:\/\/doi.org\/10.1007\/BF02551361","journal-title":"Math Control Signals Syst"},{"issue":"2","key":"369_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10626-015-0223-0","volume":"27","author":"R Ehlers","year":"2017","unstructured":"Ehlers R, Lafortune S, Tripakis S et al (2017) Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2):209\u2013260. https:\/\/doi.org\/10.1007\/s10626-015-0223-0","journal-title":"Discrete Event Dynamic Systems"},{"key":"369_CR9","volume-title":"Design and validation of computer protocols, vol 512","author":"GJ Holzmann","year":"1991","unstructured":"Holzmann GJ, Lieberman WS (1991) Design and validation of computer protocols, vol 512. Prentice Hall, Englewood Cliffs"},{"key":"369_CR10","doi-asserted-by":"publisher","unstructured":"Jero S, Lee H, Nita-Rotaru C (2015) Leveraging state information for automated attack discovery in transport protocol implementations. In: 2015 45th Annual IEEE\/IFIP international conference on dependable systems and networks. https:\/\/doi.org\/10.1109\/DSN.2015.22. IEEE, pp 1\u201312","DOI":"10.1109\/DSN.2015.22"},{"key":"369_CR11","doi-asserted-by":"publisher","unstructured":"Kang E, Milicevic A, Jackson D (2016) Multi-representational security analysis. In: Proceedings of the 2016 24th ACM SIGSOFT international symposium on foundations of software engineering. https:\/\/doi.org\/10.1145\/2950290.2950356, pp 181\u2013192","DOI":"10.1145\/2950290.2950356"},{"issue":"3","key":"369_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1023\/A:1008258331497","volume":"7","author":"R Kumar","year":"1997","unstructured":"Kumar R, Nelvagal S, Marcus SI (1997) A discrete event systems approach for protocol conversion. Discrete Event Dynamic Systems 7(3):295\u2013315. https:\/\/doi.org\/10.1023\/A:1008258331497","journal-title":"Discrete Event Dynamic Systems"},{"issue":"5","key":"369_CR13","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1109\/9.1222","volume":"33","author":"S Lafortune","year":"1988","unstructured":"Lafortune S (1988) Modeling and analysis of transaction execution in database systems. IEEE Trans Autom Control 33(5):439\u2013447. https:\/\/doi.org\/10.1109\/9.1222","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"369_CR14","doi-asserted-by":"publisher","first-page":"2067","DOI":"10.1109\/TCST.2012.2226034","volume":"21","author":"H Liao","year":"2013","unstructured":"Liao H, Wang Y, Stanley J et al (2013) Eliminating concurrency bugs in multithreaded software: a new approach based on discrete-event control. IEEE Trans Control Syst Technol 21(6):2067\u20132082. https:\/\/doi.org\/10.1109\/TCST.2012.2226034","journal-title":"IEEE Trans Control Syst Technol"},{"key":"369_CR15","unstructured":"Lin L, Zhu Y, Su R (2019). Synthesis of covert actuator attackers for free. arXiv:190410159"},{"key":"369_CR16","doi-asserted-by":"crossref","unstructured":"Matsui S, Lafortune S (2022) Synthesis of winning attacks on communication protocols using supervisory control theory: Two case studies. arXiv:210206028","DOI":"10.1007\/s10626-022-00369-1"},{"key":"369_CR17","doi-asserted-by":"publisher","unstructured":"Meira-G\u00f3es R, Marchand H, Lafortune S (2019) Towards resilient supervisors against sensor deception attacks. In: 2019 IEEE 58Th conference on decision and control (CDC). https:\/\/doi.org\/10.1109\/CDC40024.2019.9029737. IEEE, pp 5144\u20135149","DOI":"10.1109\/CDC40024.2019.9029737"},{"key":"369_CR18","doi-asserted-by":"publisher","first-page":"109,172","DOI":"10.1016\/j.automatica.2020.109172","volume":"121","author":"R Meira-G\u00f3es","year":"2020","unstructured":"Meira-G\u00f3es R, Kang E, Kwong RH et al (2020) Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Automatica 121:109,172. https:\/\/doi.org\/10.1016\/j.automatica.2020.109172","journal-title":"Automatica"},{"key":"369_CR19","doi-asserted-by":"publisher","unstructured":"Postel J (1981) Transmission control protocol. https:\/\/doi.org\/10.17487\/RFC0793","DOI":"10.17487\/RFC0793"},{"key":"369_CR20","unstructured":"Rudie K, Wonham WM (1990) Supervisory control of communicating processes. In: Proceedings of the IFIP WG6 1 tenth international symposium on protocol specification testing and verification X, pp 243\u2013257"},{"key":"369_CR21","doi-asserted-by":"publisher","unstructured":"Rudie K, Wonham WM (1992) Protocol verification using discrete-event systems. In: Proceedings of the 31st IEEE conference on decision and control. https:\/\/doi.org\/10.1109\/CDC.1992.370955. IEEE, pp 3770\u20133777","DOI":"10.1109\/CDC.1992.370955"},{"issue":"5","key":"369_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/242896.242900","volume":"26","author":"K Saleh","year":"1996","unstructured":"Saleh K (1996) Synthesis of communications protocols: an annotated bibliography. ACM SIGCOMM Computer Communication Review 26(5):40\u201359. https:\/\/doi.org\/10.1145\/242896.242900","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"369_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.automatica.2018.04.006","volume":"94","author":"R Su","year":"2018","unstructured":"Su R (2018) Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica 94:35\u201344. https:\/\/doi.org\/10.1016\/j.automatica.2018.04.006","journal-title":"Automatica"},{"key":"369_CR24","unstructured":"Von Hippel M (2020) Korg. https:\/\/github.com\/maxvonhippel\/AttackerSynthesis"},{"key":"369_CR25","doi-asserted-by":"crossref","unstructured":"Von Hippel M, Vick C, Tripakis S et al (2020a) Automated attacker synthesis for distributed protocols. arXiv:200401220","DOI":"10.1007\/978-3-030-54549-9_9"},{"key":"369_CR26","doi-asserted-by":"publisher","unstructured":"Von Hippel M, Vick C, Tripakis S et al (2020b) Automated attacker synthesis for distributed protocols. In: International conference on computer safety, reliability, and security. https:\/\/doi.org\/10.1007\/978-3-030-54549-9\u2216_9. Springer, pp 133\u2013149","DOI":"10.1007\/978-3-030-54549-9\u2216_9"},{"issue":"4","key":"369_CR27","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1007\/s13235-018-0285-3","volume":"9","author":"M Wakaiki","year":"2019","unstructured":"Wakaiki M, Tabuada P, Hespanha JP (2019) Supervisory control of discrete-event systems under attacks. Dynamic Games and Applications 9(4):965\u2013983. https:\/\/doi.org\/10.1007\/s13235-018-0285-3","journal-title":"Dynamic Games and Applications"},{"key":"369_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory control of discrete-event systems","author":"WM Wonham","year":"2019","unstructured":"Wonham WM, Cai K (2019) Supervisory control of discrete-event systems. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-319-77452-7"},{"issue":"5","key":"369_CR29","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1109\/TAC.2015.2460391","volume":"61","author":"X Yin","year":"2015","unstructured":"Yin X, Lafortune S (2015) Synthesis of maximally permissive supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61 (5):1239\u20131254. https:\/\/doi.org\/10.1109\/TAC.2015.2460391","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00369-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-022-00369-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00369-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T13:27:14Z","timestamp":1668173234000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-022-00369-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,20]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["369"],"URL":"https:\/\/doi.org\/10.1007\/s10626-022-00369-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,20]]},"assertion":[{"value":"9 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 September 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 October 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interests"}}]}}