Analysis of mobile networks' protocols based on abstract state machine

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

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

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

zbMATH Keywords

abstract state machinesmobile ad-hoc networks

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• A semiring-based quantitative analysis of mobile systems

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)