Lambda-RBAC: Programming with Role-Based Access Control

Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely

doi:10.2168/LMCS-4(1:2)2008

Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely - Lambda-RBAC: Programming with Role-Based Access Control

lmcs:1195 - Logical Methods in Computer Science, January 9, 2008, Volume 4, Issue 1 - https://doi.org/10.2168/LMCS-4(1:2)2008

Lambda-RBAC: Programming with Role-Based Access ControlArticle

Authors: Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely

We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expressed, in situ, as part of the code realizing basic functionality. In this setting, two questions immediately arise: (1) The user of a component faces the issue of safety: is a particular role sufficient to use the component? (2) The component designer faces the dual issue of protection: is a particular role demanded in all execution paths of the component? We provide a formal calculus and static analysis to answer both questions.

Comment: LMCS

https://doi.org/10.2168/LMCS-4(1:2)2008

Source: arXiv.org:0712.1205

Volume: Volume 4, Issue 1

Secondary volumes: Selected Papers of the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006)

Published on: January 9, 2008

Imported on: November 21, 2006

Keywords: Computer Science - Programming Languages, Computer Science - Cryptography and Security, F.4.1, F.3.2

Licence: arXiv.org - Assumed non-exclusive license to distribute

Funding:

Source : OpenAIRE Graph