Analysis of mobile networks' protocols based on abstract state machine

DOI10.1007/978-3-030-76020-5_11MaRDI QIDQ2117591OpenAlexFDO

Authors 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)

Recommendations

• Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
• Abstract interpretation of mobile systems
• Quantitative static analysis of communication protocols using abstract Markov chains
• Quantitative static analysis of communication protocols using abstract Markov chains
• A semiring-based quantitative analysis of mobile systems
• Simulation and analysis of a new mobility model for mobile communication networks

Cites work

• A process algebra for wireless mesh networks
• A process calculus for mobile ad hoc networks
• Abstract State Machines
• An observational theory for mobile ad hoc networks (full version)
• Intercepting blackhole attacks in MANETs: an ASM-based model

Cited in

(2)

• scientific article; zbMATH DE number 1304160 (Why is no real title available?)
• A semiring-based quantitative analysis of mobile systems

Describes a project that uses

Uses Software

• ViSim

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

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