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

• Type: Conference
• Year: 2000
• Where: CSFW
• Authors: Ninghui Li
• Keywords: CSFW 2000, Local Names, Localname Scheme, Security Privacy, Simple Logic Program