Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, and James Riely  Home/Search
Context
Related
| depaul.edu/~jriely/...06lambdarbac.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: depaul.edu/rjagadeesan/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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: -- The user of a component faces the issue of safety: is a particular role sufficient to use the component? -- The component designer faces the dual issue of protection: is a particular role demanded ... (Update)
Active bibliography (related documents): More All
0.9: Timed Constraint Programming: A Declarative.. - Jagadeesan.. (Correct)
0.3: Games for Controls - Chatterjee, Jagadeesan, Pitcher (2006) (Correct)
0.3: A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Univ (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ alan-programming,
author = "Radha Jagadeesan Alan",
title = "Programming with Role-Based Access Control",
url = "citeseer.ist.psu.edu/758148.html" }
Citations (may not include all citations):255 Role-based access control models - Sandhu, Coyne et al. - 1996
118 Role-Based Access Control - Ferraiolo, Kuhn et al. - 2003
95 Language-based information-flow security - Sabelfeld, Myers - 2003
92 Subtyping recursive types - Amadio, Cardelli - 1993
61 Proposed NIST standard for role-based access control - Ferraiolo, Sandhu et al. - 2001
54 A practical alternative to hierarchical integrity policies (context) - Boebert, Kain - 1985
38 Flexible support for multiple access control policies - Jajodia, Samarati et al. - 2001
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1998
34 A language-based approach to security - Schneider, Morrisett et al. - 2000
22 Configuring role-based access control to enforce mandatory a.. - Osborn, Sandhu et al. - 2000
21 TRBAC: A temporal role-based access control model (context) - Bertino, Bonatti et al. - 2001
18 Confining root programs with Domain and Type Enforcement (context) - Walker, Sterne et al. - 1996
10 Role-based access control on the web (context) - Park, Sandhu et al. - 2001
8 Security policies for downgrading (context) - Chong, Myers - 2004
7 Meeting critical security objectives with SecurityEnhanced L.. (context) - Loscocco, Smalley - 2001
7 A compositional framework for access control policies enforc.. (context) - Siewe, Cau et al. - 2003
7 Enforcing robust declassification - Myers, Sabelfeld et al. - 2004
7 A model for delimited information release - Sabelfeld, Myers - 2003
7 Edit automata: enforcement mechanisms for run-time security .. - Ligatti, Bauer et al. - 2005
5 An access control language for web services - Sirer, Wang - 2002
3 Implementing RBAC on a type enforced system (context) - Hoffman - 1997
3 A distributed calculus for role-based access control - Braghin, Gorla et al. - 2004
3 Flexible access control policy specification with constraint.. (context) - Barker, Stuckey - 2003
1 Programming language methods in computer security (context) - Mitchell - 2001
1 Role-based access control in a mobile environment (context) - Compagnoni, Garralda et al. - 2005
1 Usage control: A vision for next generation access control (context) - Sandhu, Park - 2004
1 Language-based security (context) - Abadi, Morrisett et al. - 2005
Documents on the same site (http://fpl.cs.depaul.edu/rjagadeesan/pubs.html): More
On The Expressiveness of 3-Valued Models - Godefroid, Jagadeesan (2003) (Correct)
Metrics for Labeled Markov Systems - Desharnais, Jagadeesan, Gupta, al. (1999) (Correct)
Probabilistic Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC