Transformations between Cryptographic Protocols

DOI10.1007/978-3-642-03459-6_8MaRDI QIDQ3184715zbMATH OpenOpenAlexFDO

Authors Joshua D. Guttman

Publication date 22 October 2009

Published in Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03459-6_8

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Sound Security Protocol Transformations
• Security goals and protocol transformations
• Skeletons, homomorphisms, and shapes: characterizing protocol executions
• Cryptographic Protocol Composition via the Authentication Tests
• scientific article; zbMATH DE number 3965967

Cited in

(4)

• Transmutation scheme of coin flipping protocol and utilization
• Skeletons, homomorphisms, and shapes: characterizing protocol executions
• Sound Security Protocol Transformations
• Security goals and protocol transformations

This page was built for publication: Transformations between Cryptographic Protocols

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