The University of Southampton
University of Southampton Institutional Repository

Communication and Mobility Control in Boxed Ambients

Communication and Mobility Control in Boxed Ambients
Communication and Mobility Control in Boxed Ambients
Boxed Ambients (BA) replace Mobile Ambients' open capability with communication primitives acting across ambient boundaries. The expressiveness of the new communication model is achieved at the price of communication interferences whose resolution requires synchronisation of activities at multiple, distributed locations. We study a variant of BA aimed at controlling communication as well as mobility interferences. Our calculus modifies the communication mechanism of BA, and introduces a new form of co-capability, inspired from Safe Ambients (SA) (with passwords), that registers incoming agents with the receiver ambient while at the same time performing access control. We prove that the new calculus has a rich semantics theory, including a sound and complete coinductive characterisation, and an expressive, yet simple type system. Through a set of examples, and an encoding, we characterise its expressiveness with respect to both BA and SA.
mobile ambients, boxed ambients, mobile systems, ambients withour open, communication interference
0890-5401
39-86
Bugliesi, M.
5aa66286-072d-4bf1-ac83-c4d4d70423ab
Crafa, S.
eaef0e4a-9894-4fa2-9ad8-b901cd2aa5ac
Merro, M.
68cd0b30-d738-4fae-bf45-e29bbccc8675
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Bugliesi, M.
5aa66286-072d-4bf1-ac83-c4d4d70423ab
Crafa, S.
eaef0e4a-9894-4fa2-9ad8-b901cd2aa5ac
Merro, M.
68cd0b30-d738-4fae-bf45-e29bbccc8675
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients Information and Computation, 202, (1), pp. 39-86.

Record type: Article

Abstract

Boxed Ambients (BA) replace Mobile Ambients' open capability with communication primitives acting across ambient boundaries. The expressiveness of the new communication model is achieved at the price of communication interferences whose resolution requires synchronisation of activities at multiple, distributed locations. We study a variant of BA aimed at controlling communication as well as mobility interferences. Our calculus modifies the communication mechanism of BA, and introduces a new form of co-capability, inspired from Safe Ambients (SA) (with passwords), that registers incoming agents with the receiver ambient while at the same time performing access control. We prove that the new calculus has a rich semantics theory, including a sound and complete coinductive characterisation, and an expressive, yet simple type system. Through a set of examples, and an encoding, we characterise its expressiveness with respect to both BA and SA.

PDF nbaFullOff.pdf - Other
Download (423kB)

More information

Published date: 2005
Keywords: mobile ambients, boxed ambients, mobile systems, ambients withour open, communication interference
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 261846
URI: http://eprints.soton.ac.uk/id/eprint/261846
ISSN: 0890-5401
PURE UUID: 4c728b34-a75a-4935-838f-93c990eab76a

Catalogue record

Date deposited: 27 Jan 2006
Last modified: 18 Jul 2017 08:58

Export record

Contributors

Author: M. Bugliesi
Author: S. Crafa
Author: M. Merro
Author: V. Sassone

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×