A logic for constraint-based security protocol analysis (2006)

Cached

Download Links

by Ricardo Corin
Venue:in IEEE Symposium on Security and Privacy
Citations:20 - 1 self