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

by Catherine Meadows
Citations:60 - 0 self