Cryptographic Protocol Explication and End-Point Projection

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

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)

Cited In (2)

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

Uses Software

• Coq

   Recommendations

• Title not available (Why is that?) 👍 👎
• Cryptography and cryptographic protocols 👍 👎
• Title not available (Why is that?) 👍 👎
• A rational approach to cryptographic protocols 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Trustworthy Global Computing 👍 👎

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)