See this document in CiteSeerX!

A Logic-based Knowledge Representation for Authorization with Delegation (1999)  (Make Corrections)  (38 citations)
Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof
PCSFW: Proceedings of The 12th Computer Security Foundations Workshop



  Home/Search   Context   Related

 
View or download:
att.com/~jf/pubs/csfw99.ps
ktsi.com/carlos/papers/9...02010162.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  att.com/~jf/cgibin/jfpubs.cgi (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ) Ninghui Li Computer Science New York University 251 Mercer Street New York, NY 10012, USA ninghui@cs.nyu.edu Joan Feigenbaum AT&T Labs -- Research Room C203 180 Park Avenue Florham Park, NJ 07932, USA jf@research.att.com http://www.research.att.com/jf Benjamin N. Grosof IBM T.J. Watson Research Center P.O.Box 704, Yorktown Heights, NY 10598, USA grosof@us.ibm.com http://www.research.ibm.com/people/g/grosof Abstract We introduce Delegation Logic (DL), a logic-based knowledge... (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):
57.7%:   A Logic-based Knowledge Representation for Authorization.. - Li, Grosof, Feigenbaum (1999)   (Correct)

Active bibliography (related documents):   More   All
0.9:   Trust Management for E-Transactions - Patil, Shyamasundar (2005)   (Correct)
0.6:   A Practically Implementable and Tractable Delegation Logic - Li, Grosof, Feigenbaum (2000)   (Correct)
0.2:   Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000)   (Correct)

Similar documents based on text:   More   All
0.6:   Towards Practical Automated Trust Negotiation - Winsborough, Li (2002)   (Correct)
0.5:   Supporting Imprecise Delegation in KeyNote using Similarity Measures - Foley   (Correct)
0.5:   A Nonmonotonic Delegation Logic with Prioritized Conflict Handling - Li, Grosof (2000)   (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/article/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/article/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
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
22   SPKI Certificate Documentation (context) - Ellison
10   Cryptography and Information Security Group Research Project.. (context) - Rivest, Lampson
5   Platform for Privacy Preferences (P3P1.0) Specification (context) - Marchiori, Reagle et al. - 1998
5   A P3P Preference Exchange Language (APPEL) Working Draft (context) - Longhair - 1998
2   The Wellfounded Semantics for Logic Programming (context) - Van Gelder, Ross et al. - 1991



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.research.att.com/~jf/cgi-bin/jfpubs.cgi):   More
A Logic-based Knowledge Representation for Authorization with.. - Li, al. (1999)   (Correct)
A Formal Framework for Evaluating Heuristic Programs - Cowen, Feigenbaum, Kannan   (Correct)
An Approximate L 1 -Difference Algorithm for Massive.. - Feigenbaum, Kannan.. (1999)   (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