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

by S Jha, T Reps
Venue:In IEEE Comp. Sec. Found. Workshop (CSFW). IEEE Computer