See this document in CiteSeerX!

Delegation Logic: A Logic-based Approach to Distributed Authorization (2000)  (Make Corrections)  (38 citations)
Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum



  Home/Search   Context   Related

 
View or download:
mit.edu/bgrosof/pa...nlogictissec.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/bgrosof/ (more)
(Enter author homepages)

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

Abstract: We address the problem of authorization in large-scale, open... (Update)


Cited by:   More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006)   (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006)   (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And   (Correct)

Similar documents (at the sentence level):
33.3%:   Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000)   (Correct)
7.0%:   A Practically Implementable and Tractable Delegation Logic - Li, Grosof, Feigenbaum (2000)   (Correct)

Active bibliography (related documents):   More   All
1.5:   Trust Management for E-Transactions - Patil, Shyamasundar (2005)   (Correct)
0.3:   Datalog with Constraints: A Foundation for Trust Management.. - Li, Mitchell (2003)   (Correct)
0.3:   RT: A Role-based Trust-management Framework - Li, Mitchell (2003)   (Correct)

Similar documents based on text:   More   All
1.5:   A Nonmonotonic Delegation Logic with Prioritized Conflict Handling - Li, Grosof (2000)   (Correct)
1.0:   A Logic-based Knowledge Representation for Authorization.. - Li, Grosof, Feigenbaum (1999)   (Correct)
0.5:   Design of a Role-based Trust-management Framework - Li, Mitchell, Winsborough   (Correct)

Related documents from co-citation:   More   All
19:   Design of a role-based trust management framework - Li, Mitchell et al.
16:   Decentralized trust management - Blaze, Feigenbaum et al. - 1996
15:   A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993

BibTeX entry:   (Update)

N. Li. Delegation Logic: A Logic-based Approach to Distributed Authorization. PhD thesis, New York University, New York, Sept. 2000. http://citeseer.ist.psu.edu/article/li00delegation.html   More

@misc{ li00delegation,
  author = "N. Li",
  title = "Delegation Logic: A Logic-based Approach to Distributed Authorization",
  text = "N. Li. Delegation Logic: A Logic-based Approach to Distributed Authorization.
    PhD thesis, New York University, New York, Sept. 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/article/li00delegation.html" }
Citations (may not include all citations):
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
156   SDSI --- a simple distributed security infrastructure - Rivest, Lampson - 1996
149   Logic programming and knowledge representation - Baral, Gelfond - 1994
143   Compliance-checking in the PolicyMaker trust management syst.. - Blaze, Feigenbaum et al. - 1998
142   Tabled evaluation with delaying for general logic programs - Chen, Warren - 1996
133   Foundations of Logic Programming (context) - Lloyd - 1987
132   SPKI certificate theory (context) - Ellison, Frantz et al. - 1999
127   REFEREE: Trust management for web applications - Chu, Feigenbaum et al. - 1997
98   Certificate chain discovery SPKISDSI - Jean, Carl et al. - 2001
68   The KeyNote trust-management system (context) - Blaze, Feigenbaum et al. - 1999
67   A logical language for expressing authorizations - Jajodia, Samarati et al. - 1997
63   Simple public key certificates (context) - Ellison, Frantz et al. - 1999
56   A unified framework for enforcing multiple access control po.. - Jajodia, Samarati et al. - 1997
52   Design of a role-based trust management framework - Li, Mitchell et al. - 2002
49   Internet privacy enhanced mail (context) - Kent - 1993
49   On SDSI's linked local name spaces - Abadi - 1998
45   Distributed credential chain discovery in trust management - Li, Winsborough et al.
41   Modelling a public-key infrastructure - Maurer - 1996
38   A logic-based knowledge representation for authorization wit.. - Li, Feigenbaum et al. - 1999
38   Delegation Logic: A Logic-based Approach to Distributed Auth.. - Li - 2000
29   A practically implementable and tractable Delegation Logic - Li, Grosof et al. - 2000
28   SD3: A trust management system with certified evaluation (context) - Jim - 2001
26   Types and the intended meaning of logic programs (context) - Naish - 1992
25   volume 16 of EATCS monographs on Theoretical Computer Scienc.. (context) - Padawitz, Horn - 1988
23   the structure of delegation networks - Aura - 1998
22   Understanding trust management systems - Weeks - 2001
22   International Telecommunication Union (context) - Rec, revised et al. - 1993
21   Local name SPKISDSI - Local, SPKI et al. - 2000
19   a logic-based security language (context) - DeTreville - 2002
13   PP Preference Exchange Language (context) - Preference, APPEL et al. - 2002
12   The role of trust management in distributed systems (context) - Blaze, Feigenbaum et al. - 1999
10   A logical framework for reasoning on data access control pol.. - Bertino, Buccafurri et al. - 1999
8   Access control meets public key infrastructure (context) - Herzberg, Mass et al. - 2000
7   in Logic Programming. Logic Programming Series (context) - Pfenning, Types - 1992
6   Naming and sharing resources acroos administrative boundarie.. (context) - Howell - 2000
4   Post to cypherpunks mailing list (context) - Finney, MLM - 1996
2   A logic for SDSI's linked local named spaces (context) - Halpern, van der Meyden - 2001
http://cs.nyu.edu/ninghui/xd1lp/
http://xsb.sourceforge.net/
http://www.w3.org/P3P/



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


Documents on the same site (http://ebusiness.mit.edu/bgrosof/):   More
Logic Programming and Knowledge Representation - Baral, Gelfond (1994)   (Correct)
Representing E-Business Rules for the Semantic Web: Situated.. - Grosof (2002)   (Correct)
Financial Information Integration In the Presence of.. - Firat, Madnick, Grosof (2002)   (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