Towards a behavioural theory of access and mobility control in distributed systems
Towards a behavioural theory of access and mobility control in distributed systems
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.
615-669
Hennessy, Matthew
b3b09b09-36b7-4646-8f58-28b435d431d5
Merro, Massimo
a7a02fde-eb0b-465e-8e05-f8e680bf3276
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
2004
Hennessy, Matthew
b3b09b09-36b7-4646-8f58-28b435d431d5
Merro, Massimo
a7a02fde-eb0b-465e-8e05-f8e680bf3276
Rathke, Julian
dba0b571-545c-4c31-9aec-5f70c231774b
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
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), .
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.
Text
tbtamcdsfull.pdf
- Other
Restricted to Registered users only
Request a copy
More information
Published date: 2004
Organisations:
Web & Internet Science, Electronic & Software Systems
Identifiers
Local EPrints ID: 263366
URI: http://eprints.soton.ac.uk/id/eprint/263366
ISSN: 0304-3975
PURE UUID: 52b7835d-e12e-41c8-a1d4-68ac9da2058d
Catalogue record
Date deposited: 01 Feb 2007
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
Matthew Hennessy
Author:
Massimo Merro
Author:
Julian Rathke
Editor:
Vladimiro Sassone
Download statistics
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