DocumentCode
2507932
Title
On SDSI´s linked local name spaces
Author
Abadi, Martín
fYear
1997
fDate
10-12 Jun 1997
Firstpage
98
Lastpage
108
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location
Rockport, MA
ISSN
1063-6900
Print_ISBN
0-8186-7990-5
Type
conf
DOI
10.1109/CSFW.1997.596794
Filename
596794
Link To Document