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. 105-142 2001 9 Journal of Computer Security 1/2 db/journals/jcs/jcs9.html#HalpernM01