Cryptographic Protocol Explication and End-Point Projection

DOI10.1007/978-3-540-88313-5_34zbMath1481.94117OpenAlexW1480198727MaRDI QIDQ3533965

Jay McCarthy, Shriram Krishnamurthi

Publication date: 27 October 2008

Published in: Computer Security - ESORICS 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88313-5_34

zbMATH Keywords

protocol descriptionswppl

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items

Alice and Bob Meet Equational Theories ⋮ Compiling and securing cryptographic protocols

Uses Software

• Coq