Sciweavers

IFIPTCS
2000

Ambient Groups and Mobility Types

14 years 2 months ago
Ambient Groups and Mobility Types
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect 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 re ne our earlier work on type systems for ambient mobility. We present type systems in which groups identify the set of ambients that a process may cross or open.
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where IFIPTCS
Authors Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Comments (0)