5 citations · 7 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2002★ 5 cited
A logical reconstruction of SPKI
Joseph Y. Halpern, Ron van der Meyden
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previously int…
cs.CR2000
A Logic for SDSI's Linked Local Name Spaces
Joseph Y. Halpern, Ron van der Meyden
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi's logic does not…