Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Catherine Meadows
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis of the IBM CCA Security API Protocols in Maude-Npa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
A Framework for Automatic Web Service Composition
Dolev-Yao Is No Better Than Machiavelli
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
