{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:53:15Z","timestamp":1781020395993,"version":"3.54.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031603907","type":"print"},{"value":"9783031603914","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-60391-4_3","type":"book-chapter","created":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T07:01:47Z","timestamp":1718607707000},"page":"33-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Combining Cryptography and\u00a0Discrete-Event Systems to\u00a0Study Sensor and\u00a0Actuator Cyberattacks"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Khoumsi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammed","family":"Erradi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fahd","family":"Adni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,6,18]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Carvalho, L., Wu, Y., Kwong, R., Lafortune, S.: Detection and prevention of actuator enablement attacks in supervisory control systems. In: 13th International Workshop on Discrete Event Systems (WODES), pp. 298\u2013305. IEEE, Xi\u2019an, China (2016)","DOI":"10.1109\/WODES.2016.7497863"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","volume":"97","author":"L Carvalho","year":"2018","unstructured":"Carvalho, L., Wu, Y., Kwong, R., Lafortune, S.: Detection and mitigation of classes of attacks in supervisory control. Automatica 97, 121\u2013133 (2018)","journal-title":"Automatica"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"24325","DOI":"10.1109\/ACCESS.2018.2819189","volume":"6","author":"J Cheon","year":"2018","unstructured":"Cheon, J., et al.: Toward a secure drone system: flying with real-time homomorphic authenticated encryption. IEEE Access 6, 24325\u201324339 (2018)","journal-title":"IEEE Access"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Essa, A., Al-Shoura, T., Nabulsi, A.A., Al-Ali, A.R., Aloul, F.: Cyber Physical Sensors System Security: Threats, Vulnerabilities, and Solutions. In: Proceedings of the 2nd International Conference on Smart Grid and Smart Cities (ICSGSC), pp. 62\u201367. IEEE, Kuala Lumpur, Malaysia (2018)","DOI":"10.1109\/ICSGSC.2018.8541316"},{"key":"3_CR5","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"2006","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston, MA, USA (June (2006)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"8841","DOI":"10.1109\/ACCESS.2018.2801861","volume":"6","author":"JW Kang","year":"2018","unstructured":"Kang, J.W., Joo, I.Y., Dae-Hynn, C.: False data injection attacks on contingency analysis: attack strategies and impact assessment. IEEE Access 6, 8841\u20138851 (2018)","journal-title":"IEEE Access"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1002\/sec.1009","volume":"9","author":"MR Kanjee","year":"2016","unstructured":"Kanjee, M.R., Liu, H.: Authentication and key relay in medical cyber-physical systems. Secur. Commun. Netw. 9, 874\u2013885 (2016)","journal-title":"Secur. Commun. Netw."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Khoumsi, A.: Sensor and actuator attacks of cyber-physical systems: a study based on supervisory control of discrete event systems. In: Proceedings of the 8th International Conference on Systems and Control (ICSC), pp. 176\u2013182. IEEE, Marrakesh, Morocco (2019)","DOI":"10.1109\/ICSC47195.2019.8950627"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Khoumsi, A.: Decentralized architectures for supervisory control of discrete event systems. In: Garc\u00eda, J. (ed.) Encyclopedia of Electrical and Electronic Power Engineering, pp. 661\u2013673. Elsevier, Oxford (2023). https:\/\/doi.org\/10.1016\/B978-0-12-821204-2.00050-7, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780128212042000507","DOI":"10.1016\/B978-0-12-821204-2.00050-7"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Khoumsi, A.: Supervisory control of discrete event systems under total and partial observation. In: Garc\u00eda, J. (ed.) Encyclopedia of Electrical and Electronic Power Engineering, pp. 649\u2013660. Elsevier, Oxford (2023). https:\/\/doi.org\/10.1016\/B978-0-12-821204-2.00081-7, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780128212042000817","DOI":"10.1016\/B978-0-12-821204-2.00081-7"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Khoumsi, A.: Supervisory control of real-time discrete event systems. In: Garc\u00eda, J. (ed.) Encyclopedia of Electrical and Electronic Power Engineering, pp. 674\u2013687. Elsevier, Oxford (2023). https:\/\/doi.org\/10.1016\/B978-0-12-821204-2.00051-9, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780128212042000519","DOI":"10.1016\/B978-0-12-821204-2.00051-9"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Lima, P., Alves, M., Carvalho, L., Moreira, M.: Security against network attacks in supervisory control systems. In: 20th IFAC World Congress, pp. 12333\u201312338. Elsevier, Toulouse, France (2017)","DOI":"10.1016\/j.ifacol.2017.08.2161"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Lima, P., Carvalho, L., Moreira, M.: Detecteable and undetectable network attack security of cyber-physical systems. In: 10th International Workshop on Discrete Event Systems (WODES), pp. 179\u2013185. Elsevier, Sorrento Coast, Italy (2018)","DOI":"10.1016\/j.ifacol.2018.06.298"},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ifacol.2021.04.047","volume":"53","author":"L Lin","year":"2020","unstructured":"Lin, L., Su, R.: Synthesis of covert actuator and sensor attackers as supervisor synthesis. IFAC-PapersOnLine 53(4), 1\u20136 (2020). https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.047","journal-title":"IFAC-PapersOnLine"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/s10626-020-00312-2","volume":"30","author":"L Lin","year":"2020","unstructured":"Lin, L., Su, R.: Synthesis of covert actuator and sensor attackers for free. Discrete Event Dyn. Syst. 30, 561\u2013577 (2020). https:\/\/doi.org\/10.1007\/s10626-020-00312-2","journal-title":"Discrete Event Dyn. Syst."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"109714","DOI":"10.1016\/j.automatica.2021.109714","volume":"130","author":"L Lin","year":"2021","unstructured":"Lin, L., Su, R.: Synthesis of covert actuator and sensor attackers. Automatica 130, 109714 (2021). https:\/\/doi.org\/10.1016\/j.automatica.2021.109714","journal-title":"Automatica"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Lin, L., Thuijsman, S., Zhu, Y., Ware, S., Su, R., Reniers, M.: Synthesis of successful actuator attackers on supervisors. In: 2019 American Control Conference (ACC) (2019)","DOI":"10.23919\/ACC.2019.8814712"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Meira-Goes, R., Kang, E., Kwong, H., Lafortune, S.: Stealthy deception attacks for cyber-physical systems. In: Conference on Decision and Control (CDC), pp. 4224\u20134230. IEEE, Melbourne, Australia (2017)","DOI":"10.1109\/CDC.2017.8264281"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"109172","DOI":"10.1016\/j.automatica.2020.109172","volume":"121","author":"R Meira-Goes","year":"2020","unstructured":"Meira-Goes, R., Kang, E., Kwong, H., Lafortune, S.: Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems. Automatica 121, 109172 (2020)","journal-title":"Automatica"},{"issue":"10","key":"3_CR20","doi-asserted-by":"publisher","first-page":"4990","DOI":"10.1109\/TAC.2021.3051459","volume":"66","author":"R Meira-G\u00f3es","year":"2021","unstructured":"Meira-G\u00f3es, R., Lafortune, S., Marchand, H.: Synthesis of supervisors robust against sensor deception attacks. IEEE Trans. Autom. Control 66(10), 4990\u20134997 (2021). https:\/\/doi.org\/10.1109\/TAC.2021.3051459","journal-title":"IEEE Trans. Autom. Control"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Meira-Goes, R., Marchand, H., Lafortune, S.: Towards resilient supervisors against sensor deception attacks. In: Conference on Decision and Control (CDC), pp. 5144\u20135149. IEEE, Nice, France (2019)","DOI":"10.1109\/CDC40024.2019.9029737"},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.automatica.2011.01.007","volume":"47","author":"A Paoli","year":"2011","unstructured":"Paoli, A., Sartini, M., Lafortune, S.: Active fault tolerant control of discrete-event systems using online diagnostics. Automatica 47(4), 639\u2013649 (2011)","journal-title":"Automatica"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77, 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1016\/j.jcss.2013.06.013","volume":"80","author":"SU Rehman","year":"2018","unstructured":"Rehman, S.U., Sowerby, K., Coghill, C.: Analysis of impersonation attacks on systems using RF fingerprinting and low-end receivers. J. Comput. Syst. Sci. 80(3), 591\u2013601 (2018)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohidden, K., Teneketzis, D.: Diagnosability of discrete event systems. IEEE Trans. Autom. Control 40, 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"8","key":"3_CR26","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1109\/TAC.2015.2492159","volume":"61","author":"Y Shoukry","year":"2016","unstructured":"Shoukry, Y., Tabuada, P.: Event-triggered state observers for sparse sensor noise\/attacks. IEEE Trans. Autom. Control 61(8), 2079\u20132091 (2016). https:\/\/doi.org\/10.1109\/TAC.2015.2492159","journal-title":"IEEE Trans. Autom. Control"},{"key":"3_CR27","volume-title":"Cryptography and Network Security: Principles and Practice","author":"W Stallings","year":"2017","unstructured":"Stallings, W.: Cryptography and Network Security: Principles and Practice. Pearson, Harlow, England (2017)"},{"key":"3_CR28","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.: Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica 94, 35\u201344 (2018)","journal-title":"Automatica"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"110910","DOI":"10.1016\/j.automatica.2023.110910","volume":"151","author":"R Tai","year":"2023","unstructured":"Tai, R., Lin, L., Su, R.: Synthesis of optimal covert sensor-actuator attackers for discrete-event systems. Automatica 151, 110910 (2023). https:\/\/doi.org\/10.1016\/j.automatica.2023.110910","journal-title":"Automatica"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"26059","DOI":"10.1109\/ACCESS.2018.2832854","volume":"6","author":"H Tang","year":"2018","unstructured":"Tang, H., Yang, Q., Long, K.: A network coding and DES based dynamic encription scheme for moving target defense. IEEE Access 6, 26059\u201326068 (2018)","journal-title":"IEEE Access"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Thorsley, D., Teneketzis, D.: Intrusion detection in controlled discrete event systems. In: 45th IEEE Conference on Decision and Control, pp. 6047\u20136054. IEEE, San Diego, CA, USA (2006)","DOI":"10.1109\/CDC.2006.377810"},{"key":"3_CR32","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, J.: Supervisory control of discrete-event systems under attacks. Dyn. Games Appl. 9, 965\u2013983 (2019)","journal-title":"Dyn. Games Appl."},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bozkurt, A., Pajic, M.: Attack resilient supervisory control of discrete-event systems. In: Conference on Decision and Control (CDC), pp. 2015\u20132020. IEEE, Nice, France (2019)","DOI":"10.1109\/CDC40024.2019.9029767"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/OJCSYS.2023.3290408","volume":"2","author":"Y Wang","year":"2023","unstructured":"Wang, Y., Bozkurt, A., Smith, N., Pajic, M.: Attack-resilient supervisory control of discrete-event systems: a finite-state transducer approach. IEEE Open J. Control Syst. 2, 208\u2013220 (2023)","journal-title":"IEEE Open J. Control Syst."},{"issue":"2","key":"3_CR35","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10626-006-0006-8","volume":"17","author":"Y Wang","year":"2007","unstructured":"Wang, Y., Yoo, T., Lafortune, S.: Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dyn. Syst. Theory Pract. 17(2), 233\u2013263 (2007)","journal-title":"Discrete Event Dyn. Syst. Theory Pract."},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Zhu, Y., Lin, L., Su, R.: Supervisor obfuscation against actuator enablement attack. In: European Control Conference (ECC), pp. 1760\u20131765. IEEE, Naples, Italy (2019)","DOI":"10.23919\/ECC.2019.8795844"}],"container-title":["Lecture Notes in Computer Science","Information Security Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60391-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T07:02:30Z","timestamp":1718607750000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60391-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031603907","9783031603914"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60391-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"18 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WISTP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Information Security Theory and Practice","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 February 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wistp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wistp2024.roc.cnam.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}