Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum  Home/Search
Context Related
| stanford.edu/~ninghui/paper...ibmrr.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: stanford.edu/~ninghui/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce Delegation Logic (DL), a logic-based knowledge representation (i.e., language) that deals with authorization in large-scale, open, distributed systems. Of central importance in any system for deciding whether requests should be authorized in such a system are delegation of authority, negation of authority, and conflicts between authorities. DL's approach to these issues and to the interplay among them borrows from previous work on delegation and trust management in the... (Update)
Cited by: More
An Authorization Model for a Public Key - Management Service Pierangela (Correct)
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
A Uniform Framework for Regulating Service Access and - Information Release On (Correct)
Similar documents (at the sentence level):
55.8%: A Logic-based Knowledge Representation for Authorization.. - Li, Feigenbaum, Grosof (1999) (Correct)
Active bibliography (related documents): More All
0.9: Trust Management for E-Transactions - Patil, Shyamasundar (2005) (Correct)
0.7: A Nonmonotonic Delegation Logic with Prioritized Conflict Handling - Li, Grosof (2000) (Correct)
0.7: A Practically Implementable and Tractable Delegation Logic - Li, Grosof, Feigenbaum (2000) (Correct)
Similar documents based on text: More All
1.3: Delegation Logic: A Logic-based Approach to Distributed.. - Li, Grosof (2000) (Correct)
0.7: Towards Practical Automated Trust Negotiation - Winsborough, Li (2002) (Correct)
0.5: A Declarative Approach to Business Rules in Contracts.. - Grosof, Labrou, Chan (1999) (Correct)
Related documents from co-citation: More All
16: Decentralized trust management - Blaze, Feigenbaum et al. - 1996
14: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
14: A Practically Implementable and Tractable Delegation Logic - Li, Grosof et al. - 2000
BibTeX entry: (Update)
Ninghui Li, Joan Feigenbaum, and Benjamin N. Grosof. A logic-based knowledge representation for authorization with delegation (extended abstract). In Proc. 12th Intl. IEEE Computer Security Foundations Workshop, 1999. Extended version is IBM Research Report RC 21492. http://citeseer.ist.psu.edu/li99logicbased.html More
@inproceedings{ li99logicbased,
author = "Li and Feigenbaum and Grosof",
title = "A Logic-based Knowledge Representation for Authorization with Delegation",
booktitle = "{PCSFW}: Proceedings of The 12th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1999",
url = "citeseer.ist.psu.edu/li99logicbased.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
850 A Logic for Default Reasoning (context) - Reiter - 1980
305 Decentralized Trust Management - Blaze, Feigenbaum et al. - 1996
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1992
173 A Comparison of Commercial and Military Computer Security Po.. (context) - Clark, Wilson - 1987
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
127 REFEREE: Trust Management for Web Applications - Chu, Feigenbaum et al. - 1997
111 The Official PGP User's Guide (context) - Zimmermann - 1995
101 Authentication in the TAOS Operating System - Wobber, Abadi et al. - 1994
82 International Telecommunication Union (context) - Rec, revised et al. - 1993
73 The Java Language Environment (context) - Gosling, McGilton - 1995
68 The KeyNote Trust-Management System (context) - Blaze, Feigenbaum et al. - 1998
67 A Logical Language for Expressing Authorizations - Jajodia, Samarati et al. - 1997
56 A Unified Framework for Enforcing Multiple Access Control Po.. - Jajodia, Samarati et al. - 1997
49 Internet Privacy Enhanced Mail (context) - Kent - 1993
41 Modelling a Public-Key Infrastructure - Maurer
40 Prioritized Conflict Handling for Logic Programs (context) - Grosof - 1997
39 Authorization in Distributed Systems: A New Approach - Woo, Lam - 1993
38 PICS: Internet access controls without censorship (context) - Resnick, Miller - 1996
16 Compiling Prioritized Default Rules Into Ordinary Logic Prog.. - Grosof - 1999
8 Courteous Logic Programs: Prioritized Conflict Handling for .. - Grosof
8 DIPLOMAT: Compiling Prioritized Default Rules Into Ordinary .. - Grosof - 1999
5 A P3P Preference Exchange Language (APPEL) Working Draft (context) - Longhair
5 Platform for Privacy Preferences (P3P1.0) Specification (context) - Marchiori, Reagle et al. - 1998
2 The Wellfounded Semantics for Logic Programming (context) - Van Gelder, Ross et al. - 1991
http://theory.lcs.mit.edu/cis/sdsi.html
http://www.pobox.com/cme/html/spki.html
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://crypto.stanford.edu/~ninghui/): More
A Nonmonotonic Delegation Logic with Prioritized Conflict Handling - Li, Grosof (2000) (Correct)
Local Names In SPKI/SDSI - Li (2000) (Correct)
Nonmonotonicity, User Interfaces, and Risk Assessment in.. - Li, Feigenbaum (2001) (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