Typing and Subtyping Mobility in Boxed Ambients
Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Keywords:||access control, security, type systems, ambient calculs.|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||11 Apr 2006|
|Last Modified:||10 Mar 2012 11:22|
|Contributors:||Merro, M. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)