Learning Fragments of the TCP Network Protocol

  • Paul Fiterău-Broştean
  • Ramon Janssen
  • Frits Vaandrager
Conference paper

DOI: 10.1007/978-3-319-10702-8_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8718)
Cite this paper as:
Fiterău-Broştean P., Janssen R., Vaandrager F. (2014) Learning Fragments of the TCP Network Protocol. In: Lang F., Flammini F. (eds) Formal Methods for Industrial Critical Systems. FMICS 2014. Lecture Notes in Computer Science, vol 8718. Springer, Cham

Abstract

We apply automata learning techniques to learn fragments of the TCP network protocol by observing its external behaviour. We show that different implementations of TCP in Windows 8 and Ubuntu induce different automata models, thus allowing for fingerprinting of these implementations. In order to infer our models we use the notion of a mapper component introduced by Aarts, Jonsson and Uijen, which abstracts the large number of possible TCP packets into a limited number of abstract actions that can be handled by the regular inference tool LearnLib. Inspection of the learned models reveals that both Windows 8 and Ubuntu 13.10 violate RFC 793.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Paul Fiterău-Broştean
    • 1
  • Ramon Janssen
    • 1
  • Frits Vaandrager
    • 1
  1. 1.Institute for Computing and Information SciencesRadboud University NijmegenNijmegenThe Netherlands

Personalised recommendations