Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay Saraswat  Home/Search
Context
Related
| depaul.edu/rjagade...f35jagadeesan.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: This paper focuses on policy languages for (role-based) access control [14, 32], especially in their modern incarnations in the form of trust-management systems [9] and usage control [30, 31]. Any (declarative) approach to access control and trust management has to address the following issues: . (Update)
Active bibliography (related documents): More All
2.1: Games for Controls - Chatterjee, Jagadeesan, Pitcher (2006) (Correct)
0.9: Programming with Role-Based Access Control - Radha Jagadeesan Alan (Correct)
0.7: An Algebra for Composing Enterprise Privacy Policies - Backes, Dürmuth, Steinwandt (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ jagadeesan-timed,
author = "Radha Jagadeesan and Will Marrero and Corin Pitcher and Vijay Saraswat",
title = "Timed Constraint Programming: A Declarative Approach to Usage Control",
url = "citeseer.ist.psu.edu/757848.html" }
Citations (may not include all citations):305 Decentralized trust management - Blaze, Feigenbaum et al. - 1996
255 Role-based access control models - Sandhu, Coyne et al. - 1996
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
93 The Chinese Wall security policy (context) - Brewer, Nash - 1989
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
52 Design of a role-based trust-management framework - Li, Mitchell et al. - 2002
50 Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
38 Delegation logic: A logic-based approach to distributed auth.. - Li, Grosof et al. - 2003
38 Flexible support for multiple access control policies - Jajodia, Samarati et al. - 2001
37 Practical domain and type enforcement for UNIX (context) - Badger, Sterne et al. - 1995
34 The Category of Constraint Systems is Cartesian-closed (context) - Saraswat - 1992
31 Real-time programming: General purpose or special-purpose la.. (context) - Berry - 1989
24 The inevitability of failure: The flawed assumption of secur.. (context) - Loscocco, Smalley et al. - 1998
24 The Kluwer international series in Engineering and Computer .. (context) - Halbwachs, of - 1993
21 TRBAC:A temporal role-based access control model (context) - Bertino, Bonatti et al. - 2001
16 Datalog with constraints: A foundation for trust management .. - Li, Mitchell - 2003
14 An algebra for composing access control policies - Bonatti, diVimercati et al. - 2002
8 Empowering mobile code using expressive security policies - Venkatakrishnan, Peri et al. - 2002
8 Policy algebras for access control --- the predicate case (context) - Wijesekera, Jajodia - 2002
7 Meeting critical security objectives with Security-Enhanced .. (context) - Loscocco, Smalley - 2001
7 Beyond proof-of-compliance: Safety and availability analysis.. - Li, Winsborough et al. - 2003
7 chapter On the development of reactive systems (context) - Harel, Pnueli et al. - 1985
7 A compositional framework for access control policies enforc.. (context) - Siewe, Cau et al. - 2003
6 Temporal concurrent constraint programming: Denotation - Nielsen, Palamidessi et al. - 2002
5 An access control language for web services - Sirer, Wang - 2002
5 Using first-order logic to reason about policies - Halpern, Weissman - 2003
5 A logic-based framework for attribute based access control (context) - Wang, Wijesekera et al. - 2004
4 A propositional policy algebra for access control (context) - Wijesekera, Jajodia - 2003
3 Flexible access control policy specification with constraint.. (context) - Barker, Stuckey - 2003
3 The UCONABC usage control model (context) - Park, Sandhu - 2004
3 jcc: Integrating timed default concurrent constraint program.. - Saraswat, Jagadeesan et al. - 2003
2 Usage control: a unified framework for next generation acces.. (context) - Park - 2003
2 Computer Science Department (context) - Hentenryck, Saraswat et al. - 1992
2 A logical specification for usage control (context) - Zhang, Park et al. - 2004
2 An algebra for composing enterprise privacy policies - Backes, Durmuth et al. - 2004
1 Conflict and combination in privacy policy languages (context) - Barth, Mitchell et al. - 2004
1 Reconstructing trust management - Chander, Dean et al. - 2004
1 A formal foundation for XrML (context) - Halpern, Weissman - 2004
1 Accesscontrolbasedon execution history (context) - AbadiandC - 2003
1 Improving the granularity of access control for windows (context) - Swift, Brundrett et al. - 2000
1 cient and flexible access control via logic program speciali.. (context) - Barker, Leuschel et al. - 2004
1 A model-based approach to integrating security policies for .. (context) - McDougall, Alur et al. - 2004
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