Cryptographic Protocol Explication and End-Point Projection

DOI10.1007/978-3-540-88313-5_34zbMATH Open1481.94117OpenAlexW1480198727MaRDI QIDQ3533965FDOQ3533965

Authors: 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

Recommendations

• scientific article; zbMATH DE number 7300423
• Cryptography and cryptographic protocols
• scientific article; zbMATH DE number 3965967
• A rational approach to cryptographic protocols
• Publication:4938617
• scientific article
• Trustworthy Global Computing

zbMATH Keywords

protocol descriptionswppl

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (3)

• Alice and Bob Meet Equational Theories
• Compiling and securing cryptographic protocols
• Trustworthy Global Computing

Uses Software

• Coq

This page was built for publication: Cryptographic Protocol Explication and End-Point Projection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533965)