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

Cached

Download Links

by S. Jha , T. Repscomputer
Venue:In IEEE Comp. Sec. Found. Workshop (CSFW). IEEE Computer
Citations:18 - 3 self