Local Names in SPKI/SDSI

  title={Local Names in SPKI/SDSI},
  author={Ninghui Li},
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname scheme and prove that it is equivalent to the nameresolution procedure in SDSI 1.1 and the 4-tuple-reduction mechanism in SPKI/SDSI 2.0. This logic program is itself a logic for understanding SDSI’s linked local-name scheme and has several advantages over previous logics, e.g., those of Abadi [1] and Halpern and van der Meyden… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS


Publications citing this paper.

66 Citations

Citations per Year
Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 17 references

SPKI Certificate Theory

RFC • 1999
View 9 Excerpts
Highly Influenced

Certificate Discovery Using SPKI/SDSI 2.0 Certificates

J. Elien
Masters Thesis, MIT LCS, May 1998, http:// theory.lcs.mit.edu/ ̃cis/theses/elien-masters.ps. • 1998
View 9 Excerpts
Highly Influenced

Certificate Chain Discovery in SPKI/SDSI

Journal of Computer Security • 2001
View 9 Excerpts
Highly Influenced

Simple Public Key Certificate

C. Ellison, B. Frantz, +3 authors T. Ylonen
Internet Draft (Work in Progress), July 1999, http://world.std.com/ ̃cme/spki.txt. • 1999
View 5 Excerpts
Highly Influenced

On SDSI's Linked Local Name Spaces

CSFW • 1997
View 7 Excerpts
Highly Influenced

SDSI - A Simple Distributed Security Infrastructure

R. Rivest, B. Lampson
October 1996, http://theory.lcs.mit.edu/ ̃cis/sdsi/sdsi11.html. • 1996
View 3 Excerpts
Highly Influenced

The Role of Trust Management in Distributed Systems

M. Blaze, J. Feigenbaum, J. Ioannidis, A. Keromytis
Secure Internet Programming, LNCS vol. 1603, Springer, Berlin, 1999, pp. 185-210. • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…