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

lmcs:1195 - Logical Methods in Computer Science, January 9, 2008, Volume 4, Issue 1
Lambda-RBAC: Programming with Role-Based Access Control

Authors: Jagadeesan, Radha and Jeffrey, Alan and Pitcher, Corin and Riely, James

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.


Source : oai:arXiv.org:0712.1205
DOI : 10.2168/LMCS-4(1:2)2008
Volume: Volume 4, Issue 1
Published on: January 9, 2008
Submitted on: November 21, 2006
Keywords: Computer Science - Programming Languages,Computer Science - Cryptography and Security,F.4.1,F.3.2


Share

Consultation statistics

This page has been seen 71 times.
This article's PDF has been downloaded 42 times.