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
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
2005
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), .
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.
Text
nbaFullOff.pdf
- Other
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: 14 Mar 2024 07:00
Export record
Contributors
Author:
M. Bugliesi
Author:
S. Crafa
Author:
M. Merro
Author:
V. 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