Cryptographic Protocol Explication and End-Point Projection

DOI10.1007/978-3-540-88313-5_34MaRDI QIDQ3533965zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

protocol descriptionswppl

Mathematics Subject Classification ID

Cryptography (94A60)

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; zbMATH DE number 4191559
• Trustworthy Global Computing

Cited in

(4)

• Compiling and securing cryptographic protocols
• Alice and Bob meet equational theories
• G2C: cryptographic protocols from goal-driven specifications
• Trustworthy Global Computing

Describes a project that uses

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)