Access control in a core calculus of dependency

DOI10.1145/1159803.1159839zbMATH Open1321.68134OpenAlexW2017060815MaRDI QIDQ5501474FDOQ5501474

Authors: Martín Abadi 

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159839

Recommendations

• Access control in a core calculus of dependency
• Programming Languages and Systems
• scientific article; zbMATH DE number 2087549
• Translating dependency into parametricity
• Information flow inference for free

zbMATH Keywords

typesauthorization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (8)

• Access control in a core calculus of dependency
• Raccoon -- an infrastructure for managing access control in CORBA
• Translating dependency into parametricity
• Type-based access control in data-centric systems
• Game semantics for access control
• Dynamic Access Control in a Concurrent Object Calculus
• Noninterference in a predicative polymorphic calculus for access control
• Tagged systems: a framework for the specification of history-dependent properties

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 Q5501474)