| CDGP04:IFIP04 (In proceedings)
|
| Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti and Rosario Pugliese |
| Title | « Dynamic and Local Typing for Mobile Ambients » |
| In | TCS'04 |
| Editor(s) | Jean-Jacques Lévy, Ernst W. Mayr and John C. Mitchell |
| Page(s) | 583-596 |
| Year | 2004 |
| Publisher | Kluwer |
| URL | http://www.di.unito.it/~dezani/papers/cdgp04.pdf |
| Abstract |
| An ambient calculus with both static and dynamic types is presented, where the latter ones represent mobility and access rights that may be dynamically consumed and acquired in a controlled way. Novel constructs and operations are provided to this end. Type-checking is purely local, except for a global hierarchy that establishes which locations have the authority to grant rights to which: there is no global environment (for closed terms) assigning types to names. Each ambient or process move is subject to a double authorization, one static and the other dynamic: static type-checking controls (communication and) ``active'' mobility rights, i.e., where a given ambient or process has the right to go; dynamic type-checking controls ``passive'' rights, i.e., which ambients a given ambient may be crossed by and which processes it may receive. |
@inproceedings{CDGP04:IFIP04,
dartreport = {yes},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Elio Giovannetti
and Rosario Pugliese},
booktitle = {TCS'04},
editor = {Jean-Jacques L\'evy and Ernst W. Mayr and John C. Mitchell},
url = {http://www.di.unito.it/~dezani/papers/cdgp04.pdf},
title = {{Dynamic and Local Typing for Mobile Ambients}},
abstract = { An ambient calculus with both static and dynamic types is
presented, where the latter ones represent mobility and access
rights that may be dynamically consumed and acquired in a
controlled way. Novel constructs and operations are provided to
this end. Type-checking is purely local, except for a global
hierarchy that establishes which locations have the authority to
grant rights to which: there is no global environment (for closed
terms) assigning types to names. Each ambient or process move is
subject to a double authorization, one static and the other
dynamic: static type-checking controls (communication and)
``active'' mobility rights, i.e., where a given ambient or process
has the right to go; dynamic type-checking controls ``passive''
rights, i.e., which ambients a given ambient may be crossed by and
which processes it may receive.},
publisher = {Kluwer},
pages = {583-596},
year = {2004},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
