Modeling Routing Protocols in Adhoc Networks

DOI10.1007/978-3-540-89985-3_52MaRDI QIDQ3628490zbMATH OpenOpenAlexWikidataFDO

Authors Fatemeh Ghassemi, Ali Movaghar

Publication date 20 May 2009

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89985-3_52

zbMATH Keywords

connectivityprocess algebraad hoc networksrouting protocolrestricted broadcastingimplicit mobility

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Modeling and efficient verification of wireless ad hoc networks
• Modelling and verifying the AODV routing protocol
• A framework for mobile ad hoc networks in Real-Time Maude
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Modeling and verifying ad hoc routing protocols

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Algebra of communicating processes with abstraction
• Algebraic modeling of an ad hoc network for mobile computing
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal verification of standards for distance vector routing protocols
• Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
• Process algebras for network communication
• Uppaal in a nutshell
• Using Probabilistic Kleene Algebra for Protocol Verification

Cited in

(19)

• Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
• Probabilistic model checking of AODV
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• Towards an algebra of routing tables
• Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
• scientific article; zbMATH DE number 1982205 (Why is no real title available?)
• scientific article; zbMATH DE number 2013775 (Why is no real title available?)
• Modeling and verifying ad hoc routing protocols
• Modelling and verifying the AODV routing protocol
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Modeling routing overhead of reactive protocols at link layer and network layer in wireless multihop networks
• Wired/Wireless Internet Communications
• A framework for mobile ad hoc networks in Real-Time Maude
• Formal analysis of leader election in MANETs using Real-Time Maude
• Modeling and efficient verification of wireless ad hoc networks
• A high-order description model of message propagation process in ad hoc network
• One step forward: linking wireless self-organizing network validation techniques with formal testing approaches

Describes a project that uses

Uses Software

• Uppaal
• SPIN
• HOL/SPIN

This page was built for publication: Modeling Routing Protocols in Adhoc Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3628490)