Role-based access control for boxed ambients

DOI10.1016/j.tcs.2008.01.040zbMath1146.68020OpenAlexW2103207708MaRDI QIDQ930879

Adriana Compagnoni, Elsa L. Gunter, Philippe Bidinger

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.040

zbMATH Keywords

typessecuritymobile computingtype systemsprocess calculiaccess controlambientsRBAC

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items

Role-based access control for boxed ambients ⋮ Types for Role-Based Access Control of Dynamic Web Data

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Role-based access control for boxed ambients
• Mobile ambients
• Resource access control in systems of mobile agents
• Communication and mobility control in boxed ambients
• Beyond proof-of-compliance: security analysis in trust management
• Controlling interference in ambients
• Mathematical Foundations of Computer Science 2004
• Trustworthy Global Computing

This page was built for publication: Role-based access control for boxed ambients