Formal methods for cryptographic protocol analysis: emerging issues and trends (2003)

by Catherine Meadows
Venue:In IEEE Journal on Selected Areas in Communications, Volume 21, Issue 1