Title :
On SDSI´s linked local name spaces
Abstract :
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
Keywords :
cryptography; distributed processing; formal logic5623258; formal specification; formal verification; message authentication; naming services; protocols; theorem proving; SDSI linked local name spaces; Simple Distributed Security Infrastructure; logical explanation; operational explanation; Calculus; Certification; Electronic mail; Internet; Logic; Public key; Public key cryptography; Security; Technological innovation;
Conference_Titel :
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location :
Rockport, MA
Print_ISBN :
0-8186-7990-5
DOI :
10.1109/CSFW.1997.596794
