Pisa University
Download:
|
|
by Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
http://www.research.microsoft.com/~adg/Publications/groups.ps
Add To MetaCart
Abstract:
We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the effect of statically preventing certain communications, and can thus block the accidental or malicious escape of capabilities that is a major concern in practical systems. Moreover, ambient groups allow us to refine our earlier work on type systems for ambient mobility. We present type systems in which groups identify the set of ambients that a process
Citations
| 677 | Mobile ambients – Cardelli, Gordon - 1998 |
| 227 | Secrecy by typing in security protocols – ABADI - 1997 |
| 151 | Types for mobile ambients – Cardelli, Gordon - 1999 |
| 54 | Localities and failures – Amadio, Prasad - 1997 |
| 20 | Control flow analysis for the -calculus – Bodei, Degano, et al. - 1998 |
