• Home
  • Search
  • Using Process Algebra to Design Better Protocols
  • Cite Icon1
  • https://doi.org/10.1007/978-981-10-0962-4_8Copy DOI Icon

Using Process Algebra to Design Better Protocols

  • Aug 10, 2016
  • Peter Höfner
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Protocol design, development and standardisation still follow the lines of rough consensus and running code. This approach yields fast and impressive results in a sense that protocols are actually implemented and shipped, but comes at a price: protocol specifications, which are mainly written in natural languages without presenting a formal specification , are (excessively) long, ambiguous, underspecified and erroneous. These shortcomings are neither new nor surprising, and well documented. It is the purpose of this paper to provide further evidence that formal methods in general and process algebras in particular can overcome these problems. They provide powerful tools that help to analyse and evaluate protocols, already during the design phase. To illustrate this claim, I report how a combination of pen-and-paper analysis, model checking and interactive theorem proving has helped to perform a formal analysis of the Ad hoc On-Demand Vector (AODV) routing protocol.

Similar Papers
  • Book Chapter

Performance Analysis of Enhanced AODV Protocols in a Mobile Ad Hoc Network Environment

  • Jan 01, 2016
  • Hwa-Mok Lee +3
  • Book Chapter

Detection and Avoidance of Single and Cooperative Black Hole Attacks Using Packet Timeout Period in Mobile Ad hoc Networks

  • Jan 01, 2020
  • S G Rameshkumar +1
  • Conference Article
  • Citations12

An enhancement of fault-tolerant routing protocol for Wireless Sensor Network

  • May 01, 2010
  • Z Che-Aron +2
  • Conference Article
  • Citations8

Ad Hoc Routing with Distributed Ordered Sequences

  • Jan 01, 2006
  • M Mosko +1
  • Conference Article
  • Citations7

Prevention of flooding attack in wireless ad-hoc AODV-based networks using Real-time Host Intrusion Detection

  • Apr 01, 2009
  • Mohamed M Ibrahim +2
  • Conference Article
  • Citations3

On the Broadcast Storm Problems of Routing in Wireless Sensor Networks: A Cross-Layer Design

  • Oct 01, 2008
  • Shuqiang Zhang +2
  • Conference Article
  • Citations6

Performance estimation of AODV variant with trust mechanism

  • Jun 01, 2014
  • Ruki Harwahyu +3
  • Conference Article

A Probability Based Multicast Routing Protocol with Energy Constrained for MANET

  • Sep 01, 2011
  • Zhenqiang Xu +2
  • Conference Article
  • Citations9

Mobility Adaptive Cross Layer Design for Reliable Route Discovery in Ad-hoc Networks

  • Dec 01, 2007
  • B Ramachandran +1
  • PDF
  • Research Article
  • Citations1

Secure Enhanced Authenticated Routing Protocol for Mobile Ad Hoc Networks

  • Dec 01, 2011
  • Journal of Computer Science
  • Babu
  • Conference Article

Enhancing MANET Performance Using S-MPRP Algorithm

  • Aug 01, 2018
  • M Mohd Hilal +3
  • Research Article

Performance Evaluation of the AODV Routing Pro-tocol in Multi-hop WSNs for Target Detection

  • Apr 08, 2026
  • International Journal of Wireless and Microwave Technologies
  • Parikesh Dhal +2
  • PDF
  • Research Article
  • Citations7

Bio-Inspired Multi-Objective Algorithms Applied on the Optimization of the AODV’s Routing Recovery Mechanism

  • Jan 01, 2023
  • IEEE Access
  • Clodomir Santana +6
  • Research Article
  • Citations1

Improvement and Optimization of a Mobile Multi-agent AODV Routing Protocol

  • Aug 01, 2022
  • 電腦學刊
  • Quan-Hai Wang Quan-Hai Wang +4
  • Conference Article
  • Citations2

An investigation of TFRC over AODV and DSR routing protocols

  • Apr 01, 2011
  • Mohamad Rizal Abdul Rejab +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.