Sciweavers

CSFW
2000
IEEE

Local Names in SPKI/SDSI

13 years 9 months ago
Local Names in SPKI/SDSI
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 name
Ninghui Li
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2000
Where CSFW
Authors Ninghui Li
Comments (0)