Analysis of SPKI/SDSI certificates using model checking (2002)

by S Jha, T Reps
Venue:In Computer Security Foundations Workshop