{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:52:28Z","timestamp":1752983548667},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319107011"},{"type":"electronic","value":"9783319107028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10702-8_6","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T08:19:16Z","timestamp":1409559556000},"page":"78-93","source":"Crossref","is-referenced-by-count":20,"title":["Learning Fragments of the TCP Network Protocol"],"prefix":"10.1007","author":[{"given":"Paul","family":"Fiter\u0103u-Bro\u015ftean","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon","family":"Janssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: Proceedings of the 4th International Workshop on Security Testing, SECTEST 2013, Luxembourg, March 22 (2013)","DOI":"10.1109\/ICSTW.2013.60"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-32759-9_4","volume-title":"FM 2012: Formal Methods","author":"F. Aarts","year":"2012","unstructured":"Aarts, F., Heidarian, F., Kuppens, H., Olsen, P., Vaandrager, F.: Automata learning through counterexample guided abstraction refinement. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 10\u201327. Springer, Heidelberg (2012)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-16573-3_14","volume-title":"Testing Software and Systems","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Jonsson, B., Uijen, J.: Generating models of infinite-state communication protocols using regular inference with abstraction. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 188\u2013204. Springer, Heidelberg (2010); Full version avalable at \n                  \n                    https:\/\/pms.cs.ru.nl\/iris-diglib\/src\/getContent.php?id=2013-Aarts-InferenceRegular"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Buchler, M., Hossen, K., Mihancea, P.F., Minea, M., Groz, R., Oriat, C.: Model inference and security testing in the spacios project. In: 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), pp. 411\u2013414 (February 2014)","DOI":"10.1109\/CSMR-WCRE.2014.6747207"},{"key":"6_CR6","unstructured":"Chalupar, G., Peherstorfer, S., Poll, E., de Ruiter, J.: Automated reverse engineering using lego, \n                  \n                    http:\/\/www.cs.ru.nl\/~erikpoll\/papers\/legopaper.pdf"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Cho, C.Y., Babi\u0107, D., Shin, E.C.R., Song, D.: Inference and analysis of formal models of botnet command and control protocols, New York, NY, USA (2010)","DOI":"10.1145\/1866307.1866355"},{"key":"6_CR8","unstructured":"Corelabs. Impacket, \n                  \n                    http:\/\/corelabs.coresecurity.com\/index.php?module=Wiki&action=view&type=tool&name=Impacket"},{"key":"6_CR9","unstructured":"Corelabs. Pcapy, \n                  \n                    http:\/\/corelabs.coresecurity.com\/index.php?module=Wiki&action=view&type=tool&name=Pcapy"},{"key":"6_CR10","unstructured":"Fiterau, P., Janssen, R.: Experimental learning setup for TCP, \n                  \n                    https:\/\/bitbucket.org\/fiteraup\/learning-tcp"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/3-540-45923-5_6","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Hagerer","year":"2002","unstructured":"Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model generation by moderated regular extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 80\u201395. Springer, Heidelberg (2002)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-27940-9_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F. Howar","year":"2012","unstructured":"Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register automata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 251\u2013266. Springer, Heidelberg (2012)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-19835-9_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Merten","year":"2011","unstructured":"Merten, M., Steffen, B., Howar, F., Margaria, T.: Next generation LearnLib. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 220\u2013223. Springer, Heidelberg (2011)"},{"key":"6_CR14","unstructured":"Nmap, \n                  \n                    http:\/\/nmap.org\/book\/osdetect.html"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/964723.383083","volume":"31","author":"J. Pahdye","year":"2001","unstructured":"Pahdye, J., Floyd, S.: On inferring tcp behavior. SIGCOMM Comput. Commun. Rev.\u00a031(4), 287\u2013298 (2001)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"6_CR16","unstructured":"Postel, J. (ed.): Transmission Control Protocol - DARPA Internet Program Protocol Specification, RFC 3261 (September 1981), \n                  \n                    http:\/\/www.ietf.org\/rfc\/rfc793.txt"},{"issue":"5","key":"6_CR17","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s10009-009-0111-8","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. STTT\u00a011(5), 393\u2013407 (2009)","journal-title":"STTT"},{"key":"6_CR18","unstructured":"Scapy, \n                  \n                    http:\/\/www.secdev.org\/projects\/scapy\/"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","volume-title":"FM 2009: Formal Methods","author":"M. Shahbaz","year":"2009","unstructured":"Shahbaz, M., Groz, R.: Inferring mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 207\u2013222. Springer, Heidelberg (2009)"},{"key":"6_CR20","unstructured":"SPaCIoS. Deliverable 2.2.1: Method for assessing and retrieving models (2013)"},{"key":"6_CR21","unstructured":"Tijssen, M.: Automatic modeling of ssh implementations with state machine learning algorithms. Bachelor\u2019s thesis, Radboud University Nijmegen (June 2014)"},{"key":"6_CR22","unstructured":"Tomte, \n                  \n                    http:\/\/www.italia.cs.ru.nl\/tomte\/"},{"key":"6_CR23","unstructured":"Ubuntu TCP header file, \n                  \n                    http:\/\/lxr.free-electrons.com\/source\/include\/net\/tcp.h"},{"key":"6_CR24","unstructured":"How to modify the tcp\/ip maximum retransmission time-out, \n                  \n                    http:\/\/support.microsoft.com\/kb\/170359"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10702-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:52:24Z","timestamp":1558968744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10702-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319107011","9783319107028"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10702-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}