Key points are not available for this paper at this time.
R.L. Rivest and B. Lampson (1996) have recently introduced SDSI, a Simple Distributed Security Infrastructure. One of the important innovations of SDSI is the use of linked local name spaces. The paper suggests a logical explanation of SDSI's local name spaces, as a complement to the operational explanation given in the SDSI definition.
M. Abadi (Fri,) studied this question.