Corpus ID: 195347613

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

@article{Fehnker2013APA,
  title={A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV},
  author={A. Fehnker and R. V. Glabbeek and P. H{\"o}fner and A. McIver and M. Portmann and W. Tan},
  journal={ArXiv},
  year={2013},
  volume={abs/1312.7645}
}
  • A. Fehnker, R. V. Glabbeek, +3 authors W. Tan
  • Published 2013
  • Computer Science
  • ArXiv
  • We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines novel treatments of local broadcast, conditional unicast and data structures. In this framework we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) protocol, a popular routing protocol designed for MANETs and WMNs, and one of the four protocols currently standardised by the IETF MANET… CONTINUE READING
    52 Citations
    Modelling and verifying the AODV routing protocol
    • 31
    • PDF
    Modeling and efficient verification of wireless ad hoc networks
    • 15
    • Highly Influenced
    • PDF
    Formal Analysis of Network Routing Protocols
    A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract)
    • 14
    • PDF
    Mechanization of the Algebra for Wireless Networks (AWN)
    • T. Bourke
    • Computer Science
    • Arch. Formal Proofs
    • 2014
    • 6
    • PDF
    Loop freedom of the (untimed) AODV routing protocol
    • 2
    • PDF
    Automated Analysis of AODV Using UPPAAL
    • 64
    • PDF
    Towards a rigorous analysis of AODVv2 (DYMO)
    • 20
    • PDF
    A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude

    References

    SHOWING 1-10 OF 83 REFERENCES
    A rigorous analysis of AODV and its variants
    • 27
    • PDF
    A Timing Analysis of AODV
    • 60
    • PDF
    A process calculus for Mobile Ad Hoc Networks
    • 83
    Verification of mobile ad hoc networks: An algebraic approach
    • 16
    • PDF
    Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
    • 40
    • Highly Influential
    A process calculus for energy-aware multicast communications of mobile ad hoc networks
    • 6
    • PDF
    Topology-Based Mobility Models for Wireless Networks
    • 15
    • PDF
    Towards a rigorous analysis of AODVv2 (DYMO)
    • 20
    • PDF