Ninghui Li, Benjamin Grosof, Joan Feigenbaum  Home/Search
Context Related
| mit.edu/people/bgrosof/p...oakland00.ps Cached: 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.
PS.gz PS Image Update HelpFrom: mit.edu/people/bgrosof/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e., language) for authorization in largescale, open, distributed systems. As introduced in [22], DL inferencing is computationally intractable and highly impractical to implement. We introduce a new version of Delegation Logic that remedies these difficulties. To achieve this, we impose a syntactic restriction and... (Update)
Cited by: More
Unknown - (Correct)
Requirements for Policy Languages for Trust Negotiation - Seamons, Winslett, Yu.. (2002) (Correct)
Supporting Structured Credentials and Sensitive - Policies Through Interoperable (Correct)
Similar documents (at the sentence level):
58.7%: A Practically Implementable and Tractable Delegation Logic - Li, Grosof, Feigenbaum (2000) (Correct)
26.5%: Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000) (Correct)
Active bibliography (related documents): More All
0.9: Trust Management for E-Transactions - Patil, Shyamasundar (2005) (Correct)
0.8: A Logic-based Knowledge Representation for Authorization with.. - Li, al. (1999) (Correct)
0.2: A Declarative Approach to Business Rules in Contracts.. - Grosof, Labrou, Chan (1999) (Correct)
Similar documents based on text: More All
0.7: Distributed Credential Chain Discovery in Trust.. - Li, Winsborough.. (2001) (Correct)
0.6: Design of a Role-based Trust-management Framework - Li, Mitchell, Winsborough (Correct)
0.6: Towards Practical Automated Trust Negotiation - Winsborough, Li (2002) (Correct)
Related documents from co-citation: More All
18: Decentralized trust management - Blaze, Feigenbaum et al. - 1996
14: A logic-based knowledge representation for authorization with delegation - Li, Feigenbaum et al. - 1999
13: Compliance checking in the policymaker trust management system - Blaze, Feigenbaum et al. - 1998
BibTeX entry: (Update)
N. Li, B. Grosof, and J. Feigenbaum, "A Practically Implementable and Tractable Delegation Logic," to appear in Proceedings of the 2000 IEEE Symposium on Security and Privacy. http://citeseer.ist.psu.edu/article/li00practically.html More
@inproceedings{ li00practically,
author = "Ninghui Li and Benjamin N. Grosof and Joan Feigenbaum",
title = "A Practically Implementable and Tractable Delegation Logic",
booktitle = "{IEEE} Symposium on Security and Privacy",
pages = "27-42",
year = "2000",
url = "citeseer.ist.psu.edu/article/li00practically.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
305 Decentralized Trust Management - Blaze, Feigenbaum et al. - 1996
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1992
162 A Calculus for Access Control in Distributed Systems - Abadi, Burrows et al. - 1993
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
143 ComplianceChecking in the PolicyMaker Trust Management Syste.. - Blaze, Feigenbaum et al. - 1998
132 SPKI Certificate Theory (context) - Ellison, Frantz et al.
127 REFEREE: Trust Management for Web Applications - Chu, Feigenbaum et al. - 1997
111 The Official PGP User's Guide (context) - Zimmermann - 1995
82 International Telecommunication Union (context) - Rec, revised et al. - 1993
73 The Java Language Environment (context) - Gosling, McGilton - 1995
56 A Declarative Approach to Business Rules in Contracts: Court.. - Grosof - 1999
49 Internet Privacy Enhanced Mail (context) - Kent - 1993
40 Prioritized Conflict Handling for Logic Programs (context) - Grosof - 1997
38 PICS: Internet access controls without censorship (context) - Resnick, Miller - 1996
38 A Logic-Based Knowledge Representation for Authorization wit.. - Li, Grosof et al. - 1999
37 A Security Policy Model for Clinical Information Systems - Anderson - 1996
23 the Structure of Delegation Networks - Aura - 1998
16 The KeyNote Trust-Management System, Version 2 (context) - Blaze, Feigenbaum et al. - 1999
16 Compiling Prioritized Default Rules Into Ordinary Logic Prog.. - Grosof - 1999
11 The XSB Programming System (context) - Warren
10 Cryptography and Information Security Group Research Project.. (context) - Rivest, Lampson
8 DIPLOMAT: Compiling Prioritized Default Rules Into Ordinary .. - Grosof - 1999
6 Managing Trust in Medical Information Systems - Blaze, Feigenbaum et al.
5 A P3P Preference Exchange Language (APPEL) Working Draft (context) - Longhair - 1998
5 Smodels home page (context) - Niemela, Simons
5 Platform for Privacy Preferences (P3P1.0) Specification (context) - Marchiori, Reagle et al. - 1998
3 IBM CommonRules home pages (context) - Grosof, Chan
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mit.edu/people/bgrosof/):
Automated Negotiation from Declarative Contract Descriptions - Reeves, Wellman, Grosof.. (2000) (Correct)
Combining different business rules technologies: A.. - Isabelle Rouvellou Lou (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