A type system for Discretionary Access Control
From MaRDI portal
Publication:3395314
DOI10.1017/S0960129509007762zbMath1172.68043OpenAlexW1977050837MaRDI QIDQ3395314
Damiano Macedonio, Silvia Crafa, Michele Bugliesi, Dario Colazzo
Publication date: 26 August 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129509007762
Uses Software
Cites Work
- Types for access control
- Secrecy and group creation
- Resource access control in systems of mobile agents
- Confining data and processes in global computing applications
- safeDpi: a language for controlling mobile code
- Type-based information flow analysis for the \(\pi\)-calculus
- Secure implementations of typed channel abstractions
- Multiparty asynchronous session types
- Recursive subtyping revealed
- Structured Communication-Centred Programming for Web Services