Access control in a core calculus of dependency

DOI10.1145/1159803.1159839MaRDI QIDQ5501474zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

typesauthorization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

Cited in

(8)

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

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)