Access control in a core calculus of dependency
From MaRDI portal
Recommendations
- Access control in a core calculus of dependency
- Dynamic Access Control in a Concurrent Object Calculus
- Noninterference in a predicative polymorphic calculus for access control
- A conditional constructive logic for access control and its sequent calculus
- Representation independence, confinement and access control (extended abstract)
- A concurrent constraint programming interpretation of access permissions
- A logic of access control
Cites work
- Access control in a core calculus of dependency
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- scientific article; zbMATH DE number 3915608 (Why is no real title available?)
- scientific article; zbMATH DE number 1237535 (Why is no real title available?)
- scientific article; zbMATH DE number 1954103 (Why is no real title available?)
- Information flow inference for free
- JFlow
- Notions of computation and monads
- Propositional lax logic
- The marriage of effects and monads
- Translating dependency into parametricity
Cited in
(8)- A framework for linear authorization logics
- Raccoon -- an infrastructure for managing access control in CORBA
- Logic in Access Control (Tutorial Notes)
- Translating dependency into parametricity
- Constructive modalities with provability smack
- Access control in a core calculus of dependency
- Dynamic Access Control in a Concurrent Object Calculus
- Permission to speak: a logic for access control and conformance
This page was built for publication: Access control in a core calculus of dependency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864145)
