Joseph Y. Halpern, Ron van der Meyden  Home/Search
Context Related
| unsw.edu.au/~meyden/researc...spkij.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: unsw.edu.au/~meyde...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution. Here we show how our earlier approach can be extended to deal with a number of key features of SPKI, including revocation, expiry dates, and tuple reduction. We show that these extensions ... (Update)
Cited by: More
On Generalized Authorization Problems - Schwoon Jha Reps (Correct)
Model checking SPKI/SDSI - Jha, Reps (2004) (Correct)
Deconstructing Trust Management - Ajay Chander Stanford (2002) (Correct)
Similar documents (at the sentence level):
36.2%: A logical reconstruction of SPKI - Halpern, van der Meyden (2001) (Correct)
Similar documents based on text: More All
1.7: Local Names In SPKI/SDSI - Li (2000) (Correct)
1.6: A Logic for SDSI's Linked Local Name Spaces - Halpern (2000) (Correct)
1.4: Local Names In SPKI/SDSI 2.0 - Li (2000) (Correct)
Related documents from co-citation: More All
5: SPKI Certificate Theory (context) - Ellison, Frantz et al.
4: The Role of Trust Management in Distributed Systems Security - Blaze, Feigenbaum et al.
4: On SDSI's linked local name spaces - Abadi - 1997
BibTeX entry: (Update)
J. Halpern and R. van der Meyden. A logical reconstruction of SPKI. In Comp. Sec. Found. Workshop, pages 59--70, 2001. http://citeseer.ist.psu.edu/article/halpern01logical.html More
@misc{ halpern01logical,
author = "J. Halpern and R. van der Meyden",
title = "A logical reconstruction of SPKI",
text = "J. Halpern and R. van der Meyden. A logical reconstruction of SPKI. In
Comp. Sec. Found. Workshop, pages 59--70, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/article/halpern01logical.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.unsw.edu.au/~meyden/research/publications.html): More
A Program Refinement Framework Supporting Reasoning.. - Engelhardt, van der.. (2000) (Correct)
Model Checking Knowledge and Time in Systems with Perfect.. - van der Meyden, al. (1999) (Correct)
Common Knowledge and Update in Finite Environments - van der Meyden (1997) (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