{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T23:28:05Z","timestamp":1769556485668,"version":"3.49.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030526856","type":"print"},{"value":"9783030526863","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-52686-3_1","type":"book-chapter","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T12:05:55Z","timestamp":1594641955000},"page":"3-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Application Error Detection in Networks by Protocol Behavior Model"],"prefix":"10.1007","author":[{"given":"Martin","family":"Holkovi\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9177-3073","authenticated-orcid":false,"given":"Libor","family":"Pol\u010d\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9652-6418","authenticated-orcid":false,"given":"Ond\u0159ej","family":"Ry\u0161av\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,14]]},"reference":[{"key":"1_CR1","unstructured":"Aggarwal, B., Bhagwan, R., Das, T., Eswaran, S., Padmanabhan, V.N., Voelker, G.M.: NetPrints: diagnosing home network misconfigurations using shared knowledge. In: Proceedings of the 6th USENIX symposium on Networked Systems Design and Implementation, pp. 349\u2013364, July 2009. \nhttp:\/\/portal.acm.org\/citation.cfm?id=1559001"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1710115.1710119","volume":"37","author":"A Anand","year":"2010","unstructured":"Anand, A., Akella, A.: Net-replay: a new network primitive. ACM SIGMETRICS Perform. Eval. Rev. 37(3), 14\u201319 (2010). \nhttps:\/\/doi.org\/10.1145\/1710115.1710119","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"1_CR3","unstructured":"Antunes, J., Neves, N., Verissimo, P.: ReverX: reverse engineering of protocols. Technical report 2011\u201301, Department of Informatics, School of Sciences, University of Lisbon (2011). \nhttp:\/\/hdl.handle.net\/10451\/14078"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Burschka, S., Dupasquier, B.: Tranalyzer: versatile high performance network traffic analyser. In: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), pp.1\u20138 (2017). \nhttps:\/\/doi.org\/10.1109\/SSCI.2016.7849909","DOI":"10.1109\/SSCI.2016.7849909"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Casas, P., Zseby, T., Mellia, M.: Big-DAMA: big data analytics for network traffic monitoring and analysis. In: Proceedings of the 2016 Workshop on Fostering Latin-American Research in Data Communication Networks (ACM LANCOMM 2016), pp. 1\u20133 (2016). \nhttps:\/\/doi.org\/10.1145\/2940116.2940117","DOI":"10.1145\/2940116.2940117"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Chen, M., Zheng, A., Lloyd, J., Jordan, M., Brewer, E.: Failure diagnosis using decision trees. In: Proceedings of International Conference on Autonomic Computing, pp. 36\u201343 (2004). \nhttps:\/\/doi.org\/10.1109\/ICAC.2004.1301345\n\n. \nhttp:\/\/ieeexplore.ieee.org\/document\/1301345\/","DOI":"10.1109\/ICAC.2004.1301345"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Comparetti, P.M., Wondracek, G., Kr\u00fcgel, C., Kirda, E.: Prospex: protocol specification extraction. In: 2009 30th IEEE Symposium on Security and Privacy, pp. 110\u2013125 (2009)","DOI":"10.1109\/SP.2009.14"},{"key":"1_CR8","unstructured":"Cui, W., Kannan, J., Wang, H.J.: Discoverer: automatic protocol reverse engineering from network traces. In: Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium, SS 2007, p. 14. USENIX Association, Boston (2007). Article no 14. ISBN 1113335555779"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"De Paola, A., et al.: Rule based reasoning for network management. In: 7th International Workshop on Computer Architecture for Machine Perception (CAMP 2005), pp. 25\u201330, July 2005. \nhttps:\/\/doi.org\/10.1109\/CAMP.2005.47","DOI":"10.1109\/CAMP.2005.47"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Dhamdhere, A., Teixeira, R., Dovrolis, C., Diot, C.: NetDiagnoser: troubleshooting network unreachabilities using end-to-end probes and routing data. In: Proceedings of the 2007 ACM CoNEXT (2007). \nhttps:\/\/doi.org\/10.1145\/1364654.1364677","DOI":"10.1145\/1364654.1364677"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Dong, C., Dulay, N.: Argumentation-based fault diagnosis for home networks. In: Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, Home Networks 2011, pp. 37\u201342. Association for Computing Machinery. New York (2011). \nhttps:\/\/doi.org\/10.1145\/2018567.2018576","DOI":"10.1145\/2018567.2018576"},{"issue":"8","key":"1_CR12","first-page":"01","volume":"9","author":"AY El Sheikh","year":"2018","unstructured":"El Sheikh, A.Y.: Evaluation of the capabilities of wireshark as network intrusion system. J. Global Res. Comput. Sci. 9(8), 01\u201308 (2018)","journal-title":"J. Global Res. Comput. Sci."},{"key":"1_CR13","unstructured":"Holkovi\u010d, M., Ry\u0161av\u00fd, O., Pol\u010d\u00e1k, L.: Using network traces to generate models for automatic network application protocols diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS, pp. 43\u201353. SciTePress - Science and Technology Publications (2019). \nhttps:\/\/www.fit.vut.cz\/research\/publication\/12012"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Ivkovi\u0107, N., Mili\u0107, L., Konecki, M.: A timed automata model for systems with gateway-connected controller area networks. In: 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS), pp. 97\u2013101. IEEE (2018)","DOI":"10.1109\/ICOMIS.2018.8644867"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/978-3-540-30583-5_63","volume-title":"Artificial Intelligence and Simulation","author":"S Kim","year":"2005","unstructured":"Kim, S., et al.: A rule based approach to network fault and security diagnosis with agent collaboration. In: Kim, T.G. (ed.) AIS 2004. LNCS (LNAI), vol. 3397, pp. 597\u2013606. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30583-5_63"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Krueger, T., Gascon, H., Kr\u00e4mer, N., Rieck, K.: Learning stateful models for network honeypots. In: Proceedings of the 5th ACM Workshop on Security and Artificial Intelligence, AISec 2012, pp. 37\u201348. Association for Computing Machinery, New York 2012). \nhttps:\/\/doi.org\/10.1145\/2381896.2381904","DOI":"10.1145\/2381896.2381904"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Ladi, G., Buttyon, L., Holczer, T.: Message format and field semantics inference for binary protocols using recorded network traffic. In: 2018 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) (2018). \nhttps:\/\/doi.org\/10.23919\/SOFTCOM.2018.8555813","DOI":"10.23919\/SOFTCOM.2018.8555813"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.3182\/20020721-6-ES-1901.00744","volume":"35","author":"J Lunze","year":"2002","unstructured":"Lunze, J., Supavatanakul, P.: Diagnosis of discrete-event system described by timed automata. IFAC Proc. Vol. 35(1), 77\u201382 (2002)","journal-title":"IFAC Proc. Vol."},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Luo, M., Zhang, D., Phua, G., Chen, L., Wang, D.: An interactive rule based event management system for effective equipment troubleshooting. In: Proceedings of the IEEE Conference on Decision and Control, vol. 8(3), pp. 2329\u20132334 (2011). \nhttps:\/\/doi.org\/10.1007\/s10489-005-4605-0","DOI":"10.1007\/s10489-005-4605-0"},{"key":"1_CR20","volume-title":"Network Analysis Using Wireshark Cookbook","author":"Y Orzach","year":"2013","unstructured":"Orzach, Y.: Network Analysis Using Wireshark Cookbook. Packt Publishing Ltd., Birmingham (2013)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Pellegrino, G., Lin, Q., Hammerschmidt, C., Verwer, S.: Learning behavioral fingerprints from netflows using timed automata. In: 2017 IFIP\/IEEE Symposium on Integrated Network and Service Management (IM), pp. 308\u2013316. IEEE (2017)","DOI":"10.23919\/INM.2017.7987293"},{"key":"1_CR22","unstructured":"Pol\u010d\u00e1k, L.: Lawful interception: identity detection. Ph.D. thesis, Brno University of Technology, Faculty of Information Technology (2017). \nhttps:\/\/www.fit.vut.cz\/study\/phd-thesis\/679\/"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Proch\u00e1zka, M., Macko, D., Jelemensk\u00e1, K.: IP networks diagnostic communication generator. In: Emerging eLearning Technologies and Applications (ICETA), pp. 1\u20136 (2017)","DOI":"10.1109\/ICETA.2017.8102520"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Samhat, A., Skehill, R., Altman, Z.: Automated troubleshooting in WLAN networks. In: 2007 16th IST Mobile and Wireless Communications Summit (2007). \nhttps:\/\/doi.org\/10.1109\/ISTMWC.2007.4299084","DOI":"10.1109\/ISTMWC.2007.4299084"},{"key":"1_CR25","unstructured":"\u0142gorzata Steinder, M., Sethi, A.S.: A survey of fault localization techniques in computer networks. Sci. Comput. Program. 53(2), 165\u2013194 (2004)"},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Tong, V., Tran, H.A., Souihi, S., Mellouk, A.: Network troubleshooting: survey, taxonomy and challenges. In: 2018 International Conference on Smart Communications in Network Technologies, SaCoNeT 2018, pp. 165\u2013170 (2018). \nhttps:\/\/doi.org\/10.1109\/SaCoNeT.2018.8585610","DOI":"10.1109\/SaCoNeT.2018.8585610"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Traverso, S., et al.: Exploiting hybrid measurements for network troubleshooting. In: 2014 16th International Telecommunications Network Strategy and Planning Symposium, Networks (2014). \nhttps:\/\/doi.org\/10.1109\/NETWKS.2014.6959212","DOI":"10.1109\/NETWKS.2014.6959212"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21554-4_1","volume-title":"Applied Cryptography and Network Security","author":"Y Wang","year":"2011","unstructured":"Wang, Y., Zhang, Z., Yao, D.D., Qu, B., Guo, L.: Inferring protocol state machine from network traces: a probabilistic approach. In: Lopez, J., Tsudik, G. (eds.) ACNS 2011. LNCS, vol. 6715, pp. 1\u201318. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21554-4_1"},{"key":"1_CR29","unstructured":"Wondracek, G., Comparetti, P.M., Kruegel, C., Kirda, E.: Automatic network protocol analysis. In: Proceedings of the 15th Annual Network and Distributed System Security Symposium, NDSS (2008)"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Xiao, M.M., Yu, S.Z., Wang, Y.: Automatic network protocol automaton extraction. In: NSS 2009 - Network and System Security (2009). \nhttps:\/\/doi.org\/10.1109\/NSS.2009.71","DOI":"10.1109\/NSS.2009.71"},{"key":"1_CR31","unstructured":"Zeng, H., Kazemian, P., Varghese, G., McKeown, N.: A survey on network troubleshooting. Technical report Stanford\/TR12-HPNG-061012, Stanford University (2012)"}],"container-title":["Communications in Computer and Information Science","E-Business and Telecommunications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-52686-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T12:07:08Z","timestamp":1594642028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-52686-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030526856","9783030526863"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-52686-3_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICETE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on E-Business and Telecommunications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icete2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icete.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"166","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":"11","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":"0","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":"7% - 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":"4","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}