Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends (2003)

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