Martín Abadi  Home/Search
Context Related
| digital.com/SRC/person...namingcsfw.ps digital.com/pub/DEC/SR...namingcsfw.ps dec.com/pub/DEC/SRC/pu...namingcsfw.ps 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: counterpane.com/b...allbyauthor (more) From: digital.com/SRC/staff/ma/bib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Rivest and Lampson have recently introduced SDSI, a Simple Distributed Security Infrastructure. One of the important innovations of SDSI is the use of linked local name spaces. This paper suggests a logical explanation of SDSI's local name spaces, as a complement to the operational explanation given in the SDSI definition. (Update)
Cited by: More
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
Weighted Pushdown Systems and Trust-Management Systems - Jha, Schwoon, Wang, Reps (2006) (Correct)
Similar documents (at the sentence level):
67.9%: On SDSI's Linked Local Name Spaces - Abadi (1998) (Correct)
Active bibliography (related documents): More All
0.2: Logic in Access Control - Abadi (2003) (Correct)
0.2: A Formal Theory for Knowledge-Based Product Model Representation - Salustri (1996) (Correct)
0.1: Authentication and Delegation with Smart-cards - Abadi, Burrows, Kaufman, Lampson (1990) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.0: ConChord: Cooperative SDSI Certificate Storage and Name.. - Ajmani, Clarke, Moh.. (2002) (Correct)
1.0: A Java Implementation of Simple Distributed Security Infrastructure - Morcos (1998) (Correct)
0.9: Certificate Chain Discovery in SPKI/SDSI - Clarke, Elien, Ellison.. (2001) (Correct)
Related documents from co-citation: More All
33: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
23: Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
22: SPKI Certificate Theory (context) - Ellison, Frantz et al.
BibTeX entry: (Update)
Mart#n Abadi. On SDSI's linked local name spaces. In Proc. 10th IEEE Computer Security Foundations Workshop, pages 98108, Rockport, MA, June 1997. IEEE Computer Society Press. http://citeseer.ist.psu.edu/article/abadi97sdsis.html More
@inproceedings{ abadi97sdsis,
author = "Abadi",
title = "On {SDSI}'s Linked Local Name Spaces",
booktitle = "{PCSFW}: Proceedings of The 10th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1997",
url = "citeseer.ist.psu.edu/article/abadi97sdsis.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
111 The Official PGP User's Guide (context) - Zimmermann - 1995
101 Authentication in the Taos operating system - Wobber, Abadi et al. - 1994
73 The Digital Distributed System Security Architecture - Gasser, Goldstein et al. - 1989
63 Simple public key certificate (context) - Ellison, Frantz et al. - 1996
17 Number 7 in CSLI Lecture Notes (context) - Goldblatt, Time - 1987
13 and ISO 95948: The directory-authentication framework (context) - Book - 1988
4 Naming and identity in epistemic logics (context) - Grove, Halpern - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.counterpane.com/biblio/all-by-author.html): More
Equivalence Between Two Flavours of Oblivious Transfers - Crepeau (1988) (Correct)
Two Observations on Probabilistic Primality Testing - Beauchemin, Brassard.. (1987) (Correct)
Quantum Oblivious Transfer - Crépeau (1994) (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