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…