Access Control in a Core Calculus of Dependency
From MaRDI portal
Publication:2864145
DOI10.1016/j.entcs.2007.02.002zbMath1277.03008OpenAlexW2067072801MaRDI QIDQ2864145
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.002
Related Items
Logic in Access Control (Tutorial Notes) ⋮ Permission to speak: a logic for access control and conformance ⋮ A framework for linear authorization logics ⋮ Constructive Modalities with Provability Smack
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- JFlow
- Notions of computation and monads
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Propositional lax logic
- Information flow inference for free
- Translating dependency into parametricity
- The marriage of effects and monads
- Access control in a core calculus of dependency