Towards a behavioural theory of access and mobility control in distributed systems


Hennessy, Matthew, Merro, Massimo and Rathke, Julian, Sassone, Vladimiro (ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322, (3), 615-669.

Download

[img] PDF
Restricted to Registered users only

Download (501Kb) | Request a copy

Description/Abstract

We define a typed bisimulation equivalence for the language Dpi, a distributed version of the pi-calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, which can be implemented in Dpi using a novel form of dynamic capability types. The equivalence, based on typed actions between configurations, is justified by showing that it is fully-abstract with respect to a natural distributed version of a contextual equivalence. In the second part of the paper we study the effect of controlling the migration of processes. This affects the ability to perform observations at specific locations, as the observer may be denied access. We show how the typed actions can be modified to take this into account, and generalise the full-abstraction result to this more delicate scenario.

Item Type: Article
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 263366
Date Deposited: 01 Feb 2007
Last Modified: 27 Mar 2014 20:07
Further Information:Google Scholar
ISI Citation Count:14
URI: http://eprints.soton.ac.uk/id/eprint/263366

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics