der Meyden, R.: A logic for SDSI’s linked local name spaces (0)

by J Halpern, van
Venue:Journal of Computer Security