Equational properties of mobile ambients (1999)

by Andrew D. Gordon , Luca Cardelli
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:57 - 7 self

Active Bibliography

8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
34 Secure Composition of Insecure Components – Peter Sewell, Jan Vitek - 1999
245 Secrecy by Typing in Security Protocols – Martín Abadi - 1998
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
56 The Join Calculus: A Language for Distributed Mobile Programming – Cedric Fournet, Georges Gonthier - 2000
193 Resource Access Control in Systems of Mobile Agents – Matthew Hennessy, James Riely - 1998
48 Bisimulations in the join-calculus – Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy - 1998
62 Global/local subtyping and capability inference for a distributed π-calculus – Peter Sewell - 1998
118 Abstractions for mobile computation – Luca Cardelli - 1999
49 Types for Access Control – Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Betti Venneri - 2000
11 A bisimulation-based semantic theory of safe ambients – Massimo Merro, Matthew Hennessy - 2006
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
5 Locality and Polyadicity in Asynchronous Name-Passing Calculi – Massimo Merro - 2000
19 Bisimulation Proof Methods for Mobile Ambients – Massimo Merro, Francesco Zappa Nardelli - 2003
60 Proof Techniques for Cryptographic Processes – Michele Boreale, Rocco De Nicola, Rosario Pugliese - 1999
13 Mobility and security – Luca Cardelli - 1999
8 Security Analysis using Flow Logics – Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nelson - 2000