de Meyden. A Logic for SDSI’s Linked Local Name Space (0)

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