Formal verification of standards for distance vector routing protocols
From MaRDI portal
Publication:3455541
DOI10.1145/581771.581775zbMath1326.68039MaRDI QIDQ3455541
Davor Obradovic, Karthikeyan Bhargavan, 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
formal verification; model checking; interactive theorem proving; HOL; AODV; routing protocols; SPIN; network standards; RIP; distance vector routing
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
Related Items
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols, Modelling and verifying the AODV routing protocol, A calculus of trustworthy ad hoc networks, Verification of mobile ad hoc networks: an algebraic approach, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, A framework for security analysis of mobile wireless networks, Modeling and efficient verification of wireless ad hoc networks, Static analysis of topology-dependent broadcast networks, Model checking mobile ad hoc networks, A Timed Process Algebra for Wireless Networks with an Application in Routing, 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
Uses Software