@inproceedings{df2c4243eb784d67907e0425d54b707c,
title = "Modelling and Analysing Overlay Networks by Ambients with Wormholes",
abstract = "Process calculi are a powerful mechanism to formally model distributed systems, and are especially useful for assessing trust, security, and privacy issues in mobile and ubiquitous computing and networking. However, they often only support a single modelling approach and semantics, whereas distributed systems and networks often are a conglomeration of different technologies and functionalities. In this paper we propose a novel approach to model these systems and make them amenable to formal analysis. We enhance the ambient calculus with 'wormholes' as a convenient way for ambients to travel between 'worlds' representing the different technologies and functionalities by means of different semantic layers. Our approach enables easy and natural modelling and analysis of multi-layer systems for ubiquitous computing and networking.",
keywords = "Mobile communication architectures., Mobile computing, Overlay networks",
author = "Hansen, {Rene Rydhof} and Probst, {Christian W.}",
year = "2018",
doi = "10.23919/ICMU.2018.8653596",
language = "English",
series = "2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018",
booktitle = "2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018",
publisher = "IEEE Signal Processing Society",
address = "United States",
note = "11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018 ; Conference date: 05-10-2018 Through 08-10-2018",
}