Ambient groups and mobility types, in

Abstract. We add name groups and group creation to the typed ambi-ent calculus. Group creation is surprisingly interesting: it has the eect 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 rene 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.