LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …

Boxed Ambients are a variant of Mobile Ambients that result from (i) drop** the open
capability and (ii) providing new primitives for ambient communication while retaining the …

Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA):
plain interferences, which are similar to the interferences one finds in CCS and π-calculus; …

Boxed Ambients are a variant of Mobile Ambients that result from drop** the open
capability and introducing new primitives for ambient communication. The new model of …

The Seal Calculus is a process language for describing mobile computation. Threads and
resources are tree structured; the nodes thereof correspond to agents, the units of mobility …

The ambient calculus is a concurrent calculus where the unifying notion of ambient is used
to model many different constructs for distributed and mobile computation. We study a type …

We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …

There is great interest in applying nominal calculi—computational formalisms that include
dynamic name generation—to the problems of programming, specifying, and verifying …

The paper gives an assessment of security for Mobile Ambients, with specific focus on
mandatory access control (MAC) policies in multilevel security systems. The first part of the …

We study the problem of secure information flow for Boxed Ambients in terms of non-
interference. We develop a sound type system that provides static guarantees of absence of …