Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later

DOI10.1007/978-3-319-23165-5_22zbMath1322.94089MaRDI QIDQ2945721

Catherine A. Meadows

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_22

Mathematics Subject Classification ID

94A60: Cryptography

68P25: Data encryption (aspects in computer science)

68M12: Network protocols

Uses Software

• AVISPA
• EasyCrypt
• TAMARIN
• CoSP
• Helios