Specification Synthesis for Monitoring and Analysis of MANET Protocols

  title={Specification Synthesis for Monitoring and Analysis of MANET Protocols},
  author={Natalia Stakhanova and Samik Basu and Wensheng Zhang and Xia Wang and Johnny S. Wong},
  journal={21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07)},
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our technique generalizes the monitored sequences of routing messages constructing a high-level abstract view of the protocol. The basis of our method is similar to inductive logic programming technique that derives a sound hypothesis from the individual examples. The preliminary experiments are presented on the example… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…