arXiv 2000-01-28 EN A Logic for SDSI's Linked Local Name Spaces Halpern, Joseph Y. · van der Meyden, Ron
