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

by C Meadows
Venue:IEEE Journal on Selected Areas in Communication,