Access control in mobile ambient calculi: a comparative view

DOI10.1016/J.TCS.2008.01.024zbMath1146.68021OpenAlexW1977410879MaRDI 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

zbMATH Keywords

authenticationaccess controlsecurity policiesmobile ambient calculi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Typed context awareness ambient calculus for pervasive applications

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

This page was built for publication: Access control in mobile ambient calculi: a comparative view