Login / Signup
Formal methods for cryptographic protocol analysis: emerging issues and trends.
Catherine A. Meadows
Published in:
IEEE J. Sel. Areas Commun. (2003)
Keyphrases
</>
formal methods
formal analysis
online learning
relational databases
cryptographic protocols