Mobile Ambients TCS Submission3.fm Page 1 Thursday, February 11, 1999, 3:52 pm 1
Abstract We introduce a calculus describing the movement of processes and devices, including …

Mobile ambients Page 1 Mobile Ambients Luca Cardelli* Digital Equipment Corporation
Systems Research Center Andrew D. Gordon* University of Cambridge Computer Laboratory …

Process algebras can be enriched with localities that explicitly describe the distribution of
processes. Localities may represent physical machines, or more generally distribution units …

We develop principles and rules for achieving secrecy properties in security protocols. Our
approach is based on traditional classification techniques, and extends those techniques to …

We describe a typing system for a distributed π-calculus which guarantees that distributed
agents cannot access the resources of a system without first being granted the capability to …

In these notes, we give an overview of the join calculus, its semantics, and its equational
theory. The join calculus is a language that models distributed and mobile programming. It is …

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; …

Java has demonstrated the utility of type systems for mobile code, and in particular their use
and implications for security. Security properties rest on the fact that a well-typed Java …

We develop principles and rules for achieving secrecy properties in security protocols. Our
approach is based on traditional classification techniques, and extends those techniques to …

We methodically expand protocol narrations into terms of a process algebra in order to
specify some of the checks that need to be made in a protocol. We then apply static analysis …