{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T02:01:34Z","timestamp":1771120894325,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030962814","type":"print"},{"value":"9783030962821","type":"electronic"}],"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.springernature.com\/gp\/researchers\/text-and-data-mining"},{"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.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-96282-1_6","type":"book-chapter","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T22:05:11Z","timestamp":1644876311000},"page":"79-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Industrial Control System Attack Detection Model Based on Bayesian Network and Timed Automata"],"prefix":"10.1007","author":[{"given":"Ye","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pei-zhi","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-fang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,16]]},"reference":[{"key":"6_CR1","unstructured":"Wenli, S., Panfeng, A., Ming, W.: Overview of research and development of intrusion detection technology for industrial control systems. Appl. Res. Comput. 34(002), 328\u2013333 (2017)"},{"key":"6_CR2","unstructured":"Yingxu, L., Zenghui, L., Xiaotian, C.: Overview of industrial control system intrusion detection research. J. Commun. 38(002), 143\u2013156 (2017)"},{"key":"6_CR3","unstructured":"Yue, W., Ting, F., Minhu, M.: The evolution and enlightenment of U.S. critical infrastructure information security monitoring and early warning mechanism. Intell. Mag. 32(002), 142\u2013155 (2016)"},{"key":"6_CR4","unstructured":"Morrris, T., Wei, G.: On cyber attacks and signature based intrusion detection for MODBUS based industrial control systems. J. Digit. Forensics Secur. Law. 9, 37\u201356 (2014)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Oman, P., Phillips, M.: Intrusion detection and event monitoring in SCADA networks. DBLP. 253, 161\u2013173 (2007)","DOI":"10.1007\/978-0-387-75462-8_12"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Zheng, X., Julien, C.: Verification and validation in cyber physical systems. In: Research Challenges and a Way Forward. IEEE (2015)","DOI":"10.1109\/SEsCPS.2015.11"},{"key":"6_CR7","unstructured":"Zuliani, P.: Statistical model checking for cyberphysical systems. In: Proceedings of the International Conference on Automated Technology for Verification and Analysis (2011)"},{"key":"6_CR8","unstructured":"Adepu, S., Kang, E., Jackson, D., et al.: Model-based security analysis of a water treatment system. In: Proceedings of the 2nd International Workshop on Software Engineering for Smart CyberPhysical Systems (2016)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Junejo, K.N., Goh, J.: Behavior-based attack detection and classification in cyber physical systems using machine learning. In: Proceedings of the ACM International Workshop on Cyber-physical System Security (2016)","DOI":"10.1145\/2899015.2899016"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Goh, J., Adepu, S., Tan, M., et al.: Anomaly detection in cyber physical systems using recurrent neural networks. In: Proceedings of the IEEE International Symposium on High Assurance Systems Engineering (2017)","DOI":"10.1109\/HASE.2017.36"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Inoue, J., Yamagata, Y., Chen, Y., et al.: Anomaly detection for a water treatment system using unsupervised machine learning. In: Proceedings of the 2017 IEEE International Conference on Data Mining Workshops (ICDMW) (2017)","DOI":"10.1109\/ICDMW.2017.149"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Adepu, S., Mathur, A.: Generalized attacker and attack models for cyber physical systems. In: Proceedings of the Computer Software and Applications Conference (2016)","DOI":"10.1109\/COMPSAC.2016.122"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Adepu, S., Mathur, A.: Using process invariants to detect cyber attacks on a water treatment system. In: Proceedings of the 31st International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2016 (2016)","DOI":"10.1007\/978-3-319-33630-5_7"},{"key":"6_CR14","unstructured":"Keogh, E., Chu, S., Hart, D., et al.: An online algorithm for segmenting time series. In: Proceedings of the 2001 IEEE International Conference on Data Mining (2002)"},{"key":"6_CR15","unstructured":"Verwer, Ewout, S.: Lazy abstraction for timed automata: theory and practice. Electr. Eng. Math. Comput. Sci. (2013)"},{"key":"6_CR16","unstructured":"Herbreteau, Walukiewicz, l.: Efficient verification of timed Automata. J. Comput. Sci. 07(004), (2016)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-15488-1_17","volume-title":"Grammatical Inference: Theoretical Results and Applications","author":"S Verwer","year":"2010","unstructured":"Verwer, S., de Weerdt, M., Witteveen, C.: A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data. In: Sempere, J.M., Garc\u00eda, P. (eds.) Grammatical Inference: Theoretical Results and Applications, vol. 6339, pp. 203\u2013216. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15488-1_17"},{"issue":"4","key":"6_CR18","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1023\/A:1022649401552","volume":"9","author":"GF Cooper","year":"1992","unstructured":"Cooper, G.F., Herskovits, E.A.: Bayesian method for the induction of probabilistic networks from data. Mach. Learn. 9(4), 309\u2013347 (1992)","journal-title":"Mach. Learn."},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/int.21697","volume":"30","author":"MC Bielza Lozoya","year":"2015","unstructured":"Bielza Lozoya, M.C., Moral Callej\u00f3n, S., Salmer\u00f3n Cerd\u00e1n, A.: Recent advances in probabilistic graphical models. Int. J. Intell. Syst. 30(3), 207\u2013208 (2015)","journal-title":"Int. J. Intell. Syst."}],"container-title":["Lecture Notes in Computer Science","Big Data \u2013 BigData 2021"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-96282-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T01:03:14Z","timestamp":1771117394000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-96282-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030962814","9783030962821"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-96282-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"16 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Fund of Education Department of Inner Mongolia Autonomous Region [NJZZ18077]","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Fund Project:"}},{"value":"BigData","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Big Data","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bigdata2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.servicessociety.org\/bigdata","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}