Types for Evolving Communication in Safe Ambients
No abstract available.
Related papers
- Secure safe ambients POPL 2001
- Mobile safe ambients TOPLAS 2003
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- A Control Flow Analysis for Safe and Boxed Ambients ESOP 2004
- Controlling Interference in Ambients POPL 2000
- Bisimulation congruences in safe ambients POPL 2002
- A bisimulation-based semantic theory of Safe Ambients TOPLAS 2006
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001