Access control in mobile ambient calculi: a comparative view
From MaRDI portal
Publication:930876
DOI10.1016/j.tcs.2008.01.024zbMath1146.68021MaRDI QIDQ930876
Maddalena Zacchi, Ines Margaria
Publication date: 24 June 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.01.024
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
94A62: Authentication, digital signatures and secret sharing
Related Items
Cites Work
- Mobile ambients
- Controlling interference in ambients
- Bisimulation congruences in safe ambients
- Programming Languages and Systems
- Mathematical Foundations of Computer Science 2004
- Types for ambient and process mobility
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item