Specification Synthesis for Monitoring and Analysis of MANET Protocols

dc.contributor.author Stakhanova, Natalia
dc.contributor.author Basu, Samik
dc.contributor.author Wensheng, Zhang
dc.contributor.author Wang, Xia
dc.contributor.author Wong, Johnny
dc.contributor.department Computer Science
dc.date 2018-02-13T23:24:10.000
dc.date.accessioned 2020-06-30T01:55:43Z
dc.date.available 2020-06-30T01:55:43Z
dc.date.issued 2007-01-01
dc.description.abstract <p>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.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/195/
dc.identifier.articleid 1208
dc.identifier.contextkey 5437807
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/195
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20011
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/195/learningSpecs_techReport.pdf|||Fri Jan 14 21:57:09 UTC 2022
dc.subject.disciplines OS and Networks
dc.title Specification Synthesis for Monitoring and Analysis of MANET Protocols
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isAuthorOfPublication 5b8e3e14-3847-4a36-aa1e-0782ced64a70
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
learningSpecs_techReport.pdf
Size:
204.77 KB
Format:
Adobe Portable Document Format
Description:
Collections