Sciweavers

AINA
2007
IEEE

Specification Synthesis for Monitoring and Analysis of MANET Protocols

13 years 7 months ago
Specification Synthesis for Monitoring and Analysis of MANET Protocols
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 zes 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. We conduct preliminary experiments on the example of AODV and DSR ad-hoc routing protocols and discuss the effectiveness of the generated specification models in detecting protocol misuses.
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xi
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where AINA
Authors Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xia Wang, Johnny Wong
Comments (0)