λ-RBAC: Programming with Role-Based Access Control

DOI10.1007/11787006_39MaRDI QIDQ3591428zbMATH OpenOpenAlexFDO

Authors Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, J. Riely

Publication date 11 September 2007

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11787006_39

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Lambda-RBAC: Programming with Role-Based Access Control
• scientific article; zbMATH DE number 1696870
• A Logical Approach to Dynamic Role-Based Access Control
• Types for role-based access control of dynamic web data
• Policy analysis for administrative role-based access control

Cited in

(2)

• Theoretical Computer Science
• Lambda-RBAC: Programming with Role-Based Access Control

This page was built for publication: λ-RBAC: Programming with Role-Based Access Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591428)