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

by J Halpern, R van
Venue:Journal of Computer Security