{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T04:15:00Z","timestamp":1777868100461,"version":"3.51.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032234551","type":"print"},{"value":"9783032234568","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-23456-8_20","type":"book-chapter","created":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:26:48Z","timestamp":1777548408000},"page":"371-391","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Decision Problem of\u00a0a\u00a0Class of\u00a0Automata Used for\u00a0Security Verification of\u00a0Network Protocols"],"prefix":"10.1007","author":[{"given":"Qingxia","family":"Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhe","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,24]]},"reference":[{"issue":"16","key":"20_CR1","doi-asserted-by":"publisher","first-page":"3606","DOI":"10.1177\/01423312211040314","volume":"43","author":"Q Xu","year":"2021","unstructured":"Xu, Q., Zhang, Z., Yan, Y., Xia, C.: Security and privacy with K-step opacity for finite automata via a novel algebraic approach. Trans. Inst. Meas. Control. 43(16), 3606\u20133614 (2021)","journal-title":"Trans. Inst. Meas. Control."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Colombo C., Pace G.J., Schneider G.: LARVA\u2014safer monitoring of real-time java programs (Tool Paper). In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp. 33\u201337 (2009)","DOI":"10.1109\/SEFM.2009.13"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.arcontrol.2012.09.015","volume":"36","author":"D Soliman","year":"2012","unstructured":"Soliman, D., Thramboulidis, K., Frey, G.: Transformation of function block diagrams to UPPAAL timed automata for the verification of safety applications. Annu. Rev. Control. 36(2), 338\u2013345 (2012)","journal-title":"Annu. Rev. Control."},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TASE.2011.2124457","volume":"8","author":"L Ouedraogo","year":"2011","unstructured":"Ouedraogo, L., Kumar, R., Malik, R., Akesson, K.: Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Trans. Autom. Sci. Eng. 8(3), 560\u2013569 (2011)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"3\u20134","key":"20_CR5","first-page":"453","volume":"79","author":"M Kurkowski","year":"2007","unstructured":"Kurkowski, M., Penczek, W.: Verifying security protocols modelled by networks of automata. Fund. Inform. 79(3\u20134), 453\u2013471 (2007)","journal-title":"Fund. Inform."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Fathinavid A.H., Aghababa A.B.: A protocol for intrusion detection based on learning automata in forwarding packets for distributed wireless sensor networks. In: 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, pp. 373\u2013380 (2012)","DOI":"10.1109\/CyberC.2012.69"},{"issue":"1","key":"20_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.09.006","volume":"330","author":"DS Ananichev","year":"2005","unstructured":"Ananichev, D.S., Volkov, M.V.: Synchronizing generalized monotonic automata. Theoret. Comput. Sci. 330(1), 3\u201313 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"37","key":"20_CR8","doi-asserted-by":"publisher","first-page":"3513","DOI":"10.1016\/j.tcs.2009.03.021","volume":"410","author":"M Volkov","year":"2009","unstructured":"Volkov, M.: Synchronizing automata preserving a chain of partial orders. Theoret. Comput. Sci. 410(37), 3513\u20133519 (2009)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"20_CR9","first-page":"610","volume":"42","author":"ZH Cui","year":"2019","unstructured":"Cui, Z.H., He, Y., Sun, S.Y.: Synchronizing bounded partially ordered automata. Chinese J. Comput. 42(3), 610\u2013623 (2019)","journal-title":"Chinese J. Comput."},{"key":"20_CR10","unstructured":"Cui Z.H., Wang Z.X., He.Y.: On the synchronizing problem of tree-Like partially ordered automata. Chinese J. Comput. 46(9), 1960\u20131976 (2023)"},{"issue":"S1","key":"20_CR11","first-page":"841","volume":"50","author":"ZX Wang","year":"2023","unstructured":"Wang, Z.X., Jiang, G.D.: Synchronizing algorithms for bounded partially ordered automata. Comput. Sci. 50(S1), 841\u2013845 (2023)","journal-title":"Comput. Sci."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Xiao M.M., Yu S.Z., Wang Y.: Automatic network protocol automaton extraction. In: 2009 Third International Conference on Network and System Security, pp. 336\u2013343 (2009)","DOI":"10.1109\/NSS.2009.71"},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3607471","volume":"70","author":"N Cotumaccio","year":"2023","unstructured":"Cotumaccio, N., D\u2019Agostino, G., Policriti, A.: Co-lexicographically ordering automata and regular languages-part. J. ACM 70(4), 1\u201373 (2023)","journal-title":"J. ACM"},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.tcs.2004.03.068","volume":"327","author":"DS Ananichev","year":"2004","unstructured":"Ananichev, D.S., Volkov, M.V.: Synchronizing monotonic automata. Theoret. Comput. Sci. 327(3), 225\u2013239 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"20_CR15","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198534426.001.0001","volume-title":"Automata and languages","author":"J Howie","year":"1991","unstructured":"Howie, J.: Automata and languages. Clarendon Press, Oxford (1991)"},{"key":"20_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0018-1","volume-title":"Lattice theory: foundation","author":"G Gr\u00e4tzer","year":"2011","unstructured":"Gr\u00e4tzer, G.: Lattice theory: foundation. Switzerland. Birkh\u00e4user, Basel (2011)"},{"key":"20_CR17","unstructured":"Kolman B., Busky R.C., Ross S.C.: Discrete mathematical structures. 6th Edn. Pearson Education Inc. (2012)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Security and Privacy in Communication Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-23456-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:26:53Z","timestamp":1777548413000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-23456-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032234551","9783032234568"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-23456-8_20","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"24 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SecureComm","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Security and Privacy in Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xiangtan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"securecomm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/securecomm.eai-conferences.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}