Leaf Petersen
The Ambient Calculus
This talk will be an overview of the Ambient Calculus developed by
Luca Cardelli and Andrew Gordon. The Ambient Calculus is a formalism
for describing concurrent mobile processes that move within and
between administrative domains. Certain desired security properties
can also be reasoned about within the framework. The material for
this talk will be drawn from the papers "Mobile Ambients" and "Ambient
Decor" by Luca Cardelli and Andrew Gordon, and from my work with Luca
over the summer at MSR Cambridge. These papers and other relevant
material are available at
http://www.luca.demon.co.uk/.
November 25, 1998
3:30pm
Wean 8220