AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

A logic for SDSI's linked local name spaces

Clinical Orthopaedics and Related Research, no. 1/2 (2001): 105-142

Cited by: 81|Views8
EI

Abstract

Abadi has introduced a logic to explicate the meaning of localnames in SDSI, the Simple Distributed Security Infrastructureproposed by Rivest and Lampson. Abadi's logic does not correspondprecisely to SDSI, however; it draws conclusions about local namesthat do not follow from SDSI's name resolution algorithm. Moreover,its semantics is so...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科