Lambda-RBAC: Programming with Role-Based Access Control

Details Lambda-RBAC: Programming with Role-Based Access Control Lambda-RBAC: Programming with Role-Based Access Control

2007-12-07

arxiv.org/abs/0712.1205v2

LMCS 4 (1:2) 2008

Computer Science

Programming Languages

LMCS

Scientific paper

10.2168/LMCS-4(1:2)2008

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.

Affiliated with

Also associated with

No associations

Rating

Lambda-RBAC: Programming with Role-Based Access Control does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lambda-RBAC: Programming with Role-Based Access Control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lambda-RBAC: Programming with Role-Based Access Control will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-121102