Learning a State Diagram of TCP Using Abstraction


Techniques have been developed for automated generation of state diagrams for modelling network automata, by only observing the external behaviour of such an automaton. Although these techniques have been applied on simple protocols and on software simulations, very few complex real-world network interfaces have been modeled in this manner. For this thesis, these modelling techniques have been applied to TCP-interfaces by connecting an implementation of a learning algorithm to them over a network. In this way, the behaviour of TCPimplementations of four different operating systems has been modeled, and compared to the standard model.

10 Figures and Tables

Cite this paper

@inproceedings{Janssen2013LearningAS, title={Learning a State Diagram of TCP Using Abstraction}, author={Ramon Janssen and Frits W. Vaandrager and Sicco Verwer}, year={2013} }