Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Catherine Meadows. Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications, 21(1):44-54, 2003. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years LaterCatherine Meadows. BIRTHDAY 2015: 475-492 [doi] Open Issues in Formal Methods for Cryptographic Protocol AnalysisCatherine Meadows. mmmacns 2001: 21 [doi] Invited Address: Applying Formal Methods to Cryptographic Protocol AnalysisCatherine Meadows. cav 2000: 2 What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol AnalysisCatherine Meadows. ESOP 2003: 10-21 [doi] Applying Formal Methods to the Analysis of a Key Management ProtocolCatherine Meadows. jcs, 1(1):5-36, 1992.
The following publications are possibly variants of this publication: