Typing and Subtyping Mobility in Boxed Ambients
Typing and Subtyping Mobility in Boxed Ambients
We provide a novel type system for Bugliesi et al.'s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed at achieving maximal generality on both communication and mobility types. We then introduce co-capabilities to express explicit permissions to access ambients. In this setting, ambient types are refined to specify who is allowed to enter an ambient, making a promising framework to model open systems.
access control, security, type systems, ambient calculs.
3-540-44043-7
304-320
Merro, M.
68cd0b30-d738-4fae-bf45-e29bbccc8675
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
2002
Merro, M.
68cd0b30-d738-4fae-bf45-e29bbccc8675
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Merro, M. and Sassone, V.
(2002)
Typing and Subtyping Mobility in Boxed Ambients.
13th Int. Conference on Concurrency Theory, CONCUR '02..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We provide a novel type system for Bugliesi et al.'s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed at achieving maximal generality on both communication and mobility types. We then introduce co-capabilities to express explicit permissions to access ambients. In this setting, ambient types are refined to specify who is allowed to enter an ambient, making a promising framework to model open systems.
Text
mbaCONCURoff.pdf
- Other
More information
Published date: 2002
Venue - Dates:
13th Int. Conference on Concurrency Theory, CONCUR '02., 2002-01-01
Keywords:
access control, security, type systems, ambient calculs.
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 262287
URI: http://eprints.soton.ac.uk/id/eprint/262287
ISBN: 3-540-44043-7
PURE UUID: 95fcce65-65f2-4851-994e-d8a3a6a0b604
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 14 Mar 2024 07:09
Export record
Contributors
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