A Logic for SDSI's Linked Local Name Spaces.

Joseph Y. Halpern Ron van der Meyden A Logic for SDSI's Linked Local Name Spaces. 111-122 1999 CSFW http://www.computer.org/proceedings/csfw/0201/02010111abs.htm db/conf/csfw/csfw1999.html#HalpernM99