A calculus of trustworthy ad hoc networks
type: Item
instance of: scholarly article
title: A calculus of trustworthy ad hoc networks
zbMATH Open document ID: 1298.68041
author: Massimo Merro
author: Eleonora Sibilio
published in: Formal Aspects of Computing
publication date: 2014-11-11T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6368398
zbMATH Keywords: mobile ad hoc network
zbMATH Keywords: trust management system
zbMATH Keywords: trust-based routing
zbMATH Keywords: process calculus
zbMATH Keywords: non-interference
describes a project that uses: HOL/SPIN
MaRDI profile type: Publication
full work available at URL: s00165-011-0210-7
OpenAlex ID: W1979510503
Wikidata QID: Q62041620
cites work: Noninterference for concurrent programs and thread systems
cites work: Static analysis for the \(\pi\)-calculus with applications to security
cites work: A process calculus for mobile ad hoc networks
cites work: Formal verification of standards for distance vector routing protocols
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Controlling information release in the \(\pi\)-calculus
cites work: An operational semantics for a calculus for wireless systems
cites work: Q4798029
cites work: Equational Reasoning on Ad Hoc Networks
cites work: A Calculus for Mobile Ad Hoc Networks
cites work: Q3047540
cites work: An observational theory for mobile ad hoc networks (full version)
cites work: Q3992568
cites work: A calculus of mobile processes. I
cites work: Barbed bisimulation
cites work: A framework for security analysis of mobile wireless networks
cites work: An Axiomatic Approach to Information Flow in Programs
cites work: Probabilistic Mobility Models for Mobile and Wireless Networks
DOI: 10.1007/S00165-011-0210-7
description: scientific article; zbMATH DE number 6368398