Analysis of mobile networks' protocols based on abstract state machine

DOI10.1007/978-3-030-76020-5_11OpenAlexW3166083884MaRDI QIDQ2117591

Emanuele Covino, Giovanni Pani

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_11

zbMATH Keywords

abstract state machinesmobile ad-hoc networks

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• ViSim

Cites Work

• A process calculus for mobile ad hoc networks
• An observational theory for mobile ad hoc networks (full version)
• A Process Algebra for Wireless Mesh Networks
• Abstract State Machines
• Intercepting Blackhole Attacks in MANETs: An ASM-based Model

This page was built for publication: Analysis of mobile networks' protocols based on abstract state machine