Formal verification of standards for distance vector routing protocols

DOI10.1145/581771.581775MaRDI QIDQ3455541zbMATH OpenOpenAlexFDO

Authors Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter

Publication date 7 December 2015

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/581771.581775

zbMATH Keywords

AODVdistance vector routingformal verificationHOLinteractive theorem provingmodel checkingnetwork standardsRIProuting protocolsSPIN

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670735
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
• scientific article; zbMATH DE number 2202252
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

Cited in

(22)

• Modeling and efficient verification of wireless ad hoc networks
• Static analysis of topology-dependent broadcast networks
• Model checking mobile ad hoc networks
• scientific article; zbMATH DE number 1670735 (Why is no real title available?)
• scientific article; zbMATH DE number 1670759 (Why is no real title available?)
• A timed process algebra for wireless networks with an application in routing (extended abstract)
• Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
• Modelling and verifying the AODV routing protocol
• A mechanized proof of loop freedom of the (untimed) AODV routing protocol
• A program logic for verifying secure routing protocols
• Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
• Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
• Developing Topology Discovery in Event-B
• Modeling Routing Protocols in Adhoc Networks
• A calculus of trustworthy ad hoc networks
• scientific article; zbMATH DE number 2202252 (Why is no real title available?)
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Verification of mobile ad hoc networks: an algebraic approach
• Formal methods for mobile ad hoc networks: a survey
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• A framework for security analysis of mobile wireless networks

Describes a project that uses

Uses Software

• HOL
• HOL/SPIN
• SPIN

This page was built for publication: Formal verification of standards for distance vector routing protocols

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