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

by R Corin, A Saptawijaya
Venue:in IEEE Symposium on Security and Privacy