archives

Specification Synthesis for Monitoring and Analysis of MANET Protocols


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Stakhanova, Natalia, Basu, Samik, Zhang, Wensheng, Wang, Xia and Wong, Johnny (2007) Specification Synthesis for Monitoring and Analysis of MANET Protocols. Technical Report 07-02, Department of Computer Science, Iowa State University.

Full text available as:Adobe PDF

Abstract

This paper introduces an approach to automatic synthesis of the specification models of rout- ing 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. We conduct preliminary experi- ments on the example of AODV and DSR ad-hoc routing protocols and discuss the effectiveness of the generated specification models in detecting protocol misuses.

Subjects:Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Network Protocols
ID code:00000524
Deposited by:Natalia Stakhanova on 14 February 2007



Contact site administrator at: ssg@cs.iastate.edu